Computing multiple-valued logic programs

The logic of signed formula can be used to reason about a wide variety of multiple-valued logics \cite{hah94,lmr96}. The formal theoretical foundation of multiple-valued logic programming based on signed formulas is set forth in \cite{lu96}. The current paper is an investigation into the operational...

Descripción completa

Detalles Bibliográficos
Autores: Lu, James J., Calmet, Jacques, Schü, Joachim
Tipo de recurso: artículo
Fecha de publicación:1997
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2099/3488
Acceso en línea:https://hdl.handle.net/2099/3488
Access Level:acceso abierto
Palabra clave:Logic for artificial intelligence
Multiple-valued logic
Signed formula
Constraint logic programming
Truth-maintenance
Bilattices
Lògica matemàtica
Classificació AMS::03 Mathematical logic and foundations::03B General logic
id ES_2cacdfc12361cac650fffdea1d8a03e6
oai_identifier_str oai:upcommons.upc.edu:2099/3488
network_acronym_str ES
network_name_str España
repository_id_str
spelling Computing multiple-valued logic programsLu, James J.Calmet, JacquesSchü, JoachimLogic for artificial intelligenceMultiple-valued logicSigned formulaConstraint logic programmingTruth-maintenanceBilatticesLògica matemàticaClassificació AMS::03 Mathematical logic and foundations::03B General logicThe logic of signed formula can be used to reason about a wide variety of multiple-valued logics \cite{hah94,lmr96}. The formal theoretical foundation of multiple-valued logic programming based on signed formulas is set forth in \cite{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.Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica19971997-01-0120072007-09-14journal articlehttp://purl.org/coar/resource_type/c_6501NAhttp://purl.org/coar/version/c_be7fb7dd8ff6fe43info:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/2099/3488reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2http://creativecommons.org/licenses/by-nc-nd/3.0/es/info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2099/34882026-05-27T15:37:01Z
dc.title.none.fl_str_mv Computing multiple-valued logic programs
title Computing multiple-valued logic programs
spellingShingle Computing multiple-valued logic programs
Lu, James J.
Logic for artificial intelligence
Multiple-valued logic
Signed formula
Constraint logic programming
Truth-maintenance
Bilattices
Lògica matemàtica
Classificació AMS::03 Mathematical logic and foundations::03B General logic
title_short Computing multiple-valued logic programs
title_full Computing multiple-valued logic programs
title_fullStr Computing multiple-valued logic programs
title_full_unstemmed Computing multiple-valued logic programs
title_sort Computing multiple-valued logic programs
dc.creator.none.fl_str_mv Lu, James J.
Calmet, Jacques
Schü, Joachim
author Lu, James J.
author_facet Lu, James J.
Calmet, Jacques
Schü, Joachim
author_role author
author2 Calmet, Jacques
Schü, Joachim
author2_role author
author
dc.subject.none.fl_str_mv Logic for artificial intelligence
Multiple-valued logic
Signed formula
Constraint logic programming
Truth-maintenance
Bilattices
Lògica matemàtica
Classificació AMS::03 Mathematical logic and foundations::03B General logic
topic Logic for artificial intelligence
Multiple-valued logic
Signed formula
Constraint logic programming
Truth-maintenance
Bilattices
Lògica matemàtica
Classificació AMS::03 Mathematical logic and foundations::03B General logic
description The logic of signed formula can be used to reason about a wide variety of multiple-valued logics \cite{hah94,lmr96}. The formal theoretical foundation of multiple-valued logic programming based on signed formulas is set forth in \cite{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.
publishDate 1997
dc.date.none.fl_str_mv 1997
1997-01-01
2007
2007-09-14
dc.type.none.fl_str_mv journal article
http://purl.org/coar/resource_type/c_6501
NA
http://purl.org/coar/version/c_be7fb7dd8ff6fe43
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://hdl.handle.net/2099/3488
url https://hdl.handle.net/2099/3488
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2

http://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2

http://creativecommons.org/licenses/by-nc-nd/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
publisher.none.fl_str_mv Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869405257243557888
score 15,300719

Similares en LA Referencia