日常語をベースとした順序ソート論理による知識表現法とその推論処理法
スポンサーリンク
概要
- 論文の詳細を見る
We propose a knowledge representation scheme (called WPL) and an inference method for the scheme. In WPL, both simple sentence and complex sentence are represented in one atomic formula. Subordinate clauses in a complex sentence are embedded into the formula forming the main clause. WPL is an extended order-sorted logic that can deal with structured sort symbols consisting of multiple ordinary words like noun phrases. Each word in a sort symbol can represent a general concept or a particular object. If it is the latter, each word stands for a variable or constant having itself as a sort symbol. It may also be a proper noun or variable itself. The inference processes for WPL is executed based on the resolution principle, semantically interpreting the sort symbols word by word. We extend the inference rules proposed by Beierle et al. in order to deal with complex sort symbols. This paper also describes an application scheme of the proposed inference rules and an algorithm for judging the subsort relation between complex sort symbols.
論文 | ランダム
- A subgeneric classification of the genus Vaccinium and the metamorphosis of V. section Bracteata Nakai : more terrestrial and less epiphytic in habit, more continental and less insular in distribution
- シンポジウムI 司会の言葉「扁桃摘出術のガイドライン-日米独-」
- 上気道感染症に対するワクチン予防の可能性
- 変貌する急性感染症と新治療戦略
- 感情とは何か : KLAGES, L.の理論より