Symbolic Systems Biology: a Roadmap (or, lessons from ISSSB’11) Oliver Ray 1 Marcus Tindall 2 1 University of Bristol, UK 2 University of Reading, UK LDSSB’12,

Slides:



Advertisements
Similar presentations
T. Erickson, M. Ed. NATURE OF SCIENCE. Science investigations use a variety of methods and tools to make measurements and observations. Science investigations.
Advertisements

Active Reading: “Scientific Processes”
Approaches, Tools, and Applications Islam A. El-Shaarawy Shoubra Faculty of Eng.
Pat Langley Computational Learning Laboratory Center for the Study of Language and Information Stanford University, Stanford, California
François FagesLyon, Dec. 7th 2006 Biologie du système de signalisation cellulaire induit par la FSH ASC 2006, projet AgroBi INRIA Rocquencourt Thème “Systèmes.
Nonmonotonic Abductive – Inductive Learning Oliver Ray Department of Computer Science University of Bristol AIAI'07, September 15th, 2007 Aix-en-Provence.
Algebraic Biology 2008 Opening Remarks by Bruno Buchberger, RISC, July 31, 2008.
Decision Making: An Introduction 1. 2 Decision Making Decision Making is a process of choosing among two or more alternative courses of action for the.
AI and Bioinformatics From Database Mining to the Robot Scientist.
APRIL, Application of Probabilistic Inductive Logic Programming, IST Albert-Ludwigs-University, Freiburg, Germany & Imperial College of Science,
Models and methods in systems biology Daniel Kluesing Algorithms in Biology Spring 2009.
CSE 591 (99689) Application of AI to molecular Biology (5:15 – 6: 30 PM, PSA 309) Instructor: Chitta Baral Office hours: Tuesday 2 to 5 PM.
By: Cade Ewing 4 th hour ED FOR CAREERS.  The average Wildlife Biologist makes about $27 an hour, which is $56,500 a year.
Research and objectives Modern software is incredibly complex: for example, a modern OS has more than 10 millions lines of code, organized in 10s of layers!
CSE 574 – Artificial Intelligence II Statistical Relational Learning Instructor: Pedro Domingos.
CSE 574: Artificial Intelligence II Statistical Relational Learning Instructor: Pedro Domingos.
CSE 590ST Statistical Methods in Computer Science Instructor: Pedro Domingos.
CIS 410/510 Probabilistic Methods for Artificial Intelligence Instructor: Daniel Lowd.
CSE 515 Statistical Methods in Computer Science Instructor: Pedro Domingos.
Session 2: How to catalog Body of Knowledge (BoK) in an area?
TEXT MINING IN BIOMEDICAL RESEARCH QI LI 03/28/14.
Paradigms of Research.
A Pragmatic Approach to Context and Meaning. Pragmatism ● Fosters highly inter-disciplinary work ● Discourages theory in isolation from application ●
The student is expected to: 2A know the definition of science and understand that it has limitations...; 2B know that hypotheses are tentative and testable.
Introduction to Computer and Programming CS-101 Lecture 6 By : Lecturer : Omer Salih Dawood Department of Computer Science College of Arts and Science.
C OMPUTER S CIENCE, C OMPUTER E NGINEERING, I NFORMATION T ECHNOLOGY AND S YSTEMS, F LOW OF C ONTROL, B ATCH AND I NTERACTIVE P ROCESSING Week 5 Mr. Mohammed.
Bioinformatics Sean Langford, Larry Hale. What is it?  Bioinformatics is a scientific field involving many disciplines that focuses on the development.
Inductive Logic Programming Includes slides by Luis Tari CS7741L16ILP.
SCI Scientific Inquiry The Big Picture: Science, Technology, Engineering, etc.
Chapter 1 Introduction to Simulation
1 Mathematical Institute Serbian Academy of Sciences and Arts, Belgrade DEUKS Meeting Valencia, September 9-11, 2008, Valencia New PhD modules proposal.
Functional Genomic Hypothesis Generation and Experimentation by a Robot Scientist King et al, Nature : Presented by Monica C. Sleumer February.
1 Abduction and Induction in Scientific Knowledge Development Peter Flach, Antonis Kakas & Oliver Ray AIAI Workshop 2006 ECAI August, 2006.
THEME 1: Improving the Experimentation and Discovery Process Unprecedented complexity of scientific enterprise Is science stymied by the human bottleneck?
Taxonomies and Laws Lecture 10. Taxonomies and Laws Taxonomies enumerate scientifically relevant classes and organize them into a hierarchical structure,
Sampletalk Technology Presentation Andrew Gleibman
Click to edit Present’s Name Identification of Transition Models of Biological Systems in the Presence of Transition Noise A. Srinivasan, M. Bain, D. Vatsa,
Future & Emerging Technologies in the Information Society Technologies programme of European Commission Future & Emerging Technologies in the Information.
Interpretive approaches: key principles 10 March 2009 Dr. Carolyn M. Hendriks The Crawford School of Economics and Government The Australian National University.
The Science of Biology. Key Concept Key Concept What is the goal of science? What is the goal of science? Vocabulary Vocabulary Science Science Observation.
IRCS/CCN Summer Workshop June 2003 Speech Recognition.
Computational Thinking Class Overview web site:
AdvancedBioinformatics Biostatistics & Medical Informatics 776 Computer Sciences 776 Spring 2002 Mark Craven Dept. of Biostatistics & Medical Informatics.
SCIENCE A system of knowledge about the natural world and the methods used to find that knowledge.
Computer Science, Algorithms, Abstractions, & Information CSC 2001.
Introduction to Artificial Intelligence CS 438 Spring 2008.
Concept 1.3: Scientists use two main forms of inquiry in their study of nature  Science - Latin meaning “to know”  Inquiry is the search for information.
Motivation and Overview
Advanced Software Development applied to (Symbolic) Systems Biology Karl Lieberherr.
College of Computer Science, SCU Computer English Lecture 1 Computer Science Yang Ning 1/46.
Chapter 1 These notes are to be written in your composition book.
Scientific Method 1.Observe 2.Ask a question 3.Form a hypothesis 4.Test hypothesis (experiment) 5.Record and analyze data 6.Form a conclusion 7.Repeat.
TOK learning objectives Areas of Knowledge. Natural sciences (objectives) Explain how scientific method work Define ‘hypothesis’, ‘theory’, ‘model’, ‘experiment’,
1.3: Scientific Thinking & Processes Key concept: Science is a way of thinking, questioning, and gathering evidence.
Chapter 1: Section 1 What is Science?. What Science IS and IS NOT.. The goal of Science is to investigate and understand the natural world, to explain.
Ch. 1 Biology: The Study of Life. What is Biology? Biology involves the concepts, principles and theories that allow people to understand the natural.
Sub-fields of computer science. Sub-fields of computer science.
e h T y C c l of i n g d o M t m The background Our approach
BSc Computing and Information Systems Module: M2X8630 Research and Development Methods Introduction to Research Methods.
Introduction to Engineering
Some tools and a discussion.
overview and survey from a logical / ILP perspective
What contribution can automated reasoning make to e-Science?
Data Warehousing and Data Mining
CSE 515 Statistical Methods in Computer Science
Ernest Davis Automating Commonsense Reasoning for Science
The Scientific Method Section 2.1.
Causal Models Lecture 12.
Dr Kristin Stock Allworlds Geothinking
Statistical Relational AI
Presentation transcript:

