Razonamiento espacio-temporal

El razonamiento espacio-temporal es un área de la inteligencia artificial que se nutre de los campos de la informática , la ciencia cognitiva y la psicología cognitiva . El objetivo teórico (del lado cognitivo) implica representar y razonar el conocimiento espacio-temporal en la mente. El objetivo aplicado (del lado informático) implica desarrollar sistemas de control de alto nivel de autómatas para navegar y comprender el tiempo y el espacio.

Un resultado convergente en psicología cognitiva es que la relación de conexión es la primera relación espacial que adquieren los bebés humanos, seguida de la comprensión de las relaciones de orientación y de las relaciones de distancia. Las relaciones internas entre los tres tipos de relaciones espaciales se pueden explicar computacional y sistemáticamente dentro de la teoría del prisma cognitivo de la siguiente manera:

1. La relación de conexión es primitiva;
2. Una relación de orientación es una relación de comparación de distancias: el hecho de que tú estés frente a mí puede interpretarse como que estás más cerca de mi lado frontal que de mis otros lados;
3. Una relación de distancia es una relación de conexión que utiliza un tercer objeto: que tú estés a un metro de mí puede interpretarse como que un objeto de un metro de largo está conectado contigo y conmigo simultáneamente.

Sin abordar las relaciones internas entre las relaciones espaciales, los investigadores de IA aportaron muchas representaciones fragmentarias. Entre los ejemplos de cálculos temporales se incluyen el álgebra de intervalos de Allen y el álgebra de puntos de Vilain y Kautz. Los cálculos espaciales más destacados son los cálculos mereotopológicos , el cálculo de direcciones cardinales de Frank , el cálculo de doble cruz de Freksa, los cálculos de 4 y 9 intersecciones de Egenhofer y Franzosa, el cálculo flip-flop de Ligozat, varios cálculos de conexión de regiones (RCC) y el álgebra de relación de puntos orientados.

Recientemente se han diseñado cálculos espacio-temporales que combinan información espacial y temporal. Por ejemplo, el cálculo de restricciones espacio-temporales (STCC) de Gerevini y Nebel combina el álgebra de intervalos de Allen con RCC-8. Además, el cálculo de trayectorias cualitativo (QTC) permite razonar sobre objetos en movimiento.

En la literatura se ha hecho hincapié en el razonamiento espacio-temporal cualitativo , que se basa en abstracciones cualitativas de los aspectos temporales y espaciales del conocimiento de fondo de sentido común en el que se basa nuestra perspectiva humana de la realidad física. Metodológicamente, los cálculos de restricción cualitativos restringen el vocabulario de las ricas teorías matemáticas que tratan con entidades temporales o espaciales, de modo que los aspectos específicos de estas teorías se pueden tratar dentro de fragmentos decidibles con lenguajes cualitativos simples (no métricos ).

A diferencia de las teorías matemáticas o físicas sobre el espacio y el tiempo, los cálculos de restricción cualitativos permiten un razonamiento bastante económico sobre entidades ubicadas en el espacio y el tiempo. Por esta razón, la expresividad limitada de los cálculos de formalismo de representación cualitativo es una ventaja si dichas tareas de razonamiento deben integrarse en aplicaciones. Por ejemplo, algunos de estos cálculos pueden implementarse para manejar consultas SIG espaciales de manera eficiente y algunos pueden usarse para navegar y comunicarse con un robot móvil .

La mayoría de estos cálculos se pueden formalizar como álgebras relacionales abstractas , de modo que el razonamiento se puede llevar a cabo a nivel simbólico . Para calcular soluciones de una red de restricciones, el algoritmo de consistencia de trayectorias es una herramienta importante.

• GQR, solucionador de redes de restricciones para cálculos como RCC-5, RCC-8, álgebra de intervalos de Allen, álgebra de puntos, cálculo de direcciones cardinales, etc.
• qualreas es un marco de Python para razonamiento cualitativo sobre redes de álgebras de relación, como RCC-8, el álgebra de intervalos de Allen y el álgebra de Allen integradas con puntos de tiempo y situadas en el tiempo de ramificación izquierda o derecha.

• Corteza cerebral
• Razonamiento de sentido común
• Razonamiento diagramático
• Habilidad espacial
• Lógica temporal
• Pensamiento visual

• Renz, J.; Nebel, B. (2007). "Razonamiento espacial cualitativo mediante cálculos de restricciones" (PDF) . En Aiello, M.; Pratt-Hartmann, I.; van Benthem, J. (eds.). Manual de lógica espacial . Springer. ISBN. 9781402055867Archivado desde el original (PDF) el 27 de junio de 2007. Consultado el 1 de marzo de 2007 .
• Dong, T. (2008). "Un comentario sobre RCC: de RCC a RCC⁺⁺". Revista de lógica filosófica . 34 (2): 319– 352. doi :10.1007/s10992-007-9074-y. JSTOR  41217909. S2CID  6243376.
• Vilain, M.; Kautz, H.; van Beek, P. (1987). "Algoritmos de propagación de restricciones para razonamiento temporal: un informe revisado" . Lecturas sobre razonamiento cualitativo sobre sistemas físicos . Morgan Kaufmann Publishers. ISBN 1-55860-095-7.
• Dong, T. (2012). Reconocimiento de un entorno variable: la teoría del prisma cognitivo. Estudios en inteligencia computacional. Vol. 388. Springer-Verlag, Berlín Heidelberg. ISBN 9783642240577.

• Medios relacionados con Razonamiento espacio-temporal en Wikimedia Commons