Mostra el registre d'ítem simple

dc.contributor.authorNúñez Esquer, Gustavo
dc.contributor.authorAlvarado Mentado, Matías
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2016-01-29T14:27:21Z
dc.date.available2016-01-29T14:27:21Z
dc.date.issued1995-06
dc.identifier.citationNúñez, G., Alvarado, M.. "An approach to belief in strong Kleene logic". 1995.
dc.identifier.urihttp://hdl.handle.net/2117/82292
dc.description.abstractThree-valued Strong Kleene Logic provides an adequate framework to deal with belief change. In this paper, an undefined truth-value is used to denote opinionless information. Through an informative refinement, such information could become to be true or false in a step by step way. Our approach is based upon model frames, that are sets of informatively ordered three-valued interpretations. A relation of compatibility among frames, being a partial informative order, is defined. Belief change is accomplished by using the compatibility relation together with operations of concatenation and unification over model frames. Underline intuitions of our belief definition are the same as those using the Kripkean semantics of possible worlds. Syntactical characterization for ideal reasoning and logical omniscience are given, together with the one of limited reasoning. The first two topics, undesirable when modeling real agents of knowledge and belief, are avoided in the proposed approach.
dc.format.extent20 p.
dc.language.isoeng
dc.subjectÀrees temàtiques de la UPC::Informàtica
dc.subject.otherStrong Kleene logic
dc.subject.otherPossible worlds
dc.titleAn approach to belief in strong Kleene logic
dc.typeExternal research report
dc.rights.accessOpen Access
local.identifier.drac1835974
dc.description.versionPostprint (published version)
local.citation.authorAlvarado, M.; Núñez, G.


Fitxers d'aquest items

Thumbnail

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

Mostra el registre d'ítem simple