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

この論文をさがす

抄録

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.

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.

収録刊行物

  • コンピュータソフトウェア = Computer software

    コンピュータソフトウェア = Computer software 25(3), 20-32, 2008-07-25

    Japan Society for Software Science and Technology

参考文献:  62件中 1-62件 を表示

被引用文献:  7件中 1-7件 を表示

各種コード

  • NII論文ID(NAID)
    110006840397
  • NII書誌ID(NCID)
    AN10075819
  • 本文言語コード
    JPN
  • 資料種別
    Journal Article
  • ISSN
    02896540
  • NDL 記事登録ID
    9599917
  • NDL 雑誌分類
    ZM13(科学技術--科学技術一般--データ処理・計算機)
  • NDL 請求記号
    Z14-1033
  • データ提供元
    CJP書誌  CJP引用  NDL  NII-ELS  IR  J-STAGE 
ページトップへ