著者

折原 良平 大須賀 昭彦 楠井 洋一

雑誌

情報処理学会研究報告知能と複雑系(ICS)

巻号頁・発行日

vol.1991, no.16, pp.137-146, 1991-03-06

---

正規論理プログラム上での類推の意味を、仮説推論におけるgeneralized stable model()意味論によって与える。まず、類推を考えるに当たっての異常な場合を表す述語を定義する;すなわち、p(),q(),p()が与えちれた場合のab()⇔p()∧?q()である。さらに、こうして定義された述語の否定が本体に現れるような節をもとのプログラムに加える。こうして作られたプログラムのGSMがもとのプログラムの類推的モデルである。仮説推論における証明手続きをもとに作った類推的証明手続きも併せて紹介する。The meanings of analogical reasoning for normal logic programs are described by generalized stable model (GSM) semantics for hypothetical reasoning. We define predicates that denote unusual cases within analogical reasoning; for example, ab(X)⇔p(X)∧¬q(X), where p(s),q(s),p(t) are given. We also add rules with negated occurrences of such predicates into the original program. In this way, analogical models for original programs are given in the form of GSMs of extended programs. A proof procedure for analogical models which is based on an abductive proof procedure is also presented.