From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief
Abstract
This paper concerns formal theories for reasoning about the knowledge and belief of agents. It has seemed attractive to researchers in artificial intelligence to formalise these propositional attitudes as predicates of first-order predicate logic. This allows the agents to express stronger introspective beliefs and engage in stronger meta-reasoning than in the classical modal operator approach. Results by Montague [1963] and Thomason [1980] show, however, that the predicate approach is prone to inconsistency.
Cite
Text
Bolander. "From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief." International Joint Conference on Artificial Intelligence, 2003.Markdown
[Bolander. "From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/bolander2003ijcai-logic/)BibTeX
@inproceedings{bolander2003ijcai-logic,
title = {{From Logic Programming Semantics to the Consistency of Syntactical Treatments of Knowledge and Belief}},
author = {Bolander, Thomas},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2003},
pages = {443-448},
url = {https://mlanthology.org/ijcai/2003/bolander2003ijcai-logic/}
}