Syntax and Semantics for a Fuzzy Temporal Constraint Logic
Source: Annals of Mathematics and Artificial Intelligence, Volume 36, Number 4, 1 December 2002 , pp. 357-380(24)
Abstract:In this paper we establish the relationship between the syntax and semantics of a fuzzy temporal constraint logic (FTCL) proposed by Cárdenas et al. FTCL enables us to express interrelated events by means of fuzzy temporal constraints. Moreover, it provides a resolution principle for performing inferences which take these constraints into account. FTCL is compatible with the theoretical temporal reasoning model proposed by Marín et al. – the Fuzzy Temporal Constraint Networks (FTCN). The main contributions of this paper are, on the one hand, the proofs of the FTCL-deduction and the FTCL-refutation theorems, and, on the other, the proof of the soundness of the refutation by resolution in this formal system, together with an exhaustive study of its completeness.
Document Type: Research Article
Affiliations: 1: Departamento de Ingeniería de la Información y las Comunicaciones, Universidad de Murcia, Campus de Espinardo, 30071 Murcia, Spain, E-mail: firstname.lastname@example.org 2: Departamento de Ingeniería de la Información y las Comunicaciones, Universidad de Murcia, Campus de Espinardo, 30071 Murcia, Spain, E-mail: email@example.com
Publication date: December 1, 2002