法的推論システムHELIC-II(1) : 並列定理証明器MGTPを拡張した法律条文に基づく推論
スポンサーリンク
概要
- 論文の詳細を見る
HELIC-IIは並列処理マシン上で開発された法的推論システムであり、事件の事実関係を入力すると考えられる全ての法的判断を出力する。このような機能を条文に基づく推論と事例に基づく推論をそれぞれ相補的に推論させることによって実現している。条文に基づく推論は、条文から抽出した条文ルールと呼ばれるルールを最初に与えられる事件の事実関係と事例に基づく推論で求めた仮説に適用し、罪責とそれが求まった過程を出力するものである。この一連の処理を行うのが並列定理証明器MGTP(Model Generation Theorem Prover)を拡張した推論エンジンである。この推論エンジンの特徴は並列モデル生成機構による高速推論,否定を含むルールの扱い,対立する可能性のある仮説の扱いなどである。
- 一般社団法人情報処理学会の論文
- 1992-09-28
著者
関連論文
- 法的推論システムHELIC-II(4) : 論理構築支援
- 法的推論システムHELIC-II(3) : 判例を用いた類似検索と判断生成
- 法的推論システム HELIC-II
- 法的推論システムHELIC-II(2) : 類似事例検索の改良と評価
- 法的推論システムnew HELIC-IIの概要
- 状況理論による法的推論の形式化
- 第5世代コンピュータ国際会議1992報告
- 法的推論システムHELIC-II(1) : 並列定理証明器MGTPを拡張した法律条文に基づく推論
- 法的推論システムHELIC-II (「事例ベース推論」)
- 知識情報処理技術とヒトゲノム計画
- 法律エキスパートシステム
- 並列オブジェクトモデルに基づくLSI配線プログラム (並列処理)
- 制約とマルチコンテクストに基づく並列協調問題解決