論理プログラミングから解集合プログラミングへ(<特集>論理と推論技術の展開)  [in Japanese] From Logic Programming to Answer Set Programming  [in Japanese]

Prologがベースとしているホーン節論理に基づく論理プログラミングでは,構文的制約があって確定的知識しか表現できないことが,現実的な知識表現のためには限界であるとされていた.この問題点を克服するために,論理プログラミングにおいて不完全・不確定な情報を扱うための拡張理論が1980年代後半から数多く提案された. 1999年にはこれらに加えて制約プログラミングの概念を融合した解集合プログラミングの概念が確立され,現在では論理プログラミングの中心的な研究テーマの1つになっている.本稿では過去からのこうした研究の流れと新しい論理プログラミングの可能性について探る.

Horn logic programs on which Prolog is based have a restriction in the syntax of programs, where only definite knowledge can be represented. This limitation does not enable us to represent incomplete and indefinite knowledge in logic programs. To overcome this problem, several extended classes of logic programs have been proposed since late in the 1980s. Among them, answer set programming launched out into the new paradigm of logic programming in 1999, in which a logic program represents the constraints of a problem and its answer sets correspond to the solutions of the problem. Answer set programming has grown into one of the most popular research fields in logic programming. In this article, we review the essentials of answer set programming from the past to the future.