The Internal Reasoning of Robots

We argue for the value of examining the internal processes that robots might actually use to draw inferences in a timely way in a dynamic world. This requires a significantly different way of thinking about logic and reasoning, which in turn bears on some traditional logic-related problems such as omniscience and reasoning in the presence of a contradiction, as well as on a wide variety of other AI issues. A nonstandard internally-evolving notion of time seems to be the key that unlocks other tools.

[1]  Ben Taskar,et al.  Introduction to Statistical Relational Learning (Adaptive Computation and Machine Learning) , 2007 .

[2]  D. Perlis.  The role(s) of belief in AI , 2000 .

[3]  Paolo Traverso,et al.  Automated Planning and Acting , 2016 .

[4]  Brian Logan,et al.  Modelling Communicating Agents in Timed Reasoning Logics , 2004, JELIA.

[5]  Donald Perlis,et al.  Who's Talking? - Efference Copy and a Robot's Sense of Agency , 2015, AAAI Fall Symposia.

[6]  Nils J. Nilsson,et al.  Artificial Intelligence Prepares for 2001 , 1983, AI Mag..

[7]  Chitta Baral,et al.  Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals , 2008, AAAI.

[8]  Donald Perlis,et al.  Automated Inference in Active Logics , 1996, J. Appl. Non Class. Logics.

[9]  Donald Perlis.  Five Dimensions of Reasoning in the Wild , 2016, AAAI.

[10]  Ernest Davis,et al.  Logical Formalizations of Commonsense Reasoning: A Survey , 2017, J. Artif. Intell. Res..

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

[12]  Balázs Szörényi,et al.  Theory revision with queries: Horn, read-once, and parity formulas , 2004, Artif. Intell..

[13]  Dov M. Gabbay,et al.  Advances in Temporal Logic , 2000 .

[14]  Hector J. Levesque,et al.  Common Sense, the Turing Test, and the Quest for Real AI , 2017 .

[15]  Sarit Kraus,et al.  Knowledge, Belief and Time , 1986, Theor. Comput. Sci..

[16]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[17]  Malik Ghallab,et al.  Deliberation for autonomous robots: A survey , 2017, Artif. Intell..

[18]  Sarit Kraus,et al.  Fully Deadline-Coupled Planning: One Step at a Time , 1991, ISMIS.

[19]  Brian Logan,et al.  A complete and decidable logic for resource-bounded agents , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[20]  John Grant,et al.  An Approach to Human-Level Commonsense Reasoning , 2013, Paraconsistency: Logic and Applications.

[21]  Michael Gelfond,et al.  Action Languages , 1998, Electron. Trans. Artif. Intell..

[22]  K. Konolige.  A deduction model of belief and its logics , 1984 .

[23]  Carolyn L. Talcott,et al.  The Logic of FOL Systems: Formulated in Set Theory , 1994, Logic, Language and Computation.

[24]  Moritz Tenorth,et al.  Representations for robot knowledge in the KnowRob framework , 2017, Artif. Intell..

[25]  John Grant,et al.  Active logic semantics for a single agent in a static world , 2008, Artif. Intell..

[26]  Sarit Kraus,et al.  Exploiting focal points among alternative solutions: Two approaches , 2000, Annals of Mathematics and Artificial Intelligence.

[27]  Frank van Harmelen,et al.  Stream reasoning: A survey and outlook , 2017, Data Sci..

[28]  Selmer Bringsjord,et al.  Real robots that pass human tests of self-consciousness , 2015, 2015 24th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN).

[29]  Sławomir Nowaczyk.  Partial Planning for Situated Agents based on Active Logic , 2006 .

[30]  György Turán,et al.  On theory revision with queries , 1999, COLT '99.

[31]  Eric Horvitz,et al.  Metareasoning for Planning Under Uncertainty , 2015, IJCAI.

[32]  Michael Miller,et al.  Memory, Reason, and Time: the Step-logic Approach , 1991 .

[33]  Donald Perlis,et al.  Logic, Self-awareness and Self-improvement: the Metacognitive Loop and the Problem of Brittleness , 2005, J. Log. Comput..

[34]  Martin Diller,et al.  An Extension-Based Approach to Belief Revision in Abstract Argumentation , 2015, IJCAI.

[35]  Donald Perlis,et al.  Reasoning situated in time I: basic concepts , 1990, J. Exp. Theor. Artif. Intell..

[36]  Nico Roos,et al.  A Logic for Reasoning with Inconsistent Knowledge , 1992, Artif. Intell..

[37]  Gerhard Lakemeyer,et al.  The logic of knowledge bases , 2000 .

[38]  Chitta Baral,et al.  Modeling Multimedia Displays Using Action Based Temporal Logic , 2002, VDB.

[39]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[40]  Stefan Woltran,et al.  AGM-Style Belief Revision of Logic Programs under Answer Set Semantics , 2008, LPNMR.

[41]  Richard W. Weyhrauch,et al.  Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[42]  Michael J. Miller.  A view of one's past and other aspects of reasoned change in belief , 1993 .

[43]  Carolyn L. Talcott,et al.  Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View , 1990, ECAI.

[44]  John G. Gibbons.  Knowledge in Action , 2001 .

[45]  Jacek Malec,et al.  Reasoning with Limited Resources: Active Logics Expressed as Labeled Deductive Systems , 2005 .

[46]  Donald Perlis,et al.  Incorporating Elements of a Processual Self into Active Logic , 2014, AAAI Spring Symposia.

[47]  Pei Wang,et al.  Issues in Temporal and Causal Inference , 2015, AGI.

[48]  Donald Perlis,et al.  Sources of, and Exploiting, Inconsistency: Preliminary Report , 1997, J. Appl. Non Class. Logics.

[49]  Natasha Alechina,et al.  The Dynamics of Syntactic Knowledge , 2006, J. Log. Comput..