Autoepistemic logic and introspective circumscription

Authors:
Michael Gelfond;Vladimir Lifschitz;Halina Przymusinska;Grigori Schwarz
Affiliations:
University of Texas at El Paso, El Paso, TX;University of Texas at Austin, Austin, TX;California State Polytechnic University, Pomona, CA;Stanford University, Stanford, CA
Venue:
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Year:
1994

Citing 9
Cited 1

Semantical considerations on nonmonotonic logic

Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge

Artificial Intelligence
Autocircumscription

Artificial Intelligence
Towards a theory of declarative knowledge

Foundations of deductive databases and logic programming
All I know: a study in autoepistemic logic

Artificial Intelligence
Between circumscription and autoepistemic logic

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Modal logic S4F and the minimal knowledge paradigm

TARK '92 Proceedings of the fourth conference on Theoretical aspects of reasoning about knowledge
Extended logic programs as autoepistemic theories

Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Formalizing Commonsense: Papers by John McCarthy

Formalizing Commonsense: Papers by John McCarthy

Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We investigate the relationship between two epistemic nonmonotonic formalisms: autoepistemic logic and introspective circumscription. Finitely axiomatized autoepistemic theories are shown to be equivalent to the propositional case of introspective circumscription. This theorem is applied to the problem of relating the usual "minimizing" circumscription to autoepistemic logic.