Buchumschlag

Algunas lógicas modales asociadas al razonamiento de agentes inteligentes

Fuente: Redalyc

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Manuel Sierra A.
Format:	Artículo científico
Sprache:	es
Veröffentlicht:	Universidad EAFIT 2008
Schlagworte:	Ingeniería Agente creencia razonador lógica modal lógica doxástica
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

_version_	1876469248224657408
author	Manuel Sierra A.
author_facet	Manuel Sierra A.
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
format	Artículo científico
id	redalyc_83540702
institution	Redalyc
language	es
publishDate	2008
publisher	Universidad EAFIT
spellingShingle	Algunas lógicas modales asociadas al razonamiento de agentes inteligentes Manuel Sierra A. Ingeniería Agente creencia razonador lógica modal lógica doxástica 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
title	Algunas lógicas modales asociadas al razonamiento de agentes inteligentes
topic	Ingeniería Agente creencia razonador lógica modal lógica doxástica
url	https://www.redalyc.org/articulo.oa?id=83540702