Fuzzy temporal constraint logic: a valid resolution principle

In this work we propose a fuzzy temporal constraint logic. First of all, we provide the formal language which will allow the expression of well-formed formulas related to the temporal events by means of temporal constraints. Secondly, we introduce a valid resolution principle in order to solve the q...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Fuzzy sets and systems Ročník 117; číslo 2; s. 231 - 250
Hlavní autoři: CARDENAS VIEDMA, M. A, MARIN MORALES, R, NAVARRETE SANCHEZ, I
Médium: Journal Article
Jazyk:angličtina
Vydáno: Amsterdam Elsevier B.V 2001
Elsevier
Témata:
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Fuzzy temporal constraint
Fuzzy temporal reasoning
Logic programming
Mathematical logic, foundations, set theory
Mathematics
Possibility theory
Programming theory
Resolution principle
Sciences and techniques of general use
Set theory
Theoretical computing
Possibility theory
Logic programming
Resolution principle
Fuzzy temporal constraint
Fuzzy temporal reasoning
Fuzzy logic
Reasoning
Logical programming
Fuzzy constraint network
ISSN:0165-0114, 1872-6801
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:In this work we propose a fuzzy temporal constraint logic. First of all, we provide the formal language which will allow the expression of well-formed formulas related to the temporal events by means of temporal constraints. Secondly, we introduce a valid resolution principle in order to solve the queries in this logic. Finally, we will show that this resolution principle is a generalization of the resolution principle proposed for a possibilistic logic with fuzzy predicates (Dubois and Prade, Internat. J. Approx. Reason. 4 (1990) 1–21). All this will serve to reason within a context of the theoretical model of the temporal reasoning proposed by Marı́n and Barro (Fuzzy Temporal Constraint Network, FTCN) (Marı́n et al., Cybernet. Systems 25(2) (1994) 207–215). This model underlies a module for the resolution of temporal queries. This module belongs to a diagnostic and intelligent monitoring system of patients, based on temporal reasoning. The system is applied to the patients admitted in the Intensive Care Units with severe ischemic cardiopathy, submitted to continuous monitoring of the electrical and mechanical signals of the heart. However, what is exposed here in this document is not limited to a field of application in particular, but instead, it is completely general.
ISSN:0165-0114
1872-6801
DOI:10.1016/S0165-0114(99)00099-8