Narrative based Postdictive Reasoning for Cognitive Robotics

Making sense of incomplete and conflicting narrative knowledge in the presence of abnormalities, unobservable processes, and other real world considerations is a challenge and crucial requirement f ...

[1]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[2]  Carl P. L. Schultz,et al.  Cognitive Interpretation of Everyday Activities - Toward Perceptual Narrative Based Visuo-Spatial Scene Interpretation , 2013, CMN.

[3]  Murray Shanahan,et al.  An abductive event calculus planner , 2000, J. Log. Program..

[4]  Vladik Kreinovich,et al.  Computational Complexity of Planning and Approximate Planning in Presence of Incompleteness , 1999, IJCAI.

[5]  Hector J. Levesque,et al.  On the Semantics of Deliberation in IndiGolog — from Theory to Implementation , 2002, Annals of Mathematics and Artificial Intelligence.

[6]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.

[7]  Gordon I. McCalla,et al.  The Knowledge Frontier , 1987, Symbolic Computation.

[8]  Thomas Röfer,et al.  Mobility Assistance in the Bremen Ambient Assisted Living Lab , 2010 .

[9]  Andrea Bracciali,et al.  CRAFTING THE MIND OF PROSOCS AGENTS , 2006, Appl. Artif. Intell..

[10]  Paolo Mancarella,et al.  The KGP Model of Agency , 2004, ECAI.

[11]  Randy Goebel,et al.  Theorist: A Logical Reasoning System for Defaults and Diagnosis , 1987 .

[12]  Erik T. Mueller,et al.  Reasoning about RoboCup Soccer Narratives , 2011, UAI.

[13]  Anthony G. Cohn,et al.  Interleaved Inductive-Abductive Reasoning for Learning Complex Event Models , 2011, ILP.

[14]  Mehul Bhatt,et al.  Reasoning about Space, Actions, and Change: A Paradigm for Applications of Spatial Reasoning , 2014 .

[15]  Hector J. Levesque,et al.  An Incremental Interpreter for High-Level Programs with Sensing , 1999 .

[16]  Piergiorgio Bertoli,et al.  Extending PDDL to nondeterminism, limited sensing and iterative conditional plans , 2003 .

[17]  Piergiorgio Bertoli,et al.  MBP: a Model Based Planner , 2001 .

[18]  Murray Shanahan,et al.  Narratives in the Situation Calculus , 1994, J. Log. Comput..

[19]  Erik T. Mueller,et al.  Symbolic Probabilistic Reasoning for Narratives , 2011, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.

[20]  Mehul Bhatt,et al.  h-approximation: History-Based Approximation of Possible World Semantics as ASP , 2013, ArXiv.

[21]  Bernhard Nebel,et al.  Continual planning and acting in dynamic multiagent environments , 2006, PCAR '06.

[22]  Jack Minker,et al.  Logic-Based Artificial Intelligence , 2000 .

[23]  Javier Pinto,et al.  Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus , 1998, J. Log. Comput..

[24]  Martin Gebser,et al.  Reactive Answer Set Programming , 2011, LPNMR.

[25]  John McCarthy,et al.  Combining Narratives , 1998, KR.

[26]  Erik T. Mueller,et al.  Modelling Space and Time in Narratives about Restaurants , 2007, Lit. Linguistic Comput..

[27]  Martin Gebser,et al.  Advances in gringo Series 3 , 2011, LPNMR.

[28]  J. McCarthy.  ELABORATION TOLERANCE , 1997 .

[29]  R. Brafman,et al.  Contingent Planning via Heuristic Forward Search witn Implicit Belief States , 2005, ICAPS.

[30]  Mehul Bhatt,et al.  Spatio-Temporal Abduction for Scenario and Narrative Completion ( A Preliminary Statement ) , 2010 .

[31]  Martin Gebser,et al.  Answer Set Solving in Practice , 2012, Answer Set Solving in Practice.