论文信息 - A modal logic for epistemic tests - 字舞流文

A modal logic for epistemic tests

We study a modal logic of knowledge and action, focussing on test actions. Such knowledge-gathering actions increase the agents' knowledge. We propose a semantics, and associatean axiomatics and a rewriting-based proof procedure.

Andreas Herzig | Jérôme Lang | Thomas Polacsek | J. Lang | A. Herzig | Thomas Polacsek

[1] Robert C. Moore. A Formal Theory of Knowledge and Action , 1984 .

[2] Hector J. Levesque,et al. The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[3] John-Jules Ch. Meyer,et al. Tests as Epistemic Updates , 1994, ECAI.

[4] Sheila A. McIlraith. Generating Tests Using Abduction , 1994, KR.

[5] Krister Segerberg,et al. Belief Revision From the Point of View of Doxastic Logic , 1995, Log. J. IGPL.

[6] Willem Groeneveld,et al. Logical Investigations into Dynamic Semantics , 1995 .

[7] Hector J. Levesque,et al. What Is Planning in the Presence of Sensing? , 1996, AAAI/IAAI, Vol. 2.

[8] Jelle Gerbrandy,et al. Reasoning about Information Change , 1997, J. Log. Lang. Inf..

[9] Pierre Marquis,et al. Two Forms of Dependence in Propositional Logic: Controllability and Definability , 1998, AAAI/IAAI.

[10] Gerhard Lakemeyer,et al. AOL: A logic of Acting, Sensing, Knowing, and Only Knowing , 1998, KR.

[11] Jelle Gerbrandy,et al. Dynamic epistemic logic , 1998 .

[12] Krister Segerberg,et al. Two Traditions in the Logic of Belief: Bringing them Together , 1999 .

[13] Andreas Herzig,et al. Formalizing Action and Change in Modal Logic I: the frame problem , 1999, J. Log. Comput..

[14] Dominique Longin,et al. A Logic for Planning under Partial Observability , 2000, AAAI/IAAI.