Temporal disjunctive logic programming
| 详细信息 | 推荐本文 | |
- 作者：Manolis Gergatsoulis (1) manolis@iit.demokritos.gr
Panos Rondogiannis (2) prondo@cs.uoi.gr
Themis Panayiotopoulos (3) themisp@unipi.gr - 关键词：Temporal Logic Programming ; Disjunctive Logic Programming ; Semantics ; Proof Procedures
- 刊名：New Generation Computing
- 出版时间：March 2001
- 出版年：2001
- 期刊代码：pc410_0288-3635
- 类别：cp
- 卷：19
- 期：1
- 页码：87-100
- 数据来源：sp
摘要
In this paper we introduce the logic programming languageDisjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive Chronolog is capable of expressing dynamic behaviour as well as uncertainty, two notions that are very common in a variety of real systems. We present the minimal temporal model semantics and the fixpoint semantics for the new programming language and demonstrate their equivalence. We also show how proof procedures developed for disjunctive logic programs can be easily extended to apply to Disjunctive Chronolog programs.