Default reasoning with preference within only knowing logic

Authors:
Iselin Engan;Tore Langholm;Espen H. Lian;Arild Waaler
Affiliations:
Dept. of Linguistics, University of Oslo, Norway;Dept. of Linguistics, University of Oslo, Norway;Dept. of Informatics, University of Oslo, Norway;Dept. of Informatics, University of Oslo, Norway
Venue:
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Year:
2005

Citing 12
Cited 4

Semantical considerations on nonmonotonic logic

Artificial Intelligence
On the relation between default and autoepistemic logic

Artificial Intelligence
All I know: a study in autoepistemic logic

Artificial Intelligence
Translating default logic into standard autoepistemic logic

Journal of the ACM (JACM)
Expressing preferences in default logic

Artificial Intelligence
Nonmonotonic Logic: Context-Dependent Reasoning

Nonmonotonic Logic: Context-Dependent Reasoning
Uniform semantic treatment of default and autoepistemic logics

Artificial Intelligence
Prioritizing Default Logic

Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
Prioritized Autoepistemic Logic

JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Adding Priorities and Specificity to Default Logic

JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
The Logic of Only Knowing as a Unified Framework for Non-Monotonic Reasoning

ISMIS '93 Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems
Semantics for multi-agent only knowing: extended abstract

TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge

Default Logics with Preference Order: Principles and Characterisations

LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Confluent Term Rewriting for Only-knowing Logics

Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
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.00

Visualization

Abstract

The main construction in this paper is an encoding of default logic into an “only knowing” logic with degrees of confidence. By imposing simple and natural constraints on the encoding we show that the “only knowing” logic can accommodate ordered default theories and that the constrained encoding implements a prescriptive interpretation of preference between defaults. An advantage of the encoding is that it provides a transparent formal rendition of such a semantics. A feature of the construction is that the generation of extensions can be carried out within the “only knowing” logic, using object level concepts alone.