Programming by Combining General Logic Programs
Programming by Combining General Logic Programs
复制标题
通过组合通用逻辑程序进行编程
DOI：
10.1093/logcom/9.1.7
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
F. Turini
中科院分区：
文献类型：
--
作者：
Antonio Brogi;S. Contiero;F. Turini
程序组合方法可以有效地应用于组合一般逻辑程序，即可能包含负前提的逻辑程序。我们展示了在一般程序上引入一组基本的（元级）组合操作如何增加非单调推理逻辑编程的知识表示能力。模块编程，分层推理，约束和例外规则的例子将被说明。程序和程序组合的语义是根据三值逻辑定义的。程序组合的计算解释是通过将任意程序组合转换为标准通用程序的保持等价的语法转换形式化的。
The program composition approach can be fruitfully applied to combine general logic programs, i.e. logic programs possibly containing negative premises. We show how the introduction of a basic set of (meta-level) composition operations over general programs increases the knowledge representation capabilities of logic programming for non-monotonic reasoning. Examples of modular programming, hierarchical reasoning, constraints and rules with exceptions will be illustrated. The semantics of programs and program compositions is defined in terms of three-valued logic. The computational interpretation of program compositions is formalised by an equivalence preserving syntactic transformation of arbitrary program compositions into standard general programs.