Research Article
Abduction and Legal Reasoning
@INPROCEEDINGS{10.4108/e-forensics.2008.2640, author={Giada Maggenti and Andrea Bracciali and Paolo Mancarella}, title={Abduction and Legal Reasoning}, proceedings={1st International ICST Conference on Forensic Applications and Techniques in Telecommunications, Information and Multimedia}, publisher={ACM}, proceedings_a={E-FORENSICS}, year={2010}, month={5}, keywords={}, doi={10.4108/e-forensics.2008.2640} }- Giada Maggenti
Andrea Bracciali
Paolo Mancarella
Year: 2010
Abduction and Legal Reasoning
E-FORENSICS
ACM
DOI: 10.4108/e-forensics.2008.2640
Abstract
In this paper we present LAILA+, an extension of the LAILA coordination language for abductive logic agents, i.e. rea- soning agents that collaborate towards the solution of a given problem exploiting a set of distributed, possibly par- tial, knowledge of the application domain. The extension consists of i) the possibility for agents to communicate with each other hypotheses while devising a coordinated solu- tion, and ii) a relaxed consistency mechanism based on a given agent hierarchy: stronger agent coherence may over- come weaker agent inconsistency. We argue that the frame- work well adapts to legal reasoning, with agents that try to prove/disprove evidences from different, possibly partial and hierarchical, viewpoints, as often happens for instance in a trial.