Symbolic Systems Biology: a Roadmap (or, lessons from ISSSB’11) Oliver Ray 1 Marcus Tindall 2 1 University of Bristol, UK 2 University of Reading, UK LDSSB’12, Bristol, UK 24 th September 2012

Motivation “conceptual and technological tools developed within computer science are, for the first time, starting to have wide-ranging applications outside the subject in which they originated.”... “computer science is poised to become as fundamental to science, and in particular the natural sciences, as mathematics has become to science, and in particular the physical sciences.” The 2020 Science Group S. Emmott et al. (eds.) Towards 2020 Science Microsoft Corp, 2006 (p.8)

Focus  Symbolic  Systems  Biology

Focus  Symbolic  formal methods: software and hardware development  Systems  holistic thinking: interacting parts, emergent behaviour  Biology  aims to increase our understanding of living systems

Distinction  Symbolic Systems Biology  Computational Systems Biology

Distinction  Symbolic Systems Biology  formal methods + systems biology  systems modelling and analysis  Computational Systems Biology  numerical methods + systems biology  data pre-processing + visualisation

Relevance  Phenomena of life as information processing  amenable to methods for studying algorithms  Phenomena of life at multiple levels of abstraction  amenable to methods for hard/software develop.  Scientific inference as abduction/deduction/induction  amenable to methods from formal logic  multi-semantic / meta-logical reasoning !  Logic as “Glue”  observations, hypotheses, background knowledge  alternative viewpoints, testable assertions

(Rather Sketchy) History  2003Lincoln coins the term (RTA’03)  2004Lincoln and Tiwari write first paper (HSCC’04) Idekar et al. hold first session (PSB’04)  2005Anai and Horimoto hold first conference (AB’05)  Science Group  2007(AB’07)  2008first summer school (FSM’08) (AB’08)  2009first Dagstuhl seminar (formal methods in mol. bio.)  2010(ANB’10) first book (M.S. Iyengar ed.)  2011first international symposium (ISSSB’11)

Methods Book rewrite logics (Pathway Logic) probabilistic model checking} (PRISM) graphical models (Petri-nets) State-charts (GemCell) process calculi (SPiM) Symposium text processing (Baral); answer set programming} (Schaub CLASP, Ray XHAIL) temporal logic (Fages BIOCHAM Itemset mining (Rouveirol HANCIM) Induction (Doncescu SOLAR, Muggleton PROGOL) Boolean Networks (Akutsu) Integer programming (Craven) Abduction (Inoue) Consequence Finding (Bourgne SOLAR) Other qualitative reasoning, equation discovery,... action languages, statistical relational learning,...

Applications ? Network Inferencesimulation/completion/revision metabolic signalling genetic food webs ??? Multi-scale modelling ??? Parameter estimation equation discovery stochastic logic programs ??? Model reduction ??? Automated Science Robot Scientist

Applications ? Network Inferencesimulation/completion/revision metabolic signalling genetic food webs ??? Multi-scale modelling ??? Parameter estimation equation discovery stochastic logic programs ??? Model reduction ??? Automated Science Robot Scientist Reincarnation?

Discussion