| Título: |
Some modal logics associated to the reasoning of intelligent agents Algunas lógicas modales asociadas al razonamiento de agentes inteligentes |
| Autores: |
Rúa M., Gloria; Universidad EAFIT Sierra A., Manuel; Universidad EAFIT |
| Fecha: | 2008-06-10 |
| Publicador: | Revista Ingeniería y ciencia |
| Fuente: |
 |
| Tipo: |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion |
| Tema: |
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 |
| Descripción: |
The hierarchies of systems SCR–nT4, SCR–nT5 and SCR–nD45 with n > 3 are presented. In these systems the belief notion is formalized in the sense of justified belief, of knowledge and of conviction respectively, giving systems of doxastic and epistemic logics as a result where the problem of the logical omniscience can be partially controlled. The systems are characterized with Kripke-style semantics. In these semantics, the length of the possible world chains is restricted in function of reasoner’s type. Moreover, the depth of a model corresponds to the maxim length of the possible world chains that they figure in the model, being that the models of depth n are associated to the deductive systems SCR-nT4, SCR-nT5 and SCR-nD45. 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 problema de la omnisciencia lógica puede ser parcialmente controlado. Los sistemas son caracterizados con sem´anticas 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 SCR–nT4, SCR–nT5 y SCR–nD45. |
| Idioma: | Español |
1 Basic logic for true and false LBVF,Lógica básica para la verdad y la falsedad LBVF por Sierra A, Manuel; Universidad EAFIT | 6 El problema de π-geografía y el problema de Hurwitz,The π-geography problem and the Hurwitz problem por Cadavid-M., Carlos A; Universidad EAFIT,Vélez-C., Juan D.; Universidad Nacional de Colombia, Medellín |
2 Navegation system for tubular upper digestive tract,Sistema de navegación tubular para vías digestivas altas por Mora, Andrea Del Mar Casallas; Universidad Manuela Beltran,Serrato, Lerly Yulieth Amaris; Universidad Manuela Beltran,Gaitán, Cindy Lizeth Carvajal; Universidad Manuela Beltran,Cifuentes, Camilo Andrés Rojas; Universidad Manuela Beltran | 7 Product and Quotient of Independent Gauss Hypergeometric Variables,Producto y Cociente de Variables Independientes Hipergeométrica de Gauss por Nagar, Daya K; Universidad de Antioquia,Bedoya Valencia, Danilo |
3 | 8 Application of a Method Based in Performance for the Seismic Analysis and Design of Reinforced Concrete Bridges,Aplicación de un método basado en el desempeño para el análisis y diseño sismo resistente de puentes de concreto reforzado por Ospina, A; Alcaldía de Medellín,Urrego, H; AREA Ingenieros Consultores,Botero, J.C; Universidad EAFIT |
4 Estimación de la similitud semántica de tareas entre procesos de negocio de telecomunicaciones,Semantic similarity estimation of tasks between telecommunications business processes por Ordóñez Ante, Leandro; Grupo de Ingeniería Telemática Universidad del Cauca,Bastidas Narváez, Adriana X; Grupo de Ingeniería Telemática Universidad del Cauca,Corrales, Juan Carlos; Grupo de Ingeniería Telemática Universidad del Cauca | 9 Simulación de propiedades mecánicas demulticapas de Zr/ZrN y TiN/ZrNempleando el método de elementos finitos,Simulation of mechanical properties of Zr/ZrN and TiN/ZrN multilayers using the finite elements method por Aristizábal–Soto, H. D.; Universidad Nacional de Colombia,Agudelo, L. C.; Universidad Nacional de Colombia,Bedoya Hincapié, C. M.; Universidad Nacional de Colombia,Restrepo Parra, E.; Universidad Nacional de Colombia |
5 The popularization of science and science journalism,La divulgación de la ciencia y el periodismo científico por Mercado Percia, Heiner; Universidad EAFIT | 10 Desarrollo de una plataforma de diseño e ingeniería naval,Desarrollo de una plataforma de diseño e ingeniería naval por Leiceaga Baltar, Xoan A.; Universidade de Vigo,Prieto, J.; Universidade de Vigo,Rodríguez, M.; Universidade de Vigo,Zapatero, F. G.; Universidade de Vigo,Soto, E.; Universidade de Vigo,Teijeiro, M.; Universidade de Vigo. |