Show simple item record

From belief to knowledge

dc.contributor.authorUridia, Levan
dc.date.accessioned2013-10-17T09:54:31Z
dc.date.available2013-10-17T09:54:31Z
dc.date.issued2012
dc.identifier.urihttp://hdl.handle.net/10115/11862
dc.descriptionTesis Doctoral leída en la Universidad Rey Juan Carlos de Madrid en 2012. Director de la Tesis: David Pearcees
dc.description.abstractLa combinación de la creencia y el conocimiento en un formalismo ha sido una problemática en epistemología. Un formalismo que cumple tal combinación una llamamos doxepi-formalismo. Existen varios doxepi-formalismos basados en lógica modal, donde la combinación razonable de operadores de creencia y conocimiento ocurren. Aunque en todos los existentes, vemos la tendencia a priorizar la lógica modal doxástica bien establecida y construir lógica epistémica de acuerdo con algunos principios que la lógica doxástica sugiere, es decir, el algoritmo es: tomar una lógica doxástica LD conocida y construir la lógica L que tiene un cierto sabor epistémico y mantiene una buena interrelación con LD. En este trabajo tomamos la dirección inversa y damos prioridad a las lógicas modales epistémicas conocidas. Así que nuestra fórmula, que también motiva el título, es: tomar una lógica conocida epistémica LE y encontrar una buena lógica doxástica L que se combina con LE de una manera suficiente. En la tesis cumplimos esta tarea para las lógicas S5 y S4 y estudiamos varios conceptos y doxepi-formalismos sobre la base de estas lógicas.es
dc.language.isoenges
dc.publisherUniversidad Rey Juan Carloses
dc.subjectInformáticaes
dc.titleFrom belief to knowledgees
dc.typeinfo:eu-repo/semantics/doctoralThesises
dc.rights.accessRightsinfo:eu-repo/semantics/openAccesses
dc.subject.unesco1203.17 Informáticaes
dc.subject.unesco11 Lógicaes
dc.description.departamentoArquitectura de Computadores y Ciencias de la Computación e Inteligencia Artificial


Files in this item

This item appears in the following Collection(s)

Show simple item record

Los ítems de digital-BURJC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario