Epistemic logic and logical omniscience II: A unifying framework

Sim, Kwang Mong

doi:10.1002/(sici)1098-111x(200002)15:2<129::aid-int3>3.0.co;2-t

Cited by 5 publications

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Reasoning tractably about explicit belief: A model-theoretic approach

Sim

2000

Int. J. Intell. Syst.

Self Cite

View full text Add to dashboard Cite

Existing epistemic logics such as the logic of implicit and explicit belief and the logic of awareness adopt a deducti¨e-theoretic approach for characterizing belief. In this approach, an agent represents the state of the world with a conjunction of axioms in its knowledge Ž . base KB and evaluates queries by trying to prove or disprove that they follow from KB.Ž . This paper presents a multi¨alued epistemic logic MEL that allows agents to reason both deductively and model theoretically about implicit and explicit belief. By characterizing an agent's KB with a class of finite models, the set of formulas that an agent believes can be determined by checking their validity in all these models. This rests on the fact that MEL Ž has a complete axiomatization sentences that are true in all these models will also be . provable . In this paper, the soundness, completeness, and decidability of MEL are proven. Furthermore, a polynomial time model-checking algorithm for determining the satisfiability of a sentence at a particular state in a given model of MEL is also presented.

show abstract

Reasoning tractably about explicit belief: A model-theoretic approach

Sim

2000

Int. J. Intell. Syst.

Self Cite

View full text Add to dashboard Cite

show abstract

On the Interactions of Awareness and Certainty

Ditmarsch

French

2011

AI 2011: Advances in Artificial Intelligence

View full text Add to dashboard Cite

Abstract. We examine the interactions of knowledge and awareness in dynamic epistemic logic. Implicit knowledge describes the things that an agent could infer from what is known, if the agent were aware of the necessary concepts. Reasoning techniques that are robust to incomplete awareness are important when considering interactions of automated agents in complex dynamic environments, such as the semantic web. Here we revisit Hector Levesque's original motivation of implicit knowledge and consider several contemporary realizations of implicit knowledge. We present a framework to compare different interactions of knowledge and awareness in the context of public announcements, and introduce a new formalism for tacit knowledge.

show abstract

Two-Dimensional Awareness Logics

Liu

Ju²

2004

Journal of Philosophical Logic

View full text Add to dashboard Cite

Epistemic logic and logical omniscience II: A unifying framework

Cited by 5 publications

References 8 publications

Reasoning tractably about explicit belief: A model-theoretic approach

Reasoning tractably about explicit belief: A model-theoretic approach

On the Interactions of Awareness and Certainty

Two-Dimensional Awareness Logics

Contact Info

Product

Resources

About