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