著者

清水 英弘 太原 育夫

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会論文誌. D-II, 情報・システム, II-情報処理 (ISSN:09151923)

巻号頁・発行日

vol.76, no.3, pp.615-623, 1993-03-25

---

ラティス構造は,概念や属性あるいは条件や事実などの組合せ的関係構造を表現する方法として知識表現や探索空間の表現によく用いられており,このようなラティス構造を用いた情報処理においては,ラティス構造内の特定の元や領域を求めることがしばしば必要となる.本論文では,ラティス構造内の領域についてその有効な表現形式と演算規則を定めることにより,集合族間の計算がその元である集合間の計算に還元できることを示し,それに基づいたラティス構造内の領域探索法を提案している.そしてその特別な場合として,ラティス構造によって表現された制約充足問題の解法について述べている.提案したいくつかの方法は,全体集合の要素数に束縛されないような探索法であり,また探索の順序に依存しないので探索の確実性が保証されるという利点ももっている.