Disjunctive Chronolog

M. Gergatsoulis, P. Rondogiannis, T. Panayiotopoulos

Abstract A disjunctive temporal logic programming language, called Disjunctive Chronolog is presented in this paper. Disjunctive Chronolog combines the ideas of both temporal logic programming and disjunctive logic programming. The new language is capable of expressing dynamic behaviour as well as uncertainty, two notions that are very common in a variety of real systems. Minimal model semantics, model state semantics and fixpoint semantics are developed for the proposed language and their equivalence is shown.
Keywords: Temporal logic programming, disjunctive logic programming.