5 papers
Complex Autonomous UAV Task Execution and Decision-Making With s(CASP)
Keegan Kimbrell, Alexis R. Tudor, Peter Van +3
Autonomous unmanned aerial vehicles (UAVs) must operate safely in dynamic environments and adapt to changing mission conditions. Although deep learning approaches have shown strong…
Modeling Deontic Modal Logic in ASP
Gopal Gupta, Abhiramon Rajasekharan, Alexis R. Tudor +2
We consider the problem of implementing deontic modal logic. We show how (deontic) modal operators can be elegantly and directly expressed using default negation (negation-as-failu…
VECSR: Virtually Embodied Common Sense Reasoning System
Alexis R. Tudor, JoaquÃn Arias, Gopal Gupta
The development of autonomous agents has seen a revival of enthusiasm due to the emergence of LLMs, such as GPT-4o. Deploying these agents in environments where they coexist with h…
Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
Alexis R. Tudor, Yankai Zeng, Huaduo Wang +2
Current advances in AI and its applicability have highlighted the need to ensure its trustworthiness for legal, ethical, and even commercial reasons. Sub-symbolic machine learning…
Autonomous Task Completion Based on Goal-directed Answer Set Programming
Alexis R. Tudor
Task planning for autonomous agents has typically been done using deep learning models and simulation-based reinforcement learning. This research proposes combining inductive learn…