A Default-Logic Framework for Legal Reasoning in Multiagent Systems

Vern R. Walker

Using law and evidence to achieve fair and accurate decisions in numerous legal cases requires a complex multiagent system. This paper discusses a framework based on many-valued, predicate, default logic that successfully captures legal knowledge, integrates and evaluates expert and non-expert evidence, coordinates agents working on different legal problems, and evolves the knowledge model over time. The graphical syntax and the semantics of this framework allow the automation of key tasks, and the emergence of dynamic structures for integrating human and non-human agents. The logical basis of the framework ensures its applicability to knowledge and problem domains of similar complexity to law.

Subjects: 7.1 Multi-Agent Systems


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.