Logic programming is a fundamental paradigm based on formal logic with relevant features in the design of automatic intelligence systems. The computation of the consequences from a given dataset, modeled by logic rules, is given by the immediate consequences operator. This paper clarifies the definition of this operator in the first-order logic programming framework and remarks the consideration of two sets in the computation of the immediate consequences operator.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Revisiting Immediate Consequences Operator on First-Order Logic Programming

  • Jesús Medina,
  • José Antonio Torné-Zambrano

摘要

Logic programming is a fundamental paradigm based on formal logic with relevant features in the design of automatic intelligence systems. The computation of the consequences from a given dataset, modeled by logic rules, is given by the immediate consequences operator. This paper clarifies the definition of this operator in the first-order logic programming framework and remarks the consideration of two sets in the computation of the immediate consequences operator.