A Default Logic Based On Epistemic States

Authors:
J.-J. Ch. Meyer;W. van der Hoek
Affiliations:
(Partially supported by the University of Nijmegen) Utrecht University, Department of Computer Science, P.O. Box 80089, 3508 TB Utrecht;Utrecht University, Department of Computer Science, P.O. Box 80089, 3508 TB Utrecht
Venue:
Fundamenta Informaticae
Year:
1995

Citing 23
Cited 2

Semantical considerations on nonmonotonic logic

Artificial Intelligence
Nonmonotonic logic and temporal projection

Artificial Intelligence
A semantical approach to nonmonotonic logics

Readings in nonmonotonic reasoning
Belief, awareness, and limited reasoning

Artificial Intelligence
On the relation between default and autoepistemic logic

Artificial Intelligence
General theory of cumulative inference

Proceedings of the 2nd international workshop on Non-monotonic reasoning
All I know: a study in autoepistemic logic

Artificial Intelligence
Knowledge and common knowledge in a distributed environment

Journal of the ACM (JACM)
Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence
Theoretical foundations for non-monotonic reasoning in expert systems

Logics and models of concurrent systems
Nonmonotonic reasoning: logical foundations of common sense

Nonmonotonic reasoning: logical foundations of common sense
NM3—a three-valued cumulative non-monotonic formalism

JELIA '90 Proceedings of the European workshop on Logics in AI
Relating autoepistemic and default logics

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Nonmonotonic default modal logics

Journal of the ACM (JACM)
Default theories of Poole-type and a method for constructing cumulative versions of default logic

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
A logic of knowledge and justified assumptions

Artificial Intelligence
A Deduction Model of Belief

A Deduction Model of Belief
Non-Monotonic Reasoning by Monotonic Means

JELIA '90 Proceedings of the European Workshop on Logics in AI
A Default Logic Based on Epistemic States

ECSQARU '93 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Knowledge, common knowledge and related puzzles (Extended Summary)

PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Epistemic semantics for fixed-points non-monotonic logics

TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
A Model-Theoretic Analysis Of Knowledge: Preliminary Report

SFCS '84 Proceedings of the 25th Annual Symposium onFoundations of Computer Science, 1984
A guide to the modal logics of knowledge and belief: preliminary draft

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1

Temporalizing Epistemic Default Logic

Journal of Logic, Language and Information
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics

Journal of Logic, Language and Information

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we indicate how default logic can be based on epistemic logic, and particularly how we may employ Halpern & Moses' minimal epistemic states for this purpose. In this way we obtain a simple and natural S5-based logic for default reasoning that appears to be cumulative in the sense of Kraus, Lehmann and Magidor.