Mostra el registre d'ítem simple
Relative knowledge and belief: SKL preferred model frames
dc.contributor.author | Alvarado Mentado, Matías |
dc.date.accessioned | 2016-11-25T10:40:33Z |
dc.date.available | 2016-11-25T10:40:33Z |
dc.date.issued | 1994-02 |
dc.identifier.citation | Alvarado, M. "Relative knowledge and belief: SKL preferred model frames". 1994. |
dc.identifier.uri | http://hdl.handle.net/2117/97230 |
dc.description.abstract | The partial SKL**-logic, defined by P. Doherty in A Three-Valued Approach to Non-Monotonic Reasoning (1990) is based upon the three valued logic of S.C. Kleene. The logic of Doherty provides a flexible framework in defining, we hope in a suitable way, epistemic notions of Knowledge, Belief, Aposteriori Knowledge, and Potential Knowledge, together with some relations between them. The underlying ideas in our definitions of knowledge and belief are the same as those using the semantics of possible worlds proposed by J. Hintikka. Our definitions are constructive and recursive instead. Using the undefined truth value from SKL**, it allows a not known or not believed status for a sentence. |
dc.format.extent | 15 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | LSI-94-10-R |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject.other | Relative knowledge |
dc.subject.other | Relative belief |
dc.subject.other | SKL |
dc.subject.other | Entailment |
dc.subject.other | Recursivity |
dc.title | Relative knowledge and belief: SKL preferred model frames |
dc.type | External research report |
dc.rights.access | Open Access |
local.identifier.drac | 1835944 |
dc.description.version | Postprint (published version) |
local.citation.author | Alvarado, M. |