Justificatory and Explanatory Argumentation for Committing Agents

TL;DR

This paper introduces a logic-based framework for agents to justify and explain their commitments and actions, integrating normative and explicative discourse through a formal logic system.

Contribution

It proposes a novel Justification and Explanation Logic (JEL) that formalizes how agents justify and explain their commitments and actions in social interactions.

Findings

JEL effectively models justificatory and explanatory patterns.

The framework captures normative and explicative discourse in agent communication.

Demonstrates the integration of explanations and justifications in agent commitments.

Abstract

In the interaction between agents we can have an explicative discourse, when communicating preferences or intentions, and a normative discourse, when considering normative knowledge. For justifying their actions our agents are endowed with a Justification and Explanation Logic (JEL), capable to cover both the justification for their commitments and explanations why they had to act in that way, due to the current situation in the environment. Social commitments are used to formalise justificatory and explanatory patterns. The combination of ex- planation, justification, and commitments