We examine oscillation behavior of normal logic programs. Both the Gelfond-Lifschitz operator and the T P operator are used to update Herbrand interpretations, and any interpretation finally reaches in an oscillator. It has been shown that the supported model semantics of normal logic programs can characterize point attractors of Boolean networks. We here newly define supported classes of normal logic programs to investigate periodic oscillation induced by the T P operator, and apply them to characterize cycle attractors of Boolean networks. We also relate stable classes and supported classes of normal logic programs. © 2012 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Inoue, K., & Sakama, C. (2012). Oscillating behavior of logic programs. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7265, 345–362. https://doi.org/10.1007/978-3-642-30743-0_23
Mendeley helps you to discover research relevant for your work.