Temporal Defeasible Reasoning

Abstract. An argumentation system that allows temporal reasoning using the notions of instant and interval is presented. Previous proposals just considered either instants or intervals. A many-sorted logic is used to represent temporal knowledge at the monotonic level. The logic considers how to formalize knowledge about explicit temporal references, events, properties and actions. The argumentation system provides a non-monotonic layer in which to reason about the justification of truths in the system. The proposal is illustrated showing how to solve well-known problems of the literature.

[1]  Henry A. Kautz,et al.  Constraint propagation algorithms for temporal reasoning: a revised report , 1989 .

[2]  Itay Meiri.  Temporal reasoning: a constraint-based approach , 1992 .

[3]  Jean H. Gallier,et al.  Logic for Computer Science: Foundations of Automatic Theorem Proving , 1985 .

[4]  Ana Gabriela Maguitman,et al.  Logical models of argument , 2000, CSUR.

[5]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.

[6]  Henry A. Kautz,et al.  Reasoning about plans , 1991, Morgan Kaufmann series in representation and reasoning.

[7]  Guillermo Ricardo Simari,et al.  Making argument systems computationally attractive: argument construction and maintenance , 1994 .

[8]  Lenhart K. Schubert.  Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds wi , 1990 .

[9]  Juan Carlos Augusto,et al.  A Temporal Argumentative System , 1999, AI Commun..

[10]  Antony Galton,et al.  A Critical Examination of Allen's Theory of Action and Time , 1990, Artif. Intell..

[11]  James F. Allen,et al.  Arguing about Plans: Plan Representation and Reasoning for Mixed-initiative Planning , 1994, AIPS.

[12]  Alexander Bochman,et al.  Concerted Instant-Interval Temporal Semantics I: Temporal Ontologies , 1990, Notre Dame J. Formal Log..

[13]  David Stuart Robertson,et al.  Argument-based applications to knowledge engineering , 2000, The Knowledge Engineering Review.

[14]  C. L. Hamblin.  Instants and intervals. , 1971, Studium generale; Zeitschrift fur die Einheit der Wissenschaften im Zusammenhang ihrer Begriffsbildungen und Forschungsmethoden.

[15]  Erik Sandewall.  Features and fluents : representation of knowledge about dynamical systems , 1994 .

[16]  D. Davidson.  Essays on actions and events , 1980 .

[17]  Antony Galton,et al.  An Investigation of 'Non-Intermingling' Principles in Temporal Logic , 1996, J. Log. Comput..

[18]  M. Shanahan.  Solving the frame problem , 1997 .

[19]  RobertsonDavid,et al.  Argument-based applications to knowledge engineering , 2000 .

[20]  James F. Allen,et al.  Actions and Events in Interval Temporal Logic , 1994 .

[21]  Henry A. Kautz,et al.  Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.

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

[23]  Patrick J. Hayes,et al.  A Common-Sense Theory of Time , 1985, IJCAI.

[24]  Lenhart K. Schubert.  Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change , 1994 .

[25]  Guillermo Ricardo Simari,et al.  A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..

[26]  Alexander Bochman,et al.  Concerted Instant-Interval Temporal Semantics II: Temporal Valuations and Logics of Change , 1990, Notre Dame J. Formal Log..

[27]  James F. Allen.  An Interval-Based Representation of Temporal Knowledge , 1981, IJCAI.

[28]  A. Haas.  The Case for Domain-Specific Frame Axioms , 1987 .

[29]  George Ferguson,et al.  Knowledge representation and reasoning for mixed-initiative planning , 1995 .

[30]  David Poole,et al.  On the Comparison of Theories: Preferring the Most Specific Explanation , 1985, IJCAI.

[31]  Llu S Vila,et al.  Ip: an Instant-period{based Theory of Time , 1994 .

[32]  Henry Prakken,et al.  Logical Tools for Modelling Legal Argument , 1997 .

[33]  P. Ladkin,et al.  The algebra of convex time intervals , 1987 .

[34]  James F. Allen.  Temporal reasoning and planning , 1991 .