Seminar Abstract 【解釈の順序による柔らかい制約の表現およびその計算】 ------------------------------ Speaker: 佐藤 健 http://research.nii.ac.jp/~ksatoh Affiliation: 国立情報学研究所 情報学基礎研究系 Date and Time: 2003. 6. 19 (Thu), 4:30 - 6:00 p.m. Place: 3F1223 Chair: 金子 守 ------------------------------ Abstract: 制約処理の研究分野では、解がいつでも成り立たなければ ならない制約(固い制約)だけではなく、解の順序を表す 制約(柔らかい制約)が存在する。本講演では、この2種類の 制約からなる制約処理を論理的モデルの順序における 最選好モデル推論に対応することで定式化し、第二階述語 論理による表現を与える。さらに、柔らかい制約としてよく 用いられる「柔らかい制約の極大無矛盾集合」の計算に対して、 整数計画法および極小集合被覆を用いた二種類の計算について 述べる。