PAARL: An Interactive System for Policy-Aware Planning in Autonomous Agents (System Description)
This paper presents a system for step-by-step reasoning and planning in policy-aware autonomous agents. Such agents operate in environments governed by policies and norms, where achieving critical goals may require selectively violating policies while accounting for associated penalties. Unlike prior approaches that primarily enforce compliance, our system supports reasoning about trade-offs between policy compliance, goal urgency, and execution cost during planning. The system extends the AAA (observe–diagnose–plan–execute) agent architecture with policy-aware planning capabilities based on declarative reasoning in Answer Set Programming (ASP). At each step, the agent evaluates alternative plans, estimates policy violations and penalties, and selects actions according to a desired level of compliance. The implemented prototype offers an interactive interface through which users can inject observations at different time points and inspect the agent’s reasoning process, including generated plans, projected completion times, potential policy violations, and explanatory diagnoses. By combining planning, diagnosis, and policy-aware reasoning in a unified declarative framework, the system demonstrates how logic-based approaches can support transparent and explainable autonomous decision making in dynamic environments.
Fri 28 AugDisplayed time zone: Eastern Time (US & Canada) change
14:00 - 15:30 | |||
14:00 30mTalk | Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI LOPSTR+PPDP Ehud Shapiro London School of Economics | ||
14:30 30mTalk | PAARL: An Interactive System for Policy-Aware Planning in Autonomous Agents (System Description) LOPSTR+PPDP | ||
15:00 30mTalk | Backwards Compatibility of Conditional Literals LOPSTR+PPDP Zachary Hansen Boise State University | ||