Logic Programming for Boolean Networks

Inoue, Katsumi

doi:10.5591/978-1-57735-516-8/IJCAI11-160

Logic Programming for Boolean Networks

Katsumi Inoue

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 924-929.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-160

Abstract

The Boolean network is a mathematical model of biological systems, and has attracted much attention as a qualitative tool for analyzing the regulatory system. The stable states and dynamics of Boolean networks are characterized by their attractors, whose properties have been analyzed computationally, yet not much work has been done from the viewpoint of logical inference systems. In this paper, we show direct translations of Boolean networks into logic programs, and propose new methods to compute their trajectories and attractors based on inference on such logic programs. In particular, point attractors of both synchronous and asynchronous Boolean networks are characterized as supported models of logic programs so that SAT techniques can be applied to compute them. Investigation of these relationships suggests us to view Boolean networks as logic programs and vice versa.

Katsumi Inoue. 2011. Logic Programming for Boolean Networks. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 924–929. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-160

@inproceedings{ijcai2011p160,
  title     = {Logic Programming for Boolean Networks},
  author    = {Inoue, Katsumi},
  booktitle = {Proceedings of the Twenty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-11}},
  publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
  editor    = {Toby Walsh},
  pages     = {924--929},
  year      = {2011},
  month     = {7},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-160},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-160},
}

TY  - CPAPER
TI  - Logic Programming for Boolean Networks
AU  - Inoue, Katsumi
T2  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11
PB  - AAAI Press/International Joint Conferences on Artificial Intelligence
PY  - 2011
SP  - 924
EP  - 929
DO  - 10.5591/978-1-57735-516-8/IJCAI11-160
UR  - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-160
ER  -