Daily Arxiv

Esta página recopila y organiza artículos sobre inteligencia artificial publicados en todo el mundo.
La información aquí presentada se resume utilizando Google Gemini y el sitio se gestiona sin fines de lucro.
Los derechos de autor de los artículos pertenecen a sus autores y a las instituciones correspondientes; al compartir el contenido, basta con citar la fuente.

Sobre la estructura de la procedencia de los juegos y sus aplicaciones

Created by
  • Haebom

Autor

Shawn Bowers, Yilin Xia, Bertram Lud ascher

Describir

Este artículo estudia la procedencia en bases de datos desde una perspectiva de teoría de juegos. En particular, abordamos la procedencia en consultas de lógica de primer orden (FO) que implican negación, pero no recursión. Modelamos la evaluación de consultas como un juego de dos jugadores, donde estos discuten sobre qué tuplas se incluyen en el resultado. Este enfoque de teoría de juegos proporciona un modelo de procedencia natural que integra el rastreo de procedencia de cómo y por qué no. Estudiamos la estructura detallada del rastreo de procedencia de este juego e identificamos siete tipos de aristas que ocurren durante la resolución del juego, proponiendo nuevos tipos de rastreo de procedencia: latente, real y principal. Demostramos que no todos los movimientos son equivalentes, describimos los nuevos tipos de rastreo de procedencia, presentamos una metodología computacional y analizamos aplicaciones como un marco de argumentación abstracta.

Takeaways, Limitations

Takeaways:
Presentamos un modelo novedoso que integra el cómo y el por qué no del seguimiento del origen para consultas FO utilizando un enfoque de teoría de juegos.
Presentamos un nuevo modelo de rastreo de origen basado en siete tipos de bordes, que es más detallado que los modelos de rastreo de origen existentes.
Presentamos una forma eficiente de calcular un nuevo tipo de seguimiento del origen durante la resolución del juego.
Muestra aplicabilidad en varios campos, como el marco de argumento abstracto.
Limitations:
Actualmente, solo es aplicable a consultas FO que no incluyen recursividad. Se requiere mayor investigación sobre consultas recursivas.
Se necesitan más investigaciones para investigar la exhaustividad de los siete tipos de bordes presentados y su eficacia en sistemas de bases de datos reales.
Se necesitan análisis más profundos y evaluaciones experimentales de aplicaciones en el mundo real.
👍