自由文による思考プログラミング

摘要

概要：Prologは分野に依存せず論理的な知識をプログラムとして表現できる点で「汎用」で はあるが，1）知識を自由文（各国自然言語の全体を含む）では定義できない，2）学際的な問題に対応し難い，ことがより実用的な汎用性への課題である.そこで，自然言語表現，関連知識の動的ネット引用，ローカルな価値観やタブーの定義等をより簡易に扱う自由文思考プ ログラミング言語「中学$Prolog」を開発した.単一化は，より利用者に分かり易い，自由文に変数を埋め込んだ「言葉方程式」とのパターンマッチングとする.また，問題毎の文脈管理やプログラム間の動的な遷移*引用機能も実装し，より汎用的なQA/RPGサービス用に自由文や推論規則を活用する為の統合実行環境「HUMANOTE」を開発した.これらの仕 組みにより，より実用的な汎用性を目指す論理型AIへのアプローチを提案する.