首页    期刊浏览 2024年07月01日 星期一
登录注册

文章基本信息

  • 标题:A Procedure to Calculate Logic Programs by Replacement with the Bodies of Rules and Transformation to Disjunctive Normal Forms
  • 本地全文:下载
  • 作者:Sumitaka Akiba ; Taisuke Sato
  • 期刊名称:人工知能学会論文誌
  • 印刷版ISSN:1346-0714
  • 电子版ISSN:1346-8030
  • 出版年度:2004
  • 卷号:19
  • 期号:5
  • 页码:413-420
  • DOI:10.1527/tjsai.19.413
  • 出版社:The Japanese Society for Artificial Intelligence
  • 摘要:In this paper, we describe the completeness of a calculation procedure of logic programs. The procedure is the combination of two procedures, a replacement procedure of atoms in the goal by the bodies or the negation of the bodies of rules in the program, and a transformation procedure of equations to disjunctive normal forms (DNF) equivalent under Clark's Equational Theory (CET). To combine replacement of atoms in the goal to logical formulae determined from the program and transformation of equations to DNF equivalent under CET is a method by which procedures with the capability of expressing answers in DNF can be build, so it is a leading method for expressing answers in a form including negation. Some procedures based on the method are devised, and their calculation capabilities are shown by applying the theory of completed programs. However, the procedure that uses the bodies or the negation of the bodies of rules for replacement has higher calculation capability, and is intuitively more natural than they. Therefore, to clarify the calculation capability of the procedure is considered an important subject for research into calculation procedures of logic programs with the capability for expressing answers in a form including negation. Moreover, since the completeness is realized by standing on the viewpoint of treating the implication symbol as a different implication symbol from usual, and interpreting logic programs in three-valued logic, examples which support the viewpoint are also described.
  • 关键词:disjunctive normal form (DNF) ; Clark's equational theory (CET) ; three-valued logic ; ultraproduct
国家哲学社会科学文献中心版权所有