Presentación | Participantes | Bibliografía (DML-E) | Bibliografía adicional | Enlaces de interés | Otros proyectos DML | Ayuda  
INICIO | 28 de mayo de 2024

A Lukasiewicz logic based Prolog.

Título inglés A Lukasiewicz logic based Prolog.
Título español Sistema Prolog basado en una lógica de Lukasiewicz.
Autor/es Klawonn, Frank ; Kruse, Rudolf
Organización Dep. Comput. Sci. Univ. Braunschweig, Braunschweig, Alemania
Revista 1134-5632
Publicación 1994, 1 (1): 5-29, 31 Ref.
Tipo de documento articulo
Idioma Inglés
Resumen inglés Prolog is a programming language based on a restricted subset of classical first order predicate logic. In order to overcome some problems of classical logic to handle imperfect human knowledge, we provide a formal framework for a Lukasiewicz logic based Prolog system. The use of Lukasiewicz logic with its connection to Ulam games enables us to deal with partial inconsistencies by interpreting the truth values as relative distance to contradiction. We also present the software tool LULOG which is based on the theoretical results of this paper and can be seen as a Prolog system for many-valued logic. Applications of LULOG to an Ulam game and an example of reasoning with imperfect knowledge are also discussed.
Clasificación UNESCO 120323
Palabras clave español Lenguajes de programación ; Lógica difusa ; Prolog ; Inteligencia artificial
Código MathReviews MR1301958
Icono pdf Acceso al artículo completo
Equipo DML-E
Instituto de Ciencias Matemáticas (ICMAT - CSIC)