氏名: 酒本 健二 (l0371635)
論文題目: 仮説に基づく真偽維持システムのJavaによる実現
論文概要
ネットワークの普及に伴い、分散化された知識ベースの間における推論や真偽維持を行うシステムが必要となる。仮説に基づく真偽維持システム(ATMS)は、命題(データ)がどのような文脈で成立するかを管理する知的データベースであるが、上記のようなシステムの実現に対して、互いに矛盾するデータを扱えるという特徴は有用である。本研究では、ネットワーク環境に適した言語であるJavaを用いてATMSを実現し、多エージェント間での推論システムの基礎を構築する。
目次に戻る