Title :
A sound and complete fuzzy temporal constraint logic
Author :
Cárdenas-Viedma, M.A.
Author_Institution :
Dept. de Ingenieria de la Informacion y las Comunicaciones, Univ. de Murcia, Spain
Abstract :
In this work, we define an extended fuzzy temporal constraint logic (EFTCL) based on possibilistic logic. EFTCL allows us to handle fuzzy temporal constraints between temporal variables and, therefore, enables us to express interrelated events through fuzzy temporal constraints. EFTCL is compatible with a theoretical temporal reasoning model: the fuzzy temporal constraint networks (FTCN). The syntax, the semantics and the deduction and refutation theorems for EFTCL are similar to those defined for the sound and noncomplete fuzzy temporal constraint logic (FTCL). In this paper, a resolution principle for performing inferences which take these constraints into account is proposed for EFTCL. Moreover, we prove the soundness and the completeness of the refutation by resolution in EFTCL.
Keywords :
computational complexity; constraint handling; fuzzy logic; inference mechanisms; temporal logic; fuzzy temporal constraint logic; possibilistic logic; refutation theorems; temporal reasoning model; Automatic logic units; Calculus; Constraint theory; Fuzzy logic; Fuzzy reasoning; Knowledge representation; Possibility theory; Proposals; Solid modeling; Uncertainty; Constraint satisfaction; fuzzy logic; knowledge representation; possibility theory; soundness and completeness of logic; temporal logic; temporal reasoning; uncertainty; Algorithms; Computer Simulation; Fuzzy Logic; Logistic Models; Models, Statistical; Time Factors;
Journal_Title :
Systems, Man, and Cybernetics, Part B: Cybernetics, IEEE Transactions on
DOI :
10.1109/TSMCB.2005.856146
