Sciweavers

377 search results - page 2 / 76
» Towards Alternative Approaches to Reasoning About Goals
Sort
View
DALT
2008
Springer
13 years 7 months ago
Strategic Agent Communication: An Argumentation-Driven Approach
Abstract. This paper proposes a formal framework for agent communication where agents can reason about their goals using strategic reasoning. This reasoning is argumentation-based ...
Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Mey...
CAISE
2010
Springer
13 years 6 months ago
Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments
Abstract. Service-oriented applications facilitate the exchange of business services among participants. Existing modeling approaches either apply at a lower of abstraction than re...
Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, J...
IJCAI
1997
13 years 6 months ago
Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...
Giuseppe De Giacomo, Yves Lespérance, Hecto...
LOGCOM
2006
116views more  LOGCOM 2006»
13 years 5 months ago
A Syntax-based Approach to Reasoning about Action and Belief Update
In this paper, we introduce an alternative approach to reasoning about action. The approach provides a solution to the frame and the ramification problem in a uniform manner. The ...
Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo