FTCLogic: Fuzzy Temporal Constraint Logic

Abstract In this paper we present FTCLogic, a formal first-order logic that can manage fuzzy temporal constraints between variables efficiently. In this logic, the use of explicit temporal axioms is unnecessary, and therefore the deduction mechanism doesn't slow down for this reason. FTCLogic has an immediate precedent: the Extended Fuzzy Temporal Constraint Logic or EFTCL. However, while EFTCL is based on Timed Possibilistic Logic, FTCLogic uses the Possibilistic Logic to formulate an original semantics according to its syntax. In fact, FTCLogic defines both syntax and semantics from a powerful combination of two formalisms: the Possibilistic Logic and the Fuzzy Temporal Constraints Networks. FTCLogic has provided the basis for the creation of a fuzzy temporal PROLOG: PROLogic, which is implemented through Haskell, and which is currently undergoing evaluation.

[1]  P. Struss.  Problems of interval-based qualitative reasoning , 1989 .

[2]  Allel HadjAli,et al.  Fuzz-TIME: an intelligent system for managing fuzzy temporal information , 2017, Int. J. Intell. Comput. Cybern..

[3]  Didier Dubois,et al.  Weighted logics for artificial intelligence - an introductory discussion , 2014, Int. J. Approx. Reason..

[4]  Didier Dubois,et al.  Possibility Theory - An Approach to Computerized Processing of Uncertainty , 1988 .

[5]  Teresa Alsinet,et al.  Towards an automated deduction system for first‐order possibilistic logic programming with fuzzy constants , 2002, Int. J. Intell. Syst..

[6]  Pedro Cabalar,et al.  Temporal logic programs with variables , 2017, Theory Pract. Log. Program..

[7]  Roque Marín,et al.  A Model-based Temporal Abductive Diagnosis Model for an Intensive Coronary Care Unit , 2002 .

[8]  Davide Bresolin,et al.  Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions , 2009, Ann. Pure Appl. Log..

[9]  Senén Barro,et al.  A model and a language for the fuzzy representation and handling of time , 1994 .

[10]  Madan M. Gupta,et al.  Introduction to Fuzzy Arithmetic , 1991 .

[11]  John Harrison,et al.  Handbook of Practical Logic and Automated Reasoning , 2009 .

[12]  Didier Dubois,et al.  Processing fuzzy temporal knowledge , 1989, IEEE Trans. Syst. Man Cybern..

[13]  Didier Dubois,et al.  Possibilistic Logic - An Overview , 2014, Computational Logic.

[14]  Roque Marín,et al.  Obtaining solutions in fuzzy constraint networks , 1997, Int. J. Approx. Reason..

[15]  Roque Marín,et al.  Syntax and Semantics for a Fuzzy Temporal Constraint Logic , 2002, Annals of Mathematics and Artificial Intelligence.

[16]  Lluís Godo Lacasa,et al.  On Fuzzy Temporal Constraint Networks , 1994 .

[17]  Didier Dubois,et al.  Possibility Theory and Its Applications: Where Do We Stand? , 2015, Handbook of Computational Intelligence.

[18]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[19]  Juan Carlos Augusto,et al.  A Linguistic Truth-Value Temporal Reasoning (LTR) System and its Application to the Design of an Intelligent Environment , 2012, Int. J. Comput. Intell. Syst..

[20]  Didier Dubois,et al.  Fuzziness and Uncertainty in Temporal Reasoning , 2003, J. Univers. Comput. Sci..

[21]  Francisco Palacios Ortega,et al.  Avian influenza: Temporal modeling of a human to human transmission case , 2011, Expert Syst. Appl..

[22]  Didier Dubois,et al.  Timed possibilistic logic , 1991, Fundam. Informaticae.

[23]  H. Prade,et al.  Possibilistic logic , 1994 .

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

[25]  Hui Wang,et al.  A Many-Valued Temporal Logic and Reasoning Framework for Decision Making , 2010 .

[26]  Yoav Shoham,et al.  Reified Temporal Logics: Semantical and Ontological Considerations , 1986, ECAI.

[27]  M.A. Cardenas-Viedma,et al.  A sound and complete fuzzy temporal constraint logic , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[28]  Krzysztof R. Apt,et al.  Contributions to the Theory of Logic Programming , 1982, JACM.

[29]  Pedro Cabalar,et al.  STeLP - A Tool for Temporal Answer Set Programming , 2011, LPNMR.

[30]  Roque Marín,et al.  Efficient resolution mechanism for fuzzy temporal constraint logic , 2000, Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000.

[31]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[32]  Juan Carlos Augusto,et al.  The Logical Approach to Temporal Reasoning , 2001, Artificial Intelligence Review.

[33]  Didier Dubois,et al.  A possibility theory-based approach to the handling of uncertain relations between temporal points , 2004, Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004..

[34]  Juan Carlos Augusto,et al.  A reasoning system for uncertain and dynamic environments , 2012 .

[35]  Roque Marín,et al.  Fuzzy temporal constraint logic: a valid resolution principle , 2001, Fuzzy Sets Syst..

[36]  Lluis Godo,et al.  Possibilistic Temporal Reasoning based on Fuzzy Temporal Constraints , 1995, IJCAI.