论文信息 - Two-Dimensional Awareness Logics

Two-Dimensional Awareness Logics

Awareness logic is a type of belief logic in which an agent's beliefs are restricted to those sentences that the agent is aware of. Awareness logic is a successful way to circumvent the problem of omniscience so that actual belief is modelled in a reasonable way. In this paper, we suggest a new method modelling awareness and actual belief by using two-dimensional logics. We show that the two-dimensional logics are flexible tools. Different types of concepts of awareness can be easily modelled by this method.

Hu Liu | Shier Ju

[1] W. van der Hoek,et al. Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[2] Heinrich Wansing,et al. A general possible worlds framework for reasoning about knowledge and belief , 1990, Stud Logica.

[3] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.

[4] Ronald Fagin,et al. Reasoning about knowledge , 1995 .

[5] Kurt Konolige,et al. What Awareness Isn't: A Sentential View of Implicit and Explicit Belief , 1986, TARK.

[6] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning: Preliminary Report , 1985, IJCAI.

[7] Kwang Mong Sim. Epistemic logic and logical omniscience II: A unifying framework , 2000 .

[8] Elias George Coenraad Thijsse,et al. Partial logic and knowledge representation , 1992 .

[9] Ulises Cortés,et al. Subjective Situations , 1999, MAAMAW.

[10] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[11] Merrie Bergmann,et al. Presupposition and two-dimensional logic , 1981, J. Philos. Log..

[12] V. Rantala,et al. Quantified modal logic: Non-normal worlds and propositional attitudes , 1982 .

[13] J. Hintikka. Knowledge and belief , 1962 .