Model Revision from Temporal Logic Properties in Computational Systems Biology

• Published in: Probabilistic Inductive Logic Programming Vol. 4911; pp. 287 - 304
• Main Authors: Fages, François, Soliman, Sylvain
• Format: Book Chapter
• Language: English
• Published: Germany Springer Berlin / Heidelberg 2008; Springer Berlin Heidelberg
• Series: Lecture Notes in Computer Science
• Subjects: Artificial intelligence; Circadian Cycle; Computer programming / software development; Kinetic Expression; Kripke Structure; Mathematical theory of computation; System Biology Markup Language; Temporal Logic

Systems biologists build models of bio-molecular processes from knowledge acquired both at the gene and protein levels, and at the phenotype level through experiments done in wild-life and mutated organisms. In this chapter, we present qualitative and quantitative logic learning tools, and illustrat...