Sense-making software for crime investigation: how to combine stories and arguments?
Open Access
- 7 July 2007
- journal article
- research article
- Published by Oxford University Press (OUP) in Law, Probability and Risk
- Vol. 6 (1-4) , 145-168
Abstract
Sense-making software for crime investigation should be based on a model of reasoning about evidence that is both natural and rationally well-founded. A formal model is proposed that combines artificial intelligence formalisms for abductive inference to the best explanation and for defeasible argumentation. Stories about what might have happened in a case are represented as causal networks and possible hypotheses can be inferred by abductive reasoning. Links between stories and the available evidence are expressed with evidential generalizations that express how observations can be inferred from evidential sources with defeasible argumentation. It is argued that this approach unifies two well-known accounts of reasoning about evidence, namely, anchored narratives theory and new evidence theory. After the reasoning model is defined, a design is presented for sense-making software that allows crime investigators to visualize their thinking about a case in terms of the reasoning model.Keywords
This publication has 13 references indexed in Scilit:
- Testimony, Credibility, and Eplanatory Coherence2007
- Towards an argument interchange formatThe Knowledge Engineering Review, 2006
- Dialectical Argumentation with Argumentation Schemes: An Approach to Legal LogicArtificial Intelligence and Law, 2003
- Towards a Formal Account of Reasoning about Evidence: Argumentation Schemes and GeneralisationsArtificial Intelligence and Law, 2003
- Logical Argumentation, Abduction and Bayesian Decision Theory: A Bayesian Approach to Logical Arguments and Its Application to Legal Evidential Reasoning2002
- On the Proof Dynamics of Inference to the Best Explanation2002
- Symbolic diagnosis and its formalisationThe Knowledge Engineering Review, 1997
- Abstract argumentation systemsArtificial Intelligence, 1997
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person gamesArtificial Intelligence, 1995
- A model-based method for computer-aided medical decision-makingArtificial Intelligence, 1978