Autonomous Task Completion Based on Goal-directed Answer Set Programming

Task planning for autonomous agents has typically been done using deep learning models and simulation-based reinforcement learning. This research proposes combining inductive learning techniques with goal-directed answer set programming to increase the explainability and reliability of systems for task breakdown and completion. Preliminary research has led to the creation of a Python harness that utilizes s(CASP) to solve task problems in a computationally efficient way. Although this research is in the early stages, we are exploring solutions to complex problems in simulated task completion.

Authors

Publication Details

Journal
Electronic Proceedings in Theoretical Computer Science
Published
2025-02-11
DOI
https://doi.org/10.4204/eptcs.416.39
Primary Topic
Logic, Reasoning, and Knowledge
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Autonomous Task Completion Based on Goal-directed Answer Set Programming

Alexis R. Tudor
1 links
Electronic Proceedings in Theoretical Computer Science
Logic, Reasoning, and Knowledge
article

Autonomous Task Completion Based on Goal-directed Answer Set Programming

Alexis R. Tudor
article en

Abstract

Task planning for autonomous agents has typically been done using deep learning models and simulation-based reinforcement learning. This research proposes combining inductive learning techniques with goal-directed answer set programming to increase the explainability and reliability of systems for task breakdown and completion. Preliminary research has led to the creation of a Python harness that utilizes s(CASP) to solve task problems in a computationally efficient way. Although this research is in the early stages, we are exploring solutions to complex problems in simulated task completion.

Electronic Proceedings in Theoretical Computer ScienceVol. 416
Openalex Percentile: Top 99%
Logic, Reasoning, and Knowledge
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Autonomous Task Completion Based on Goal-directed Answer Set Programming — Alexis R. Tudor · Electronic Proceedings in Theoretical Computer Science (2025) | TGRS Research Map | TGRS