Abstract:
A formal language to describe mental states of rational agents is useful to specify the behavior of artificial agents that are supposed to act intelligently and to help human beings in evaluating their reasoning about the external environment. This paper presents a multi-agent, propositional, temporal logic to describe the mental state of rational agents. The formal properties of beliefs and intentions of rational agents and the relationships between such mental attitudes are first informally sketched. Then, a logical language whose semantics captures these properties and relationships is presented. In particular, this logic provides two modal operators to describe rational agents ' beliefs and intentions at each time instant. The above-mentioned properties of beliefs and intentions are formalized as logical axioms. 1
Citations
|
690
|
Intention is choice with commitment
– Cohen, Levesque
- 1990
|
|
498
|
Modal Logic: An Introduction
– Chellas
- 1980
|
|
295
|
Knowledge and Belief
– HINTIKKA
- 1962
|
|
207
|
Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence
– Shoham
- 1988
|
|
182
|
Intention, plans, and practical reason
– Bratman
- 1987
|
|
133
|
Reasoning about knowledge and action
– Moore
- 1979
|
|
94
|
What is intention
– Bratman
- 1990
|
|
74
|
A guide to the modal logic of knowledge and belief
– Halpern, Moses
- 1985
|
|
66
|
A model-theoretic approach to the verification of situated reasoning systems
– Rao, Georgeff
- 1993
|
|
60
|
Intentionality: An essay in the philosophy of mind
– Searle
- 1983
|
|
50
|
A representationalist theory of intention
– Konolige, Pollack
- 1993
|
|
48
|
Asymmetry thesis and side-effect problems in linear time and branching time intention logics
– Rao, Georgeff
- 1991
|
|
10
|
Two Views of Intention: Comments on Bratman and on Cohen and Levesque
– Allen
- 1990
|
|
8
|
Causation and Conditionals
– Sosa
- 1975
|
|
1
|
The Cement of the Universe:a Study of Causation
– Mackey
- 1974
|
|
1
|
A logic for representing actions, beliefs, capabilities, and plans
– Thomas
- 1993
|
|
