A LOGIC OF INTENTIONS AND BELIEFS

被引:10
作者
SINGH, MP
ASHER, NM
机构
[1] Center for Cognitive Science, University of Texas, Austin, 78712, TX
关键词
D O I
10.1007/BF01349562
中图分类号
B81 [逻辑学(论理学)];
学科分类号
010104 ; 010105 ;
摘要
Intentions are an important concept in Artificial Intelligence and Cognitive Science. We present a formal theory of intentions and beliefs based on Discourse Representation Theory that captures many of their important logical properties. Unlike possible worlds approaches, this theory does not assume that agents are perfect reasoners, and gives a realistic view of their internal architecture; unlike most representational approaches, it has an objective semantics, and does not rely on an ad hoc labeling of the internal states of agents. We describe a minimal logic for intentions and beliefs that is sound and complete relative to our semantics. We discuss several additional axioms, and the constraints on the models that validate them. © 1993 Kluwer Academic Publishers.
引用
收藏
页码:513 / 544
页数:32
相关论文
共 32 条
[1]  
AGRE PE, 1987, AAAI 87, P268
[2]  
ALLEN J, 1978, P CSCSI 78
[3]   ANALYZING INTENTION IN UTTERANCES [J].
ALLEN, JF ;
PERRAULT, CR .
ARTIFICIAL INTELLIGENCE, 1980, 15 (03) :143-178
[4]  
APPELT D, 1986, PLANNING ENGLISH SEN
[5]   BELIEF IN DISCOURSE REPRESENTATION-THEORY [J].
ASHER, N .
JOURNAL OF PHILOSOPHICAL LOGIC, 1986, 15 (02) :127-189
[6]   A TYPOLOGY FOR ATTITUDE VERBS AND THEIR ANAPHORIC PROPERTIES [J].
ASHER, N .
LINGUISTICS AND PHILOSOPHY, 1987, 10 (02) :125-197
[7]  
ASHER N, 1990, BRIT COLUMBIA STUDIE, V1
[8]  
Bratman M., 1987, INTENTION PLANS PRAC
[9]  
Chellas B.F, 1980, MODAL LOGIC
[10]   INTENTION IS CHOICE WITH COMMITMENT [J].
COHEN, PR ;
LEVESQUE, HJ .
ARTIFICIAL INTELLIGENCE, 1990, 42 (2-3) :213-261