New formal system of intention consequences Lm5c

Ruan Jian Xue Bao/Journal of Software

Volumn 13, Issue 7, 2002, Pages 1271-1277

  Zhu, Zi Ru ^a   Chen, Xiao Ping ^a   Zhou, Yi ^a  

^a UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA   (China)

Author keywords

Agent; BDI modeling; Intention logic; Multi valued logic; Side effect problem

Indexed keywords

ALGORITHMS; AUTONOMOUS AGENTS; INTELLIGENT AGENTS; MANY VALUED LOGICS; MATHEMATICAL MODELS; THEOREM PROVING;

BDI MODELING; BELIEF DESIRE INTENTION MODELING; GOAL REVISING; INTENTION CONSEQUENCES; INTENTION INFERENCE; INTENTION LOGIC; MULTIVALUED LOGIC; SIDE EFFECT PROBLEMS;

ARTIFICIAL INTELLIGENCE;

EID: 0036657944     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (9)

1. Logic of intention
2. Intention is choice with commitment
3. Intention logic
4. Modeling rational agents within a BDI-architecture
5. A logical approach to the dynamics of commitments
6. A formal theory of intention consequences
7. A representationalist theory of intention
8. An intention model for agent
9. The side-effect problem with formalization of intention