Steps towards a first-order logic of explicit and implicit belief

Authors:
Gerhard Lakemeyer
Affiliations:
University of Toronto, Toronto, Ontario, Canada
Venue:
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Year:
1986

Citing 1
Cited 2

Foundations of a functional approach to knowledge representation.

Artificial Intelligence

Decidable reasoning in first-order knowledge bases with perfect introspection

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Step-logic and the three-wise-men problem

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

Modelling the beliefs of an agent who lacks logical omniscience has been a major concern recently. While most of the work has concentrated on propositional logics of belief, this paper primarily addresses issues raised by adding quantifiers to such logics. In particular, we are focusing on quantifying in and the distinction between "knowing what" and "knowing that". After arguing why a model of limited reasoning should preserve this distinction, we show how this can be accomplished by a semantics based on a restricted form of tautological entailment.