A syntactic theory of belief and action

DOI10.1016/0004-3702(86)90051-2zbMath0607.68082OpenAlexW2082432863MaRDI QIDQ1085632

Andrew R. Haas

Publication date: 1986

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(86)90051-2

zbMATH Keywords

first order logicbeliefs and actions of a simple robot

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Related Items

Indexical knowledge and robot action -- a logical account, Simulative belief logic, Ideal and real belief about belief, Mechanizing multi-agent reasoning with belief contexts, Maintaining mental models of agents who have existential misconceptions, The KL-ONE family, Formalizing sensing actions -- a transition function based approach, Syntactical treatments of propositional attitudes, A computational model of belief, The logic of tasks

Cites Work

• Outline of a Theory of Truth
• Unnamed Item