Some modal logics associated to the reasoning of intelligent agents

The 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 omnisc...

Full description

Autores:
Rúa M., Gloria
Sierra A., Manuel
Tipo de recurso:
Fecha de publicación:
2008
Institución:
Universidad EAFIT
Repositorio:
Repositorio EAFIT
Idioma:
spa
OAI Identifier:
oai:repository.eafit.edu.co:10784/14526
Acceso en línea:
http://hdl.handle.net/10784/14526
Palabra clave:
Agent
Reasoner
Belief
Modal Logic
Logical Omniscience
Doxastic Logic
Epistemic Logic
Kripke Models
Agente
Razonador
Creencia
Lógica Modal
Omnisciencia Lógica
Lógica Doxástica
Lógica Epistémica
Modelos De Kripke
Rights
License
Copyright (c) 2008 Gloria Rúa M., Manuel Sierra A.
id REPOEAFIT2_fa5e6cfccff8c0ef97a71a9199acec25
oai_identifier_str oai:repository.eafit.edu.co:10784/14526
network_acronym_str REPOEAFIT2
network_name_str Repositorio EAFIT
repository_id_str
spelling Medellí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 degrees2008-06-102019-11-22T19:10:48Z2008-06-102019-11-22T19:10:48Z2256-43141794-9165http://hdl.handle.net/10784/14526The 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.Se 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.application/pdfspaUniversidad EAFIThttp://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/226http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/226Copyright (c) 2008 Gloria Rúa M., Manuel Sierra A.Acceso abiertohttp://purl.org/coar/access_right/c_abf2instname:Universidad EAFITreponame:Repositorio Institucional Universidad EAFITIngeniería y Ciencia; Vol 4, No 7 (2008)Some modal logics associated to the reasoning of intelligent agentsAlgunas lógicas modales asociadas al razonamiento de agentes inteligentesarticleinfo:eu-repo/semantics/articlepublishedVersioninfo:eu-repo/semantics/publishedVersionArtículohttp://purl.org/coar/version/c_970fb48d4fbd8a85http://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1AgentReasonerBeliefModal LogicLogical OmniscienceDoxastic LogicEpistemic LogicKripke ModelsAgenteRazonadorCreenciaLógica ModalOmnisciencia LógicaLógica DoxásticaLógica EpistémicaModelos De KripkeRúa M., GloriaSierra A., ManuelUniversidad EAFITIngeniería y Ciencia472345ing.cienc.THUMBNAILminaitura-ig_Mesa de trabajo 1.jpgminaitura-ig_Mesa de trabajo 1.jpgimage/jpeg265796https://repository.eafit.edu.co/bitstreams/5ab0745f-ffc0-49ee-bbd1-ff8ad3f8c30a/downloadda9b21a5c7e00c7f1127cef8e97035e0MD51ORIGINALdocument (4).pdfdocument (4).pdfTexto completo PDFapplication/pdf216242https://repository.eafit.edu.co/bitstreams/54f2a6ce-db09-4d97-b0cc-0dde4b212327/download4b2ca48feacc116e94349f01dcfd2207MD52articulo.htmlarticulo.htmlTexto completo HTMLtext/html373https://repository.eafit.edu.co/bitstreams/0adfdec7-a565-403a-9417-f80826c0bbde/download76e5c5eaf88ddf29949ff7c9fa7e0b56MD5310784/14526oai:repository.eafit.edu.co:10784/145262020-03-02 23:10:42.3open.accesshttps://repository.eafit.edu.coRepositorio Institucional Universidad EAFITrepositorio@eafit.edu.co
dc.title.eng.fl_str_mv Some modal logics associated to the reasoning of intelligent agents
dc.title.spa.fl_str_mv Algunas lógicas modales asociadas al razonamiento de agentes inteligentes
title Some modal logics associated to the reasoning of intelligent agents
spellingShingle Some modal logics associated to the reasoning of intelligent agents
Agent
Reasoner
Belief
Modal Logic
Logical Omniscience
Doxastic Logic
Epistemic Logic
Kripke Models
Agente
Razonador
Creencia
Lógica Modal
Omnisciencia Lógica
Lógica Doxástica
Lógica Epistémica
Modelos De Kripke
title_short Some modal logics associated to the reasoning of intelligent agents
title_full Some modal logics associated to the reasoning of intelligent agents
title_fullStr Some modal logics associated to the reasoning of intelligent agents
title_full_unstemmed Some modal logics associated to the reasoning of intelligent agents
title_sort Some modal logics associated to the reasoning of intelligent agents
dc.creator.fl_str_mv Rúa M., Gloria
Sierra A., Manuel
dc.contributor.author.spa.fl_str_mv Rúa M., Gloria
Sierra A., Manuel
dc.contributor.affiliation.spa.fl_str_mv Universidad EAFIT
dc.subject.keyword.eng.fl_str_mv Agent
Reasoner
Belief
Modal Logic
Logical Omniscience
Doxastic Logic
Epistemic Logic
Kripke Models
topic Agent
Reasoner
Belief
Modal Logic
Logical Omniscience
Doxastic Logic
Epistemic Logic
Kripke Models
Agente
Razonador
Creencia
Lógica Modal
Omnisciencia Lógica
Lógica Doxástica
Lógica Epistémica
Modelos De Kripke
dc.subject.keyword.spa.fl_str_mv Agente
Razonador
Creencia
Lógica Modal
Omnisciencia Lógica
Lógica Doxástica
Lógica Epistémica
Modelos De Kripke
description The 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.
publishDate 2008
dc.date.issued.none.fl_str_mv 2008-06-10
dc.date.available.none.fl_str_mv 2019-11-22T19:10:48Z
dc.date.accessioned.none.fl_str_mv 2019-11-22T19:10:48Z
dc.date.none.fl_str_mv 2008-06-10
dc.type.eng.fl_str_mv article
info:eu-repo/semantics/article
publishedVersion
info:eu-repo/semantics/publishedVersion
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_6501
http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.local.spa.fl_str_mv Artículo
status_str publishedVersion
dc.identifier.issn.none.fl_str_mv 2256-4314
1794-9165
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/10784/14526
identifier_str_mv 2256-4314
1794-9165
url http://hdl.handle.net/10784/14526
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.isversionof.none.fl_str_mv http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/226
dc.relation.uri.none.fl_str_mv http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/226
dc.rights.eng.fl_str_mv Copyright (c) 2008 Gloria Rúa M., Manuel Sierra A.
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.local.spa.fl_str_mv Acceso abierto
rights_invalid_str_mv Copyright (c) 2008 Gloria Rúa M., Manuel Sierra A.
Acceso abierto
http://purl.org/coar/access_right/c_abf2
dc.format.none.fl_str_mv application/pdf
dc.coverage.spatial.eng.fl_str_mv Medellí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 degrees
dc.publisher.spa.fl_str_mv Universidad EAFIT
dc.source.none.fl_str_mv instname:Universidad EAFIT
reponame:Repositorio Institucional Universidad EAFIT
dc.source.spa.fl_str_mv Ingeniería y Ciencia; Vol 4, No 7 (2008)
instname_str Universidad EAFIT
institution Universidad EAFIT
reponame_str Repositorio Institucional Universidad EAFIT
collection Repositorio Institucional Universidad EAFIT
bitstream.url.fl_str_mv https://repository.eafit.edu.co/bitstreams/5ab0745f-ffc0-49ee-bbd1-ff8ad3f8c30a/download
https://repository.eafit.edu.co/bitstreams/54f2a6ce-db09-4d97-b0cc-0dde4b212327/download
https://repository.eafit.edu.co/bitstreams/0adfdec7-a565-403a-9417-f80826c0bbde/download
bitstream.checksum.fl_str_mv da9b21a5c7e00c7f1127cef8e97035e0
4b2ca48feacc116e94349f01dcfd2207
76e5c5eaf88ddf29949ff7c9fa7e0b56
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad EAFIT
repository.mail.fl_str_mv repositorio@eafit.edu.co
_version_ 1814110190160576512

Publicaciones similares