Skip to main content
Log in

Evidentialist foundationalist argumentation for multi-agent sensor fusion

  • Published:
Artificial Intelligence Review Aims and scope Submit manuscript

Abstract

In this paper, an approach to evidence-based argumentation called Evidentialist Foundationalist Argumentation (EFA) is formally defined in terms of the ASPIC framework. The EFA framework is then used as the basis for general argument patterns applied to the problem domain of Sensor Fusion. These general Sensor Fusion argument patterns serve as templates for concrete arguments constructed by agents in an in situ Sensor Web. These agents use EFA to solve specific instances of the Decentralized Sensor Fusion problem by strategically sharing evidence from their arguments using a Share on Disagreement protocol. Using real-world data, the performance of this multiagent system is compared to the performance of another multiagent system employing a Kalman Filtering approach. The results are statistically analyzed using omega-squared effect sizes produced by ANOVA with p values <  0.05. The EFA based system is found to outperform the Kalman Filtering system in terms of accuracy with mostly high and medium effect sizes. The Kalman Filtering system is found to outperform the EFA based system in terms of communication costs with mostly low effect sizes.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Jeffrey Sanford Russell, John Hawthorne & Lara Buchak

References

  • Amgoud L, Bodenstaff L, Caminada M, McBurney P, Parsons S, Prakken H, van Veenen J, Vreeswijk G (2006) Final review and report on formal argumentation system. Deliverable D2.6, ASPIC IST-FP6-002307

  • Baroni P, Giacomin M (2009) Semantics of abstract argument systems. In: Rahwan I, Simari G (eds) Argumentation in artificial intelligence. Springer, Berlin

    Google Scholar 

  • Basir O, Yuan X (2007) Engine fault diagnosis based on multi-sensor information fusion using Dempster–Shafer evidence theory. Inf Fusion 8(4): 379–386

    Article  Google Scholar 

  • Bex F, Prakken H, Reed C, Walton D (2003) Towards a formal account of reasoning about evidence: argumentation schemes and generalisations. Artif Intell Law 11(2–3): 125–165

    Article  Google Scholar 

  • Bex F, Prakken H, Reed C (2010) A formal analysis of the AIF in terms of the ASPIC framework. In: Proceedings of COMMA-10

  • Black T (2008) Solving the problem of easy knowledge. Philos Q 58: 597–617

    Article  Google Scholar 

  • Caminada M, Amgoud L (2007) On the evaluation of argumentation formalisms. Artif Intell 171: 286–310

    Article  MATH  MathSciNet  Google Scholar 

  • Chesñevar C, Modgil S, Rahwan I, Reed C, Simari G, South M, Vreeswijk G, Willmott S (2006) Towards an argument interchange format. Knowl Eng Rev 21(4): 293–316

    Article  Google Scholar 

  • Cohen J (1988) Statistical power analysis for the behavioral sciences, 2nd edn. Lawrence Erlbaum Associates, London

    MATH  Google Scholar 

  • Conee E, Feldman R (2004) Evidentialism: essays in epistemology. Clarendon Press, Oxford

    Book  Google Scholar 

  • Dung PM (1995) On the acceptability of arguments and its fundamental role in non-monotonic reasoning, logic programming and n-person games. Artif Intell 77: 321–357

    Article  MATH  MathSciNet  Google Scholar 

  • Dung PM, Kowalski RA, Toni F (2009) Assumption-based argumentation. In: Rahwan I, Simari G (eds) Argumentation in artificial intelligence. Springer, Berlin

    Google Scholar 

  • Environment Canada (2011) Public alerting criteria for “Blizzard”. Web site, http://www.ec.gc.ca/meteo-weather/default.asp?lang=En&n=D9553AB5-1#blizzard

  • Fox J, Glasspool D, Patkar V, Austin M, Black L, South M, Robertson D, Vincent C (2010) Delivering clinical decision support services: there is nothing as practical as a good theory. J Biomed Inf 43(5): 831–843

    Article  Google Scholar 

  • Gan Q, Harris C (2001) Comparison of two measurement fusion methods for Kalman-filter-based multisensor data fusion. IEEE Trans Aerosp Electron Syst

  • Gordon T, Prakken H, Walton D (2007) The Carneades model of argument and burden of proof. Artif Intell 171: 875–896

    Article  MATH  MathSciNet  Google Scholar 

  • Haack S (2009) Evidence and inquiry: A pragmatist reconstruction of epistemology. Cambridge

  • Hong X, Nugent C, Mulvenna M, McClean S, Scotney B, Devlin S (2009) Evidential fusion of sensor data for activity recognition in smart homes. Pervasive Mob Comput 5(3): 236–252

    Article  Google Scholar 

  • Jade (2011) Jade–Java agent DEvelopment framework. Web site, http://jade.tilab.com/

  • Jadex (2011) Jadex BDI agent system. Web site, http://jadex-agents.informatik.uni-hamburg.de/

  • Kedar S, Chien S, Webb F, Tran D, Doubleday J, Davis A, Pieri D (2008) Optimized autonomous space in-situ sensor-web for volcano monitoring. In: Proceedings of ESTC-08

  • Keppens J, Zeleznikow J (2003) A model based reasoning approach for generating plausible crime scenarios from evidence. In: Proceedings of the 9th international conference of artificial intelligence and law

  • Kotrlik JW, Williams HA (2003) The incorporation of effect size in information technology, learning, and performance research. Inf Technol Learn Perform 21(1): 1–7

    Google Scholar 

  • Liu X, Khudkhudia E, Leu M (2008) Incorporation of evidences into an intelligent computational argumentation network for a web-based collaborative engineering design system. Int Symp Collab Technol Syst

  • Olfati-Saber R (2005) Distributed Kalman filter with embedded consensus filters. In: 44th IEEE Conference on Decision and Control

  • Olfati-Saber R (2007) Distributed Kalman filtering for sensor networks. In: 46th IEEE Conference on Decision and Control

  • Ontañón S, Plaza E (2010) Empirical argumentation: integrating induction and argumentation in MAS. In: Proceedings of ArgMAS-10

  • Oren N, Norman T (2008) Semantics for evidence-based argumentation. In: Proceedings of COMMA-08

  • Oren N, Norman T, Preece A (2007) Subjective logic and arguing with evidence

  • Pavlin G, Oude P, Maris M, Hood T (2006) Distributed perception networks: an architecture for information fusion systems based on causal probabilistic models. In: IEEE international conference on multisensor fusion and integration for intelligent systems

  • Pavlin G, de Oude P, Maris M, Nunnink J, Hood T (2010) A multi agent systems approach to distributed Bayesian information fusion. Inf Fusion 11(3): 267–282

    Article  Google Scholar 

  • Pollock J (1994) Justification and defeat. Artif Intell 67: 377–408

    Article  MATH  MathSciNet  Google Scholar 

  • Poston T (2007) Foundational Evidentialism and the Problem of Scatter. Abstracta 3(2): 89–106

    MathSciNet  Google Scholar 

  • Prakken H (2010) An abstract framework for argumentation with structured arguments. Argument Comput 1: 93–124

    Article  Google Scholar 

  • Prakken H, Sartor G (1997) Argument-based logic programming with defeasible priorities. J Appl Non class Log 7: 25–75

    Article  MATH  MathSciNet  Google Scholar 

  • Rahwan I, Zablith F, Reed C (2007) Laying the foundations for a world wide argument web. Artif Intell 172(10–15): 897–921

    Article  Google Scholar 

  • Redford C, Agah A (2010) A framework for evidence-based argument construction and evaluation applied to multi-agent sensor webs. In: Proceedings of AIPR-10

  • Redford C, Agah A (2011) Evidence-based argumentation versus complete sharing in multi-agent sensor webs. Int J Artif Intell 7: 47–62

    Google Scholar 

  • Reed C, Rowe G (2001) Araucaria: software for puzzles in argument diagramming and XML. Department of Applied Computing, University of Dundee Technical Report

  • Rosencrantz M, Gordon G, Thrun S (2003) Decentralized sensor fusion with distributed particle filters. In: Proceedings of UAI-03

  • Scott P, Rogova G (2004) Crisis management in a data fusion synthetic task environment. In: 7th international conference on information fusion

  • Vreeswijk G (1997) Abstract argumentation systems. Artif Intell 90: 225–279

    Article  MATH  MathSciNet  Google Scholar 

  • Walton D, Reed C, Macagno F (2008) Argumentation schemes. Cambridge University Press, Cambridge

    Book  Google Scholar 

  • Wampler-Doty M (2010) Evidentialist logic. MSc Thesis, Universiteit van Amsterdam, Netherlands. Retrieved from ILLC Publications (Accession Order No. MoL-2010-15)

  • Wolfram Mathematica (2011) WeatherData function. Web site, http://reference.wolfram.com/mathematica/ref/WeatherData.html

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Chris Redford.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Redford, C., Agah, A. Evidentialist foundationalist argumentation for multi-agent sensor fusion. Artif Intell Rev 42, 211–243 (2014). https://doi.org/10.1007/s10462-012-9333-3

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10462-012-9333-3

Keywords

Navigation