Algunas lógicas modales asociadas al razonamiento de agentes inteligentes
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 e...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad EAFIT
2008-06-01
|
| Series: | Ingeniería y Ciencia |
| Subjects: | |
| Online Access: | http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/226 |