ACM Transactions on Autonomous and Adaptive Systems · 2019 · 15 citations · 43 references
HumanitiesDecision SciencesConflict ResolutionDecision AnalysisKnowledge RepresentationArgumentationArgumentation TheoryAutomated ReasoningGoal PlanningPractical ReasoningTemporal LogicAgent PlanningAgent ReasoningArgumentation-based Decision SupportNormative Reasoning
In a normative environment, an agent’s actions are directed not only by its goals but also by the norms activated by its actions and those of other actors. The potential for conflict between agent goals and norms makes decision making challenging, in that it requires looking ahead to consider the longer-term consequences of which goal to satisfy or which norm to comply with in face of conflict. We therefore seek to determine the actions an agent should select at each point in time, taking account of its temporal goals, norms, and their conflicts. We propose a solution in which a normative planning problem is the basis for practical reasoning based on argumentation. Various types of conflict within goals, within norms, and between goals and norms are identified based on temporal properties of these entities. The properties of the best plan(s) with respect to goal achievement and norm compliance are mapped to arguments, followed by mapping their conflicts to attack between arguments, all of which are used to identify why a plan is justified.
43
The stable model semantics for logic programming
Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations
BDI Agents: From Theory to Practice
1995 · 2.4K citations
Fast planning through planning graph analysis
Avrim Blum, Merrick L. Furst · Artificial Intelligence · 1997 · 1.6K citations