Syntax and Semantics for a Fuzzy Temporal Constraint Logic

Authors:
M. A. Cárdenas Viedma;R. Marín Morales
Affiliations:
Departamento de Ingeniería de la Información y las Comunicaciones, Universidad de Murcia, Campus de Espinardo, 30071 Murcia, Spain marian@dif.um.es;Departamento de Ingeniería de la Información y las Comunicaciones, Universidad de Murcia, Campus de Espinardo, 30071 Murcia, Spain roque@dif.um.es
Venue:
Annals of Mathematics and Artificial Intelligence
Year:
2002

Citing 11
Cited 2

Towards a general theory of action and time

Artificial Intelligence
Temporal data base management

Artificial Intelligence
Resolution principles in possibilistic logic

International Journal of Approximate Reasoning
Temporal constraint networks

Artificial Intelligence - Special issue on knowledge representation
A temporal extension of PROLOG

Journal of Logic Programming
Timed possibilistic logic

Fundamenta Informaticae - Special issue: logics for artificial intelligence
A model and a language for the fuzzy representation and handling of time

Fuzzy Sets and Systems
Possibilistic logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
Maintaining knowledge about temporal intervals

Communications of the ACM
Fuzzy temporal constraint logic: a valid resolution principle

Fuzzy Sets and Systems
Efficient Resolution Mechanism for Fuzzy Temporal Constraint Logic

TIME '00 Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning (TIME'00)

Integrating quantitative and qualitative fuzzy temporal constraints

AI Communications - Special issue on: Spatial and temporal reasoning
Integrating quantitative and qualitative fuzzy temporal constraints

AI Communications - Spatial and Temporal Reasoning

Quantified Score

Hi-index	0.00

Visualization

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.