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

Computing multiple-valued logic programs.

Título inglés Computing multiple-valued logic programs.
Título español Programas de cálculo con lógica multivaluada.
Autor/es Lu, James J. ; Calmet, Jacques ; Schü, Joachim
Organización Dep. Comput. Sci. Bucknell Univ., Lewisburg (Pennsylvania), Estados Unidos;Dep. Comput. Sci. Inst. Algorith. Cognit. Syst. Univ. Karlsruhe, Karlsruhe, Alemania
Revista 1134-5632
Publicación 1997, 4 (2): 129-153, 33 Ref.
Tipo de documento articulo
Idioma Inglés
Resumen inglés The logic of signed formula can be used to reason about a wide variety of multiple-valued logics [Häh94b, LMR97]. The formal theoretical foundation of multiple-valued logic programming based on signed formulas is set forth in [Lu96]. The current paper is an investigation into the operational semantics of such signed logic programming. The connection of signed logic programming to constraint logic programming is presented, search space issues are briefly discussed for both general and special cases, and applications to bilattice logic programming and truth-maintenance are analyzed.
Clasificación UNESCO 120304 ; 110214
Palabras clave español Programación lógica ; Lógica multivaluada ; Inteligencia artificial ; Signatura ; Formulación
Código MathReviews MR1621910
Código Z-Math Zbl 0880.68014
Icono pdf Acceso al artículo completo
Equipo DML-E
Instituto de Ciencias Matemáticas (ICMAT - CSIC)
rmm()icmat.es