A SYNTACTIC THEORY OF BELIEF AND ACTION

被引:29
|
作者
HAAS, AR
机构
[1] Bolt Beranek & Newman Inc,, Cambridge, MA, USA, Bolt Beranek & Newman Inc, Cambridge, MA, USA
关键词
SYSTEMS SCIENCE AND CYBERNETICS - Cognitive Systems;
D O I
10.1016/0004-3702(86)90051-2
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
If we assume that beliefs are sentences of first-order logic stored in an agent's head, we can build a simple and intuitively clear formalism for reasoning about beliefs. I apply this formalism to the standard logical problems about belief, and use it to describe the connections between belief and planning.
引用
收藏
页码:245 / 292
页数:48
相关论文
共 50 条
  • [21] I Intend Therefore I Believe. Intention and Belief in the Theory of Action
    Castro Cordoba, Ernesto
    [J]. BAJO PALABRA-JOURNAL OF PHILOSOPHY, 2015, 2 (10) : 193 - 200
  • [22] Green Information Technology: A study in light of Belief-Action-Outcome theory
    Dias, Gabriela Figueiredo
    Martins Ramos, Anatalia Saraiva
    de Souza Neto, Romulo Andrade
    Bastos, Evangelina de Mello
    [J]. RAE-REVISTA DE ADMINISTRACAO DE EMPRESAS, 2017, 57 (06): : 585 - 600
  • [23] Updating belief in agent action-belief model
    Chen, Sheng
    Zhao, Lin-Du
    Han, Ying
    [J]. Xitong Gongcheng Lilun yu Shijian/System Engineering Theory and Practice, 2007, 27 (05): : 135 - 141
  • [24] Specifying with syntactic theory functors
    Haveraaen, Magne
    Roggenbach, Markus
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2020, 113
  • [25] Afterword: Nominalizations in syntactic theory
    Kornfilt, Jaklin
    Whitman, John
    [J]. LINGUA, 2011, 121 (07) : 1297 - 1313
  • [26] Syntactic theory: A formal introduction
    Standop, E
    [J]. ANGLIA-ZEITSCHRIFT FUR ENGLISCHE PHILOLOGIE, 2001, 119 (04): : 624 - 625
  • [27] Language Evolution and Syntactic Theory
    Karlsson, Fred
    [J]. MODERNA SPRAK, 2010, 104 (02): : 45 - 50
  • [28] Semantic evidence and syntactic theory
    Newmeyer, Frederick J.
    [J]. FRUITS OF EMPIRICAL LINGUISTICS, VOL 1: PROCESS, 2009, 101 : 177 - 210
  • [29] Syntactic nuts: Hard cases, syntactic theory, and language acquisition
    Taylor, JR
    [J]. COGNITIVE LINGUISTICS, 1999, 10 (03) : 251 - 255
  • [30] Language evolution and syntactic theory
    Newmeyer, Frederick J.
    [J]. LANGUAGE, 2010, 86 (04) : 960 - 963