McCarthy variations in a modal key

We take a fresh look at some major strands in John McCarthy's work from a logician's perspective. First, we re-analyze circumscription in dynamic logics of belief change under hard and soft information. Next, we re-analyze the regression method in the Situation Calculus in terms of update axioms for dynamic-epistemic temporal logics. Finally, we draw some general methodological comparisons between 'Logical AI' and practices in modal logic, pointing at some creative tensions.

[1]  Vladimir Lifschitz,et al.  Computing Circumscription , 1985, IJCAI.

[2]  J. Benthem,et al.  Higher-Order Logic , 2001 .

[3]  Johan van Benthem,et al.  Dynamic logic for belief revision , 2007, J. Appl. Non Class. Logics.

[4]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[5]  Barteld Kooi,et al.  Dynamic Epistemic Logic , 2013 .

[6]  J. Benthem.  One is a Lonely Number: on the logic of communication , 2003 .

[7]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

[8]  Lawrence S. Moss.  Exploring Logical Dynamics, Johan van Benthem , 2000, J. Log. Lang. Inf..

[9]  J.F.A.K. van Benthem,et al.  Logic in Philosophy , 2005 .

[10]  Johan van Benthem,et al.  Minimal predicates, fixed-points, and definability , 2005, Journal of Symbolic Logic.

[11]  Andreas Herzig,et al.  Optimal Regression for Reasoning about Knowledge and Actions , 2007, AAAI.

[12]  Carsten Lutz,et al.  Complexity and succinctness of public announcement logic , 2006, AAMAS '06.

[13]  J.F.A.K. van Benthem.  Structural properties of dynamic reasoning , 2003 .

[14]  Greg Restall,et al.  An Introduction to Substructural Logics , 2000 .

[15]  Alex S. Taylor,et al.  Machine intelligence , 2009, CHI.

[16]  J.F.A.K. van Benthem,et al.  Is there still Logic in Bolzano's Key? , 2003 .

[17]  Robert van Rooij,et al.  Pragmatic Meaning and Non-monotonic Reasoning: The Case of Exhaustive Interpretation , 2006 .

[18]  Johan van Benthem,et al.  Modal Languages and Bounded Fragments of Predicate Logic , 1998, J. Philos. Log..

[19]  Johan van Benthem,et al.  Semantic Parallels in Natural Language and Computation , 1989 .

[20]  Gerhard Lakemeyer,et al.  A semantic characterization of a useful fragment of the situation calculus with knowledge , 2011, Artif. Intell..

[21]  Johan van Benthem,et al.  Logical dynamics meets logical pluralism , 2008 .

[22]  Marvin Minsky,et al.  Semantic Information Processing , 1968 .

[23]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

[24]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[25]  Murray Shanahan,et al.  A Circumscriptive Calculus of Events , 1995, Artif. Intell..

[26]  Johan van Benthem,et al.  The variety of consequence, according to Bolzano , 1985, Stud Logica.

[27]  Frank Wolter,et al.  Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.

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

[29]  Jaroslav Peregrin.  Meaning : the dynamic turn , 2003 .

[30]  C. Hempel,et al.  Aspects of Scientific Explanation and Other Essays in the Philosophy of Science. , 1966 .

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

[32]  Ramaswamy Ramanujam,et al.  A Knowledge Based Semantics of Messages , 2003, J. Log. Lang. Inf..

[33]  J. Benthem,et al.  Logics of communication and change , 2006 .

[34]  Megumi Kameyama,et al.  Indefeasible Semantics and Defeasible Pragmatics , 1994, ArXiv.

[35]  Gerhard Lakemeyer,et al.  Semantics for a useful fragment of the situation calculus , 2005, IJCAI.

[36]  J. M. Larrazabal,et al.  Reasoning about change , 1991 .

[37]  Johan van Benthem,et al.  The Tree of Knowledge in Action: Towards a Common Perspective , 2006, Advances in Modal Logic.

[38]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[39]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[40]  Johan van Benthem,et al.  Exploring logical dynamics , 1996, Studies in logic, language and information.