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

Descrición completa

Detalles Bibliográficos

Principais autores:	Gloria Rúa M., Manuel Sierra A.
Formato:	Artigo
Idioma:	Inglês
Publicado:	Universidad EAFIT 2008-06-01
Series:	Ingeniería y Ciencia
Assuntos:	agente razonador creencia lógica modal omnisciencia lógica lógica doxástica
Acceso en liña:	http://publicaciones.eafit.edu.co/index.php/ingciencia/article/view/226
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!