Loading article…
テーブル化は、自然言語処理のために最初に開発された手法で、当時はEarley 解析と呼ばれていました。これは、将来の再利用に役立つ可能性のある部分的な成功した分析をテーブル (解析のコンテキストではチャートとも呼ばれます) に保存することで構成されます。
テーブル化とは、実行中に呼び出されるゴールとその答えのテーブルを維持し、同じゴールが後で呼び出されたときにその答えを直接使用することである。テーブル化は、関数シンボルのない任意の（純粋な）Prologプログラムの完全な正確性を保証する。[1]
テーブル化はさまざまな方向に拡張できます。SLG解決または線形テーブル化を通じて再帰述語をサポートできます。マルチスレッド Prolog システムでは、テーブル化の結果をスレッド専用にすることも、すべてのスレッドで共有することもできます。また、増分テーブル化では、テーブル化は変更に反応する可能性があります。[2] [3]
歴史
アーリー演繹という名前で、テーブル化を論理プログラミングの証明手順に適応させたのは、1975年にデイビッド・HD・ウォーレンが書いた未発表のメモに遡る。[4]テーブル化に基づく解釈法は、後にタマキとサトウによって開発され、SLD-resolutionの改良版としてモデル化された。[5]
David S. Warrenと彼の学生は、Prologの意味論を完了意味論から最小モデル意味論に変更するという動機でこの手法を採用しました。Tabled PrologはXSBで初めて導入されました。[6]これにより、真、偽、未知の値を表す3値意味論であるwell-founded semanticsの完全な実装が実現しました。 [7]
参考文献
- ^ Körner, Philipp; Leuschel, Michael; Barbosa, Joao; Costa, Vitor Santos; Dahl, Veronica; Hermengildo, Manuel V.; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador; Ciatto, Giovanni (2022-05-17). 「Prolog の 50 年とその先」.論理プログラミングの理論と実践. 22 (6): 776–858. doi : 10.1017/s1471068422000102 . hdl : 10174/33387 . ISSN 1471-0684.
- ^ Swift, T. (1999). 「非単調プログラミングのためのテーブル化」. Annals of Mathematics and Artificial Intelligence . 25 (3/4): 201–240. doi :10.1023/A:1018990308362. S2CID 16695800.
- ^ Zhou, Neng-Fa; Sato, Taisuke (2003). 「線形テーブル化における効率的な固定点計算」(PDF)。宣言型プログラミングの原理と実践に関する第 5 回 ACM SIGPLAN 国際会議の議事録: 275–283。
- ^ Pereira, Fernando CN; Shieber, Stuart M. (1987). Prolog と自然言語解析. スタンフォード:言語情報研究センター. pp. 185–210.
- ^ 玉木久雄、佐藤泰介 (1986)、「OLD resolution with tabulation」、Lecture Notes in Computer Science、ベルリン、ハイデルベルク：Springer Berlin Heidelberg、pp. 84–98、ISBN 978-3-540-16492-0、2023-10-27取得
- ^ Sagonas, Konstantinos; Swift, Terrance; Warren, David S. (1994-05-24). 「効率的な演繹データベースエンジンとしてのXSB」ACM SIGMOD Record . 23 (2): 442–453. doi : 10.1145/191843.191927 . ISSN 0163-5808.
- ^ Rao, Prasad; Sagonas, Konstantinos; Swift, Terrance; Warren, David S.; Freire, Juliana (1997)、「XSB: 適切に根拠付けられたセマンティクスを効率的に計算するためのシステム」、Logic Programming And Nonmonotonic Reasoning、ベルリン、ハイデルベルク: Springer Berlin Heidelberg、pp. 430–440、ISBN 978-3-540-63255-9、2023-10-27取得
- この記事には、PHILIPP KÖRNER、MICHAEL LEUSCHEL、JOÃO BARBOSA、VÍTOR SANTOS COSTA、VERÓNICA DAHL、MANUEL V. HERMENEGILDO、JOSE F. MORALES、JAN WIELEMAKER、DANIEL DIAZ、SALVADOR ABREU、GIOVANNI CIATTO による CC BY 4.0 ライセンスのもとで利用可能なテキストが組み込まれています。