報告書番号

R93004

タイトル（和文）

制約階層を導入した演緯オブジェクト指向言語：Ｄｏｃｈの開発

タイトル（英文）

A DEVELOPMENT OF DEDUCTIVE AND OBJECTED LANGUAGE WITH CONSTRAINT HIERARCHY: DOCH

概要 （図表や脚注は「報告書全文」に掲載しております）

現在までに多くの知識ベースシステム構築の計画があった。しかし実用段階まで至ったものはわずかである。その主要な原因は次の２点である。１．人間から知識を獲得し、計算機がわかる形に変換する表現困難さ。２．知識ベース上の知識を後から編集、追加する困難さ。これらの問題の解決を目指して、我々は新しい知識表現言語Ｄｏｃｈを構築した。Ｄｏｃｈの対象とするのは、設備の運転計画スケジューリングなどの計画問題である。Ｄｏｃｈは複合オブジェクトや制約の選考情報を記述することができる。Ｄｏｃｈは複合オブジェクトを表現するために、オブジェクト指向を、制約の選考を表現するために制約階層を導入している。複合オブジェクトと制約の選好の表現は計画型問題を記述するのに適した知識表現である。我々はまた制約階層を導入した論理プログラムを効率的に計算するアルゴリズムを考案した。このアルゴリズムはＤｏｃｈプログラムを計算するために使

概要 （英文）

THERE HAVE BEEN MANY PLANS TO DEVELOP KNOWLEDGE BASE SYSTEMS, BUT ONLY A FEW SYSTEMS ARE IN PRACTICAL USE FOR TWO REASONS: 1.KNOWLEDGE ACQUISION AND KNOWLEDGE REPRESENTATION OF HUMAN KNOWLDGEARE DIFFICULT. 2.CHANGING KNOWLEDGE IN THE DEVELOPED SYSTEM IS DIFFICURT. TO SOLVE THESE PROBLEMS, WE HAVE DEVELOPED A NEW KNOWLEDGE REPRESENTATION LANGUAGE CALLED DOCH. THE TARGET OF DOCH IS PLANNING-TYPE PROBLEMS SUCH AS SCHEDULING OF POWER PLANT OPERATION. DOCH IS AN EXTENSION OF LOGIC PROGRAMMING TO EXPRESS COMPLEX OBJECTS AND PREFERENCES. TO EXPRESS COMPLEX OBJECTS, DOCH INTRODUCES OBJECT-ORIENTED KNOWLEDGE REPRESENTATION SUCH AS CLASS HIERARCHY. TO EXPRESS PREFERENCES, DOCH INTRODUCES CONSTRAINT HIERARCY. COMPLEX OBJECTS AND PREFERENCES ARE A SUITABLEKNOWLEDGE REPRESENTATION FORMAT TO EXPRESS PLANNING PROBLEMS. WE HAVE ALSO DEVELOPED A NEW ALGORITHM TO COMPUTE LOGIC PROGRAMS WITH CONSTRAINT HIERARCHY EFFICIENTLY. THE ALGORITHM IS USED TO COMPUTE THE DOCH PROGRAM.

報告者

キーワード