论文信息 - Induction in First-Order Logic with Temporal Metric Operators

Induction in First-Order Logic with Temporal Metric Operators

A preliminary exploration of induction in the realm of firstorder logic enriched with temporal metric operators is presented. The Interaction Modelling Language (Imola) is formally defined, it is shown to have a lattice structure with respect to an extended subsumption relation and locally finite and complete refinement operators are introduced.

Marian F. Ursu | Pedro Torres

[1] Andrzej Szalas,et al. Incompleteness of First-Order Temporal Logic with Until , 1988, Theor. Comput. Sci..

[2] Saul A. Kripke,et al. Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[3] Gordon Plotkin,et al. A Note on Inductive Generalization , 2008 .

[4] F. Wolter,et al. Fragments of first-order temporal logics , 2000 .

[5] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[6] Stephan Merz,et al. Decidability and incompleteness results for first-order temporal logics of linear time , 1992, J. Appl. Non Class. Logics.

[7] Shan-Hwei Nienhuys-Cheng,et al. Foundations of Inductive Logic Programming , 1997, Lecture Notes in Computer Science.

[8] Mark Reynolds. The complexity of temporal logic over the reals , 2010, Ann. Pure Appl. Log..

[9] Johan Anthory Willem Kamp,et al. Tense logic and the theory of linear order , 1968 .

[10] Rene Kaiser,et al. Reasoning for video-mediated group communication , 2011, 2011 IEEE International Conference on Multimedia and Expo.

[11] Carsten Lutz,et al. Quantitative temporal logics over the reals: PSpace and below , 2007, Inf. Comput..

[12] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.

[13] Robert Kolter. Inductive temporal logic programming , 2009 .