Argumentation to Represent and Reason over Biological Systems

In systems biology, networks represent components of biological systems and their interactions. It is a challenge to efficiently represent, integrate and analyse the wealth of information that is now being created in biology, where issues concerning consistency arise. As well, the information offers novel methods to explain and explore biological phenomena. To represent and reason with inconsistency as well as provide explanation, we represent a fragment of a biological system and its interactions in terms of a computational model of argument and argumentation schemes. Process pathways are represented in terms of an argumentation scheme, then abstracted into a computational model for evaluation, yielding sets of ‘consistent’ arguments that represent compatible biological processes. From the arguments, we can extract the corresponding processes. We show how the analysis supports explanation and systematic exploration in a biology network.

[1]  Henry Prakken,et al.  An abstract framework for argumentation with structured arguments , 2010, Argument Comput..

[2]  Michael Wooldridge,et al.  On obligations and normative ability: Towards a logical analysis of the social contract , 2005, J. Appl. Log..

[3]  Trevor J. M. Bench-Capon,et al.  Semantic models for policy deliberation , 2011, ICAIL.

[4]  Kenneth McLeod,et al.  Using argumentation to resolve conflict in biological databases , 2009, IJCAI 2009.

[5]  A. Barabasi,et al.  Lethality and centrality in protein networks , 2001, Nature.

[6]  Trevor J. M. Bench-Capon,et al.  Towards formalising argumentation about legal cases , 2011, ICAIL.

[7]  Albert-László Barabási,et al.  A Dynamic Network Approach for the Study of Human Phenotypes , 2009, PLoS Comput. Biol..

[8]  Xingming Zhao,et al.  Computational Systems Biology , 2013, TheScientificWorldJournal.

[9]  H. Kitano Systems Biology: A Brief Overview , 2002, Science.

[10]  John Domingue,et al.  Artificial Intelligence: Methodology, Systems, and Applications, 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings , 2006, AIMSA.

[11]  Jun Liu,et al.  Downregulation of PCAF by miR-181a/b Provides Feedback Regulation to TNF-α–Induced Transcription of Proinflammatory Genes in Liver Epithelial Cells , 2012, The Journal of Immunology.

[12]  Trevor J. M. Bench-Capon,et al.  Abstract Argumentation Scheme Frameworks , 2008, AIMSA.

[13]  Stefan Woltran,et al.  Answer-set programming encodings for argumentation frameworks , 2010, Argument Comput..

[14]  Kenneth McLeod,et al.  Argudas: Arguing with Gene Expression Information , 2010, SWAT4LS.

[15]  A. Barabasi,et al.  Network biology: understanding the cell's functional organization , 2004, Nature Reviews Genetics.

[16]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[17]  Chris Reed,et al.  Argumentation Schemes , 2008 .

[18]  A. Barabasi,et al.  Network medicine : a network-based approach to human disease , 2010 .

[19]  Michael Wooldridge,et al.  Complexity of Abstract Argumentation , 2009, Argumentation in Artificial Intelligence.

[20]  D. Walton Argumentation Schemes for Presumptive Reasoning , 1995 .

[21]  Martin Vingron,et al.  IntAct: an open source molecular interaction database , 2004, Nucleic Acids Res..

[22]  Elizabeth Black,et al.  Choosing persuasive arguments for action , 2011, AAMAS.

[23]  P. Bork,et al.  A side effect resource to capture phenotypic effects of drugs , 2010, Molecular systems biology.

[24]  Gary D. Bader,et al.  Pathway Commons, a web resource for biological pathway data , 2010, Nucleic Acids Res..

[25]  Kenneth McLeod,et al.  Towards the use of argumentation in bioinformatics: a gene expression case study , 2008, ISMB.