Defeasible Reasoning Between Conflicting Agents Based on VALPSN

摘要

We propose a method to model agents' schedules aiming to resolve conflicts between agents based on the defeasible reasoning by VALPSN (Vector Annotated Logic Program with Strong Negation). In the method, first, agents' schedules are defined by Billington's defeasible theories. The defeasible theories are translated into VALPSNs as the next step and the VALPSNs' stable models are computed as the last step. We describe how to translate the Billington's defeasible theories into VALPSNs and how to proceed the negotiation to resolve conflicts between a meeting coordinator and agents taking an appointment schedule problem as an example.