論理型言語BQLとその知的プログラム
スポンサーリンク
概要
- 論文の詳細を見る
本論文では論理型言語BQLを紹介し,そのプログラム例を示す.BQLはプログラムの数学的表現であるv行為を計算機で解釈するための言語である.BQLでは他の論語型言語と異り,通常の意味での否定記号や量記号を扱うことが出来るのでより自然な表現をすることが出来る.全てのv行為を計算機で解釈するのは理論上不可能である.本研究は,そこでどのような範囲のv行為であれば計算機で解釈可能であるか探る試みの第一歩である.
- 埼玉短期大学の論文
- 1996-03-22