メタ-ロジックによるルール問い合わせシステムの形式化について

概要

論文の詳細を見る
It has become possible to realize autonomous systems because of the advances in information technology. Agent systems show one of the ways for getting autonomous systems, in which the recognition ability of their environments is one of the important elements for the autonomy. To know their environments query systems are important and the logic programming methods such as Prolog are applied to autonomous systems. For realizing more autonomous systems it is important to know the rules on which they make their decision. However usual methods can ask only facts, In this paper using meta-logic a query system for rules is presented, It is shown that queries with a conjunctive form of Horn clauses to the data base of Horn clauses can be solved by SLD-resolution in meta-logic. The soundness of the query system and the completeness are also shown.
東海大学の論文
2002-03-30