Some modal logics associated to the reasoning of intelligent agents

Vista sencilla de Ă­tem
dc.citation.epage45
dc.citation.issue7
dc.citation.journalAbbreviatedTitleing.cienc.eng
dc.citation.journalTitleIngenierĂ­a y Cienciaeng
dc.citation.spage23
dc.citation.volume4
dc.contributor.affiliationUniversidad EAFITspa
dc.contributor.authorRĂșa M., Gloriaspa
dc.contributor.authorSierra A., Manuelspa
dc.coverage.spatialMedellĂ­n de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degreeseng
dc.date2008-06-10
dc.date.accessioned2019-11-22T19:10:48Z
dc.date.available2019-11-22T19:10:48Z
dc.date.issued2008-06-10
dc.descriptionThe hierarchies of systems SCR – nT4, SCR – nT5 and SCR – nD45 are presented with n> 3, in which the notion of belief is formalized in the sense of justified belief, knowledge and conviction respectively, resulting in systems of Doxástic and epistemic logics in which the problem of logical omniscience can be partially controlled. The systems are characterized with Kripke-style semantics, in which the length of the possible world chains is restricted depending on the type of reasoner. Thus, the depth of a model corresponds to the maximum length of the chains of possible worlds that appear in the model, resulting in the models of depth n being associated with the deductive systems SCR-nT4, SCR-nT5 and SCR-nD45.eng
dc.descriptionSe presentan las jerarquĂ­as de sistemas SCR–nT4, SCR–nT5 y SCR–nD45 con n > 3, en las cuales se formaliza la nociĂłn de creencia en el sentido de creencia justificada, de conocimiento y de convicciĂłn respectivamente, dando como resultado sistemas de lĂłgicas doxĂĄsticas y epistĂ©micas en los cuales el problema de la omnisciencia lĂłgica puede ser parcialmente controlado. Los sistemas son caracterizados con semÂŽanticas al estilo Kripke, en las cuales, la longitud de las cadenas de mundos posibles se encuentra restringida en funciĂłn del tipo de razonador. AsĂ­, la profundidad de un modelo corresponde a la longitud mĂĄxima de las cadenas de mundos posibles que figuren en el modelo, resultando que los modelos de profundidad n se encuentran asociados a los sistemas deductivos SCR–nT4, SCR–nT5 y SCR–nD45.spa
dc.formatapplication/pdf
dc.identifier.issn2256-4314
dc.identifier.issn1794-9165
dc.identifier.urihttp://hdl.handle.net/10784/14526
dc.language.isospaspa
dc.publisherUniversidad EAFITspa
dc.relation.isversionofhttp://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/226
dc.relation.urihttp://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/226
dc.rightsCopyright (c) 2008 Gloria RĂșa M., Manuel Sierra A.eng
dc.rights.accessrightsinfo:eu-repo/semantics/openAccesseng
dc.rights.localAcceso abiertospa
dc.sourceinstname:Universidad EAFIT
dc.sourcereponame:Repositorio Institucional Universidad EAFIT
dc.sourceIngenierĂ­a y Ciencia; Vol 4, No 7 (2008)spa
dc.subject.keywordAgenteng
dc.subject.keywordReasonereng
dc.subject.keywordBeliefeng
dc.subject.keywordModal Logiceng
dc.subject.keywordLogical Omniscienceeng
dc.subject.keywordDoxastic Logiceng
dc.subject.keywordEpistemic Logiceng
dc.subject.keywordKripke Modelseng
dc.subject.keywordAgentespa
dc.subject.keywordRazonadorspa
dc.subject.keywordCreenciaspa
dc.subject.keywordLĂłgica Modalspa
dc.subject.keywordOmnisciencia LĂłgicaspa
dc.subject.keywordLĂłgica DoxĂĄsticaspa
dc.subject.keywordLógica Epistémicaspa
dc.subject.keywordModelos De Kripkespa
dc.titleSome modal logics associated to the reasoning of intelligent agentseng
dc.titleAlgunas lĂłgicas modales asociadas al razonamiento de agentes inteligentesspa
dc.typearticleeng
dc.typeinfo:eu-repo/semantics/articleeng
dc.typepublishedVersioneng
dc.typeinfo:eu-repo/semantics/publishedVersioneng
dc.type.localArtĂ­culospa

Archivos

Bloque original
Mostrando 1 - 2 de 2
No hay miniatura disponible
Nombre:
document (4).pdf
Tamaño:
211.17 KB
Formato:
Adobe Portable Document Format
DescripciĂłn:
Texto completo PDF
Descargar
No hay miniatura disponible
Nombre:
articulo.html
Tamaño:
373 B
Formato:
Hypertext Markup Language
DescripciĂłn:
Texto completo HTML
Descargar

Colecciones

IngenierĂ­a y Ciencia, Vol. 04, NĂșm. 07 (2008)