Mostra el registre d'ítem simple

dc.contributor.authorKlawonn, Frank
dc.contributor.authorKruse, Rudolf
dc.date.accessioned2007-03-02T18:07:22Z
dc.date.available2007-03-02T18:07:22Z
dc.date.issued1994
dc.identifier.issn1134-5632
dc.identifier.urihttp://hdl.handle.net/2099/2435
dc.description.abstractProlog 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.
dc.format.extent25
dc.language.isoeng
dc.publisherUniversitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
dc.relation.ispartofMathware & soft computing. 1994 Vol. 1 Núm. 1 p. 5-29.
dc.rightsReconeixement-NoComercial-CompartirIgual 3.0 Espanya
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subject.otherProlog
dc.subject.otherLogic
dc.subject.otherLOLOG
dc.subject.otherUlam game
dc.titleLukasiewicz logic based Prolog
dc.typeArticle
dc.subject.lemacLògica matemàtica
dc.subject.lemacProlog (Llenguatge de programació)
dc.subject.amsClassificació AMS::68 Computer science::68N Software
dc.rights.accessOpen Access
 Find Full text

Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple

Llevat que s'hi indiqui el contrari, els continguts d'aquesta obra estan subjectes a la llicència de Creative Commons: Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya