Tractable Meta-Reasoning in Propositional Logics of Belief
Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 402-408.
Abstract
Finding a.dequate semantic models of deductive reasoning is a difficult problem, if deductions are to be performed efficiently and in a semantically appropriate way. The model of reasoning provided by possible-worlds semantics has been found deficient both for computational and intuitive reasons. Existing semantic approaches that were proposed as alternatives to possible-worlds semantics either suffer from computational intractability or do not allow agents to have meta-beliefs. This work, based on relevance logic, proposes a model of belief where an agent can hold meta-beliefs and reason about them and other world knowledge efficiently. It is also shown how the model can be extended to include positive introspection without losing efficiency.
@inproceedings{ijcai1987p81,
title = {Tractable Meta-Reasoning in Propositional Logics of Belief},
author = {Lakemeyer, Gerhard},
booktitle = {Proceedings of the Tenth International Joint Conference on
Artificial Intelligence, {IJCAI-87}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John McDermott},
pages = {402--408},
year = {1987},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1987/81},
}
TY - CPAPER TI - Tractable Meta-Reasoning in Propositional Logics of Belief AU - Lakemeyer, Gerhard T2 - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87 PB - International Joint Conferences on Artificial Intelligence PY - 1987 SP - 402 EP - 408 UR - https://ijcai.org/proceedings/1987/81 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
