Comparando las capacidades de razonamiento de las teorías de equilibrio y los programas de conjunto de respuestas
Autores: Fandinno, Jorge; Pearce, David; Vidal, Concepción; Woltran, Stefan
Idioma: Inglés
Editor: MDPI
Año: 2022
Acceso abierto
Artículo científico
2022
Comparando las capacidades de razonamiento de las teorías de equilibrio y los programas de conjunto de respuestas
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería de Software
Palabras clave
Programación de conjuntos de respuestas
Lógica de equilibrio
Inteligencia artificial
Representación del conocimiento
Resolución de problemas
Respuesta a consultas
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 39
Citaciones: Sin citaciones
La Programación de Conjuntos de Respuestas (ASP) es un enfoque lógico bien establecido en inteligencia artificial que se utiliza ampliamente para la representación del conocimiento y la resolución de problemas. La lógica de equilibrio extiende la semántica de conjuntos de respuestas a clases más generales de programas y teorías.
Descripción
La Programación de Conjuntos de Respuestas (ASP) es un enfoque lógico bien establecido en inteligencia artificial que se utiliza ampliamente para la representación del conocimiento y la resolución de problemas. La lógica de equilibrio extiende la semántica de conjuntos de respuestas a clases más generales de programas y teorías.