Reasoning about Locations in Theory and Practice

Locational reasoning plays an important role in many applications of AI problem‐solving systems, yet has remained a relatively unexplored area of research. This paper addresses both theoretical and practical issues relevant to reasoning about locations. We define several theories of location designed for use in various settings, along with a sound and complete belief revision calculus for each that maintains a STRIPS‐style database of locational facts. Techniques for the efficient operationalization of the belief revision rules in planning frameworks are presented. These techniques were developed during application of the location theories to several large‐scale planning tasks within the Sipe planning framework.

[1]  Larry Wos,et al.  Automated Reasoning: Introduction and Applications , 1984 .

[2]  Karen L. Myers,et al.  Hybrid Reasoning Using Universal Attachment , 1994, Artif. Intell..

[3]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

[4]  Daniel S. Weld,et al.  UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.

[5]  Nicola Guarino,et al.  A Pointless Theory of Space Based on Strong Connection and Congruence , 1996, KR.

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

[7]  Anthony Barrett,et al.  Partial-Order Planning: Evaluating Possible Efficiency Gains , 1994, Artificial Intelligence.

[8]  Qiang Yang,et al.  Delaying Variable Binding Commitments in Planning , 1994, AIPS.

[9]  Karen L. Myers.  A Procedural Knowledge Approach to Task-Level Control , 1996, AIPS.

[10]  David E. Wilkins,et al.  Can AI planners solve practical problems? , 1990, Comput. Intell..

[11]  Stephen F. Smith,et al.  Configurable, Mixed-Initiative Systems for Planning and Scheduling , 1996 .

[12]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[13]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[14]  David E. Wilkins,et al.  Practical planning - extending the classical AI planning paradigm , 1989, Morgan Kaufmann series in representation and reasoning.

[15]  David E. Smith,et al.  Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..

[16]  J. Finger,et al.  Exploiting constraints in design synthesis , 1987 .

[17]  Murray Shanahan,et al.  Default Reasoning about Spatial Occupancy , 1995, Artif. Intell..

[18]  Lenhart K. Schubert,et al.  Accelerating Deductive Inference: Special Methods for Taxonomies, Colours and Times , 1987 .

[19]  Ernest Davis,et al.  Representations of commonsense knowledge , 2014, notThenot Morgan Kaufmann series in representation and reasoning.

[20]  David E. Smith,et al.  Reasoning About Action II: The Qualification Problem , 1988, Artif. Intell..

[21]  Ora Lassila,et al.  Con gurable, Mixed-Initiative Systems for Planning and Scheduling , 1996 .

[22]  David E. Wilkins,et al.  Applying an AI Planner to Military Operations Planning , 1993 .

[23]  Ora Lassila,et al.  Conngurable, Mixed-initiative Systems for Planning and Scheduling , 1996 .

[24]  Patrick J. Hayes,et al.  Naive physics I: ontology for liquids , 1989 .

[25]  Edwin P. D. Pednault,et al.  Synthesizing plans that contain actions with context‐dependent effects 1 , 1988, Comput. Intell..

[26]  Michael P. Georgeff,et al.  Decision-Making in an Embedded Reasoning System , 1989, IJCAI.

[27]  Oliver Lemon,et al.  Semantical Foundations of Spatial Logics , 1996, KR.

[28]  David A. McAllester,et al.  Systematic Nonlinear Planning , 1991, AAAI.

[29]  John McCarthy,et al.  Epistemological Problems of Artificial Intelligence , 1987, IJCAI.

[30]  Richard E. Korf,et al.  Planning as Search: A Quantitative Approach , 1987, Artif. Intell..