(100) 法的推論システム : new HELIC-II


	マ シ ン：PIM/UNIXマシン
	環　　境：PIMOS/UNIX, KLIC
	言　　語：KL1
	ソース量：20 MB
	文　　書：ユーザーズマニュアル (日本語 / 英語)

概要

多様な法的推論の機能を持ち、法律家の複雑な推論過程をシミュレートするた めの実験用ソフトウェアツールである。

特徴

以下の法的推論の様々な側面をシミュレートできる実験ツールである。

機能

法的推論の重要な２つの要素である「論証生成機能」と「価値判断機能」を融 合し、さらに「論争機能」を付加した推論システムである。旧 HELIC-II の機 能を大きく拡張したものとなっている。

「論証生成機能」は、演繹、状況の類比、ルールの抽象化などからなり、「価 値判断機能」は、非単調推論の１つである論駁推論 (defeasible reasoning) からなる。

また、「論争機能」は、対象とする論証を最強にするための仮説生成と、戦略 手続からなる。

ＦＴＰ

www-admin@icot.or.jp