论文信息 - Epistemic Actions and Ontic Actions: A Unified Logical Framework

Epistemic Actions and Ontic Actions: A Unified Logical Framework

A tool includes a handle having a shank extended from one end for engaging with and for driving fasteners. A driving stem has an extension for engaging into the orifice of the shank and has an engaging hole for receiving and driving the fasteners. The shank and the driving stem are extended from one end of the handle such that the handle may apply a greater torque against the driving stem. A cover is pivotally coupled to the handle and has one or more wheel members for forming a roller skate shape. The shank has a clamping device for clamping the driving stem in place.

Andreas Herzig | Tiago De Lima | A. Herzig | T. Lima

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

[2] Wiebe van der Hoek,et al. Dynamic epistemic logic with assignment , 2005, AAMAS '05.

[3] Andreas Herzig,et al. Regression in Modal Logic , 2003, J. Appl. Non Class. Logics.

[4] Raymond Reiter,et al. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[5] J. Gerbrandy. Bisimulations on Planet Kripke , 1999 .

[6] Lawrence S. Moss,et al. Logics for Epistemic Programs , 2004, Synthese.

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

[8] Richard Spencer-Smith,et al. Modal Logic , 2007 .

[9] Jan A. Plaza,et al. Logics of public communications , 2007, Synthese.

[10] Robert C. Moore. Reasoning About Knowledge and Action , 1977, IJCAI.

[11] Hans van Ditmarsch,et al. The Secret of My Success , 2006, Synthese.

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