文章基本信息

标题：論理プログラミングから解集合プログラミングへ
本地全文：下载
作者：井上克巳 ; 坂間千秋
期刊名称：コンピュータソフトウェア
印刷版ISSN：0289-6540
出版年度：2008
卷号：25
期号：3
页码：3_20-3_32
DOI：10.11309/jssst.25.3_20
出版社：Japan Society for Software Science and Technology
摘要：
Prologがベースとしているホーン節論理に基づく論理プログラミングでは，構文的制約があって確定的知識しか表現できないことが，現実的な知識表現のためには限界であるとされていた．この問題点を克服するために，論理プログラミングにおいて不完全・不確定な情報を扱うための拡張理論が1980年代後半から数多く提案された．1999年にはこれらに加えて制約プログラミングの概念を融合した解集合プログラミングの概念が確立され，現在では論理プログラミングの中心的な研究テーマの1つになっている．本稿では過去からのこうした研究の流れと新しい論理プログラミングの可能性について探る．