Temporal disjunctive logic programming

被引：0
作者：
Manolis Gergatsoulis
Panos Rondogiannis
Themis Panayiotopoulos
机构：
[1] N.C.S.R. ‘Demokritos’,Institute of Informatics & Telecommunications
[2] University of Ioannina,Department of Computer Science
[3] University of Piraeus,Department of Informatics
来源：
New Generation Computing | 2001年 / 19卷
关键词：
Temporal Logic Programming; Disjunctive Logic Programming; Semantics; Proof Procedures;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：87 / 100
页数：13
相关论文
共 34 条
[1]  
Baral C.(1997)Representing Actions: Laws, Observations and Hypotheses The Journal Of Logic Programming 31 201-244
[2]  
Gelfond M.(1995)Depth-bounded Bottom-up Evaluation of Logic Programs The Journal of Logic Programming 25 1-31
[3]  
Provetti A.(1997)Disjunctive Datalog ACM Transactions on Database Systems 22 364-418
[4]  
Chomicki J.(1993)Representing Action and Change by Logic Programs The Journal of Logic Programming 17 301-323
[5]  
Eiter T.(1986)A Logic-based Calculus of Events New Generation Computing 4 67-95
[6]  
Gottlob G.(1997)GOLOG: A Logic Programming Language for Dymanic Domains The Journal of Logic Programming 31 59-83
[7]  
Mannila H.(1991)Semantics of Horn and Disjunctive Logic Programs Theoretical Computer Science 86 93-106
[8]  
Gelfond M.(1997)Advisor: A knowledge-based Planning System International Journal of Expert Systems 9 319-355
[9]  
Lifschitz V.(1969)Some Philosophical Problems from the Standpoint of Artificial Intelligence Machine Intelligence 4 463-502
[10]  
Kowalski R.(1990)A Fixpoint Semantics for Disjunctive Logic Programs The Journal of Logic Programming 9 45-74
1234