@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00122296,
 book = {全国大会講演論文集},
 issue = {人工知能及び認知科学},
 month = {Sep},
 note = {HELIC-IIは並列処理マシン上で開発された法的推論システムであり、事件の事実関係を入力すると考えられる全ての法的判断を出力する。このような機能を条文に基づく推論と事例に基づく推論をそれぞれ相補的に推論させることによって実現している。条文に基づく推論は、条文から抽出した条文ルールと呼ばれるルールを最初に与えられる事件の事実関係と事例に基づく推論で求めた仮説に適用し、罪責とそれが求まった過程を出力するものである。この一連の処理を行うのが並列定理証明器MGTP(Model Generation Theorem Prover)を拡張した推論エンジンである。この推論エンジンの特徴は並列モデル生成機構による高速推論,否定を含むルールの扱い,対立する可能性のある仮説の扱いなどである。},
 pages = {29--30},
 publisher = {情報処理学会},
 title = {法的推論システムHELIC-II(1) : 並列定理証明器MGTPを拡張した法律条文に基づく推論},
 volume = {第45回},
 year = {1992}
}