Abstract. In this paper, we describe a framework for specifying communicative multi-agent systems... more Abstract. In this paper, we describe a framework for specifying communicative multi-agent systems, using a theory of action based on the situation calculus to describe the effects of actions on the word and on the mental states of agents; and the concurrent, logic programming ...
We present a novel theory of action and change capable of dealing with discord between an agent&#... more We present a novel theory of action and change capable of dealing with discord between an agent's beliefs and the results of its sensing. Previous work by Scherl and Levesque (9) and Shapiro et al. (10) have given accounts of iterated belief update and revision, and the ability to deal with mistaken beliefs. However, they assume that all actions, including exogenous actions beyond the agent's con- trol, are accessible to the agent for the purposes of reasoning. Our approach abandons this idealistic stance and allows the agent to hy- pothesise the occurrence of exogenous actions to account for any discrepancy between belief and sensing.
... To do this, we propose a special action sendJSA(perf,list), which takes as its first argu-men... more ... To do this, we propose a special action sendJSA(perf,list), which takes as its first argu-ment the performative of the message, and as its second argument, a list containing the remain-der of the components of the message, which would include the recipient list for the message ...
In this paper, we use an extended version of the situationcalculus to formalize goals and rationa... more In this paper, we use an extended version of the situationcalculus to formalize goals and rational action.We then use these notions and a definition of ability(Lesp'erance et al. 1995b) to show that an agent thatis acting rationally will achieve its goals when it is ableto do so.1 IntroductionThis paper describes work on rational action that arosefrom our efforts to create
… and Interactive Entertainment: Papers from the AAAI …, 2000
Researchers in the field of artificial intelligence (AI) are be-coming increasingly interested in... more Researchers in the field of artificial intelligence (AI) are be-coming increasingly interested in computer games as a ve-hicle for their research. From the researcher's point of view this makes sense as many interesting and challenging AI problems arise quite naturally in the ...
John McCarthy's situation calculus has left an enduring mark on artificial intelligence rese... more John McCarthy's situation calculus has left an enduring mark on artificial intelligence research. This simple yet elegant formalism for modelling and reasoning about dynamic systems is still in common use more than forty years since it was first proposed. The ability to reason about action and change has long been considered a necessary component for any intelligent system. The situation
Abstract. In this paper, we describe a framework for specifying communicative multi-agent systems... more Abstract. In this paper, we describe a framework for specifying communicative multi-agent systems, using a theory of action based on the situation calculus to describe the effects of actions on the word and on the mental states of agents; and the concurrent, logic programming ...
We present a novel theory of action and change capable of dealing with discord between an agent&#... more We present a novel theory of action and change capable of dealing with discord between an agent's beliefs and the results of its sensing. Previous work by Scherl and Levesque (9) and Shapiro et al. (10) have given accounts of iterated belief update and revision, and the ability to deal with mistaken beliefs. However, they assume that all actions, including exogenous actions beyond the agent's con- trol, are accessible to the agent for the purposes of reasoning. Our approach abandons this idealistic stance and allows the agent to hy- pothesise the occurrence of exogenous actions to account for any discrepancy between belief and sensing.
... To do this, we propose a special action sendJSA(perf,list), which takes as its first argu-men... more ... To do this, we propose a special action sendJSA(perf,list), which takes as its first argu-ment the performative of the message, and as its second argument, a list containing the remain-der of the components of the message, which would include the recipient list for the message ...
In this paper, we use an extended version of the situationcalculus to formalize goals and rationa... more In this paper, we use an extended version of the situationcalculus to formalize goals and rational action.We then use these notions and a definition of ability(Lesp'erance et al. 1995b) to show that an agent thatis acting rationally will achieve its goals when it is ableto do so.1 IntroductionThis paper describes work on rational action that arosefrom our efforts to create
… and Interactive Entertainment: Papers from the AAAI …, 2000
Researchers in the field of artificial intelligence (AI) are be-coming increasingly interested in... more Researchers in the field of artificial intelligence (AI) are be-coming increasingly interested in computer games as a ve-hicle for their research. From the researcher's point of view this makes sense as many interesting and challenging AI problems arise quite naturally in the ...
John McCarthy's situation calculus has left an enduring mark on artificial intelligence rese... more John McCarthy's situation calculus has left an enduring mark on artificial intelligence research. This simple yet elegant formalism for modelling and reasoning about dynamic systems is still in common use more than forty years since it was first proposed. The ability to reason about action and change has long been considered a necessary component for any intelligent system. The situation
Uploads