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.
Similar content being viewed by others
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
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
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
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
Caminada M, Amgoud L (2007) On the evaluation of argumentation formalisms. Artif Intell 171: 286–310
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
Cohen J (1988) Statistical power analysis for the behavioral sciences, 2nd edn. Lawrence Erlbaum Associates, London
Conee E, Feldman R (2004) Evidentialism: essays in epistemology. Clarendon Press, Oxford
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
Dung PM, Kowalski RA, Toni F (2009) Assumption-based argumentation. In: Rahwan I, Simari G (eds) Argumentation in artificial intelligence. Springer, Berlin
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
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
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
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
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
Pollock J (1994) Justification and defeat. Artif Intell 67: 377–408
Poston T (2007) Foundational Evidentialism and the Problem of Scatter. Abstracta 3(2): 89–106
Prakken H (2010) An abstract framework for argumentation with structured arguments. Argument Comput 1: 93–124
Prakken H, Sartor G (1997) Argument-based logic programming with defeasible priorities. J Appl Non class Log 7: 25–75
Rahwan I, Zablith F, Reed C (2007) Laying the foundations for a world wide argument web. Artif Intell 172(10–15): 897–921
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
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
Walton D, Reed C, Macagno F (2008) Argumentation schemes. Cambridge University Press, Cambridge
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
Author information
Authors and Affiliations
Corresponding author
Rights 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
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10462-012-9333-3