日常語をベースとした知識表現法とその推論処理法

概要

論文の詳細を見る
We propose a knowledge representation scheme WPL and an inference method for it. WPL is an extended predicate logic using ordinary words as predicate symbols and terms. The Knowledge-base represented by WPL are converted to the order-sorted logic formats and the inference processes are executed based on the resolution principle. We extend the inference rules proposed by Beierle et al. in order to deal with complex sort symbols like noun phrases. Each word in sort symbol can represent both a general concept and a particular object, denoted by a variable or a constant having the word itself as the sort. It can be proper noun itself. We also mention the application scheme of the proposed inference rules and an algorithm for judging the subsort relation between complex sort symbols.
拓殖大学の論文
2006-10-20