Autoepistemic modal logics

Authors:
Grigori Shvarts
Affiliations:
Program Systems Institute of the USSR Academy of Sciences, Pereslavl-Zalessky, USSR
Venue:
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Year:
1990

Citing 6
Cited 15

Semantical considerations on nonmonotonic logic

Artificial Intelligence
Possible-world semantics for autoepistemic logic

Readings in nonmonotonic reasoning
On the relation between default and autoepistemic logic

Artificial Intelligence
Autoepistemic stable closures and contradiction resolution

Proceedings of the 2nd international workshop on Non-monotonic reasoning
The mathematics of nonmonotonic reasoning

Proceedings of the Fourth Annual Symposium on Logic in computer science
Nonmonotonic Logic II: Nonmonotonic Modal Theories

Journal of the ACM (JACM)

CardS4: Modal Theorem Proving on Java Smartcards

E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security

JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
A non-preferential semantics of non-monotonic modal logic

Annals of Mathematics and Artificial Intelligence
The power of beliefs or translating default logic into standard autoepistemic logic

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Preference-based semantics for nonmonotonic logics

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Modal interpretations of default logic

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
On the relation between default and modal nonmonotonic reasoning

Artificial Intelligence
On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics

Fundamenta Informaticae
Ideal introspective belief

AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Subnormal modal logics for knowledge representation

AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination

ACM Transactions on Computational Logic (TOCL)
A qualitative approach to uncertainty

ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
First-order Non-monotonic Modal Logics

Fundamenta Informaticae
Many-Valued Modal Non-Monotonic Reasoning: Sequential Stable Sets and Logics with Linear Truth Spaces

Fundamenta Informaticae
On Semantics for the Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

A modal approach to nonmonotonic reasoning was proposed by Drew McDermott and Jon Doyle in 1980--82. Almost immediately some disadvantages of that approach were pointed out. Robert Moore (1983) proposed his autoepistemic logic, which overcomes these difficulties. Later, some authors (Kurt Konolige, Paul Morris and others) found peculiarities of different kinds in Moore's logic and proposed rather complicated solutions to these problems. A careful mathematical analysis of Moore's and McDermott's approaches shows that Moore's logic is merely a special case of McDermott's logic, at least formally. The problems that arose in Moore's logic may find a simple and uniform solution by going back to McDermott's original concept.