Local logics for distributed systems

• Autores: Julio Ostalé García
• Localización: XII Conferencia de la Asociación Española para la Inteligencia Artificial: (CAEPIA 2007). Actas / coord. por Daniel Borrajo Millán, Luis Castillo Vidal, Juan Manuel Corchado Rodríguez, Vol. 2, 2007, ISBN 978-84-611-8848-2, págs. 355-359
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • Presentamos la teoría de canales de Barwise y Seligman, una teoría lógica que se ocupa del flujo de información al preguntarse cómo es posible que unas situaciones (sistemas, procesos, entidades...) aporten información sobre otras que eventualmente permanecen distantes en tiempo y espacio de aquellas. Recientemente se han querido ver tales situaciones como ontologías, dando así lugar a un programa de investigación donde la teoría de canales puede ser utilizada como herramienta lógica en el desarrollo de la web semántica. He reelaborado la teoría de canales en mi trabajo de grado Local Logics for Distributed Systems, defendido en el Dpto. de Filosofía de la USAL en diciembre de 2006 bajo la supervisión de la Prof. María Manzano. Mi principal contribución fue acentuar la dimensión lógica de la teoría (i.e. aspectos relativos a la necesidad de un lenguaje formal y a las peculiaridades de la inferencia en aquella teoría), ya que la presentación estándar es eminentemente algebraica y con el acento puesto en la interpretación semántica de las inferencias.