Efficient resolution mechanism for fuzzy temporal constraint logic

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn 2000-January, Issue , 2000, Pages 39-46

  Cardenas, M A ^a   Navarrete, I ^a   Marin, R ^a  

^a UNIVERSITY OF MURCIA   (Spain)

Author keywords

Cardiac disease; Electrical capacitance tomography; Fuzzy logic; Fuzzy sets; Heart; Intelligent systems; Ontologies; Patient monitoring; Uncertainty

Indexed keywords

COMPUTATIONAL LINGUISTICS; ELECTRIC IMPEDANCE TOMOGRAPHY; FORMAL LOGIC; FUZZY SETS; HEART; INTELLIGENT SYSTEMS; ONTOLOGY; PATIENT MONITORING;

ANSWERING QUERIES; CARDIAC DISEASE; ELECTRICAL CAPACITANCE TOMOGRAPHY; HEURISTIC EVALUATION FUNCTIONS; RESOLUTION MECHANISMS; RESOLUTION PRINCIPLE; TEMPORAL CONSTRAINTS; UNCERTAINTY;

FUZZY LOGIC;

EID: 4243548293     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2000.856583     Document Type: Conference Paper

References (15)

1. S. Barro, R. Marín, R.P. Otero, R. Ruíz, J. Mira. On the Handling of time in intelligent monitoring of CCU patients. Proceedings of the 14th Annual International Confe rence of the IEEE Engineering in Medicine and Biology Society (1992) 871-873.
2. S. Barro, R. Marín J. Mira, A.R. Patón. A model and a language for the fuzzy representation and handling of time. Fuzzy Sets and Systems, 61 153-175,1994.
3. M.A. Cárdenas, M. Balsa, J.T. Palma, R. Marín. Lógica de restricciones temporales borrosas: sintaxis y semántica. Proceedings of 6th Iberoamerican Confer ence on Artificial Intelligence IBERAMIA-98, Lisboa (Portugal), 6 a 9 de Octubre de 1998, Progress in Artificial Intelligence. Helder Coelho ed., pag. 147-158.
4. M.A. Cárdenas, R. Marín, I. Navarrete. Fuzzy Temporal Constraint Logic: A Valid Resolution Principle. Fuzzy Sets and Systems. In press, 1999.
5. R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter, A first Course in Formal Logic and its Applications in Computer Science, Blackwell Scientific Publications, 1986.
6. D. Dubois, H. Prade. Resolution principles in possibilistic logic. International Journal Approx. Reasoning, 4 (1990) 1-21.
7. D. Dubois, J. Lang, H. Prade. Timed possibilistic logic. Fund. Inf. XV (1991) 211-234.
8. D. Dubois, J. Lang, H. Prade. Possibilistic Logic. Handbook of Logic in Artificial Intel ligence and Logic Programming. D. M. Gabbay, C.J. Hogger, J.A. Robinson, eds., 1994, 3: 439-513.
9. H. B. Enderton, A Mathematical Introduction to Logic, Academic Press, New York, 1972.
10. S.C. Johnson, Yacc: Yet Another Compiler-Compiler, Computing Services Technical Report No. 32, Bell Laboratoires, Murray Hill, N.J., 1975.
11. Kaufmann A., Gupta M., Introduction to Fuzzy Arithmetic, Van Nostrand Reinhold, New York, 1985.
12. R. Marín, M.A. Cárdenas, M. Balsa, J.L. Sánchez. Obtainig Solutions in Fuzzy Constraint Networks. International Journal of Approximate Reasonig 16 3 -4, p. 261-288, 1997.
13. Y. Shoham, Reified Temporal Logics: Semantical and Ontological Considerations, in: Proc. 1986 European Conference on Artificial Intelligence, Society for the Stud y of Artificial Intelligence and Simulation of Behavior (ALSB), pp. 390-397, 1986.
14. L. Vila,L. Godo. On fuzzy temporal constraint networks Mathware and Soft Comput. 1(3) 315-334 1994.
15. Zadeh, L.A., Fuzzy sets as a basis for a theory of possibility, Fuzzy Sets and Systems, 1, 3-28, 1978.