Saved in:
| Main Author: | |
|---|---|
| Format: | Artículo científico |
| Language: | es |
| Published: |
Universidad EAFIT
2008
|
| Subjects: | |
| Online Access: | https://www.redalyc.org/articulo.oa?id=83540702 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Algunas lógicas modales asociadas al razonamiento de agentes inteligentes Manuel Sierra A. Gloria Rúa M. Ingeniería Agente creencia razonador lógica modal lógica doxástica Se presentan las jerarquías de sistemas SCRnT4, SCRnT5 y SCRnD45 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ánticas 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 SCRnT4, SCRnT5 y SCRnD45. 2008 artículo científico 1794-9165 https://www.redalyc.org/articulo.oa?id=83540702 es http://www.redalyc.org/revista.oa?id=835 Ingeniería y Ciencia application/pdf Universidad EAFIT Ingeniería y Ciencia (Colombia) Num.7 Vol.4