Semantics for multi-agent only knowing: extended abstract

Authors:
Arild Waaler;Bjørnar Solhaug
Affiliations:
Finnmark College, Norway;SINTEF ICT, Norway
Venue:
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Year:
2005

Citing 1
Cited 4

All I know: a study in autoepistemic logic

Artificial Intelligence

Confluent Term Rewriting for Only-knowing Logics

Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Default reasoning with preference within only knowing logic

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Logical spaces in multi-agent only knowing systems

CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Trustworthiness by default

CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems

Quantified Score

Hi-index	0.01

Visualization

Abstract

The paper presents a Kripke semantics for a multi-agent generalization of Levesque's logic of "only knowing". We prove soundness and completeness and show that the logic has the Finite model property. The logic satisfies a Modal reduction theorem to the effect that any complex syntactical representation can be syntactically reduced to a provably equivalent form which directly reflects all the models of the representation. The model theory is illustrated by means of an example of supernormal defaults in a multi-agent language.