Razonamiento espacial cualitativo con relaciones cardinales basado en problemas de satisfacción de restricciones y lógicas modales


Author

Morales Nicolás, Antonio

Director

Navarrete Sánchez, Isabel María

Sciavicco, Guido

Date of defense

2010-06-18

ISBN

9788469380307

Legal Deposit

MU-1834-2010



Department/Institute

Universidad de Murcia. Departamento de Ingeniería de la Información y las Comunicaciones

Abstract

El objetivo de esta tesis es proponer mejoras en modelos existentes de razonamiento espacial cualitativo con relaciones cardinales, y proponer nuevos modelos y técnicas de razonamiento utilizando algunos resultados previos del razonamiento temporal cualitativo. Los modelos propuestos se basan en dos formalismos muy utilizados para razonamiento cualitativo: los Problemas de Satisfacción de Restricciones y las Lógicas Modales.


The main goal of this PhD Thesis is to propose improvements to existing models for qualitative spatial reasoning with cardinal direction relations, and to propose new models and reasoning techniques using some previous results from qualitative temporal reasoning. The proposed models are based on two widely used formalisms for Qualitative Reasoning: Constraint Satisfaction Problems and Modal Logics.

Keywords

Modal Logics; Constraint Satisfaction Problems; Lógicas Modales Qualitative Spatial Reasoning; Problemas de Satisfacción de Restricciones; Razonamiento Espacial Cualitativo

Subjects

004 - Computer science and technology. Computing. Data processing; 16 - Logic. Epistemology. Theory of knowledge. Methodology of logic ; 512 - Algebra

Knowledge Area

Inteligencia Artificial

Documents

MoralesNicolas.pdf

4.058Mb

 

Rights

ADVERTENCIA. El acceso a los contenidos de esta tesis doctoral y su utilización debe respetar los derechos de la persona autora. Puede ser utilizada para consulta o estudio personal, así como en actividades o materiales de investigación y docencia en los términos establecidos en el art. 32 del Texto Refundido de la Ley de Propiedad Intelectual (RDL 1/1996). Para otros usos se requiere la autorización previa y expresa de la persona autora. En cualquier caso, en la utilización de sus contenidos se deberá indicar de forma clara el nombre y apellidos de la persona autora y el título de la tesis doctoral. No se autoriza su reproducción u otras formas de explotación efectuadas con fines lucrativos ni su comunicación pública desde un sitio ajeno al servicio TDR. Tampoco se autoriza la presentación de su contenido en una ventana o marco ajeno a TDR (framing). Esta reserva de derechos afecta tanto al contenido de la tesis como a sus resúmenes e índices.

This item appears in the following Collection(s)