权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

個体変数を用いない,名辞を基礎とする新しい論理体系の構築と応用

基于命名法的不使用单个变量的新逻辑系统的构建和应用

基本信息

批准号：
07780301
负责人：
西原典孝
金额：
$ 0.51万
依托单位：
Yamagata University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1995
资助国家：
日本
起止时间：
1995 至无数据
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07780301/
关键词：
名辞論理知識表現意味解析推論

项目摘要

1.名辞論理体系をベースに,日本語におけるいくつかの高階的意味表現の論理的な意味解析を行った.ここで高階的意味表現とは,「太郎はゆっくり走る」や「太郎が階段を降りる音」,「太郎が花子を嫌う理由」等,述語論理ベースに意味を記述しようとする高階論理になるものを指す.述語論理はすべての意味を,個体と個体間の関係として捉えるため,このような表現は高階論理式にせざるをえなかった.一方,名辞間の関係を直接的に記述できる名辞論理おいては,真の高階命題を導入することなく,このような表現が扱えることが分かった.すなわち,名辞論理の動詞命題に,様々な状況を表す状況リストなる連用修飾構造を新たに導入することで,このような高階的表現の意味記述を可能とした.さらに,従来の言語学的分類で外の関係と呼ばれていた連体修飾構造を,その論理的構造からいくつかにタイプ分けできることが分かった.2.より柔軟な知識表現を可能とするため,名辞論理にオブジェクト指向型論理の発想を取り入れた新たな枠組みを試験的に構築した.特に,動詞命題をイベントオブジェクトとして捉え直し,名詞概念を表す通常のオブジェクトと同等に扱う方法を考えた.これによって,動詞命題間の演繹関係が,オブジェクト間の階層関係(is-a関係)として取り扱えるようになった.またこのような枠組みの応用性を見るため.ごく基本的なミニマム体系をベースに,実際の日本語における名詞句「AのB」の意味解析を行った.今回の試験研究により,このような論理的枠組み有用性が確認できたので,今後は厳密な論理体系として構築(意味論や公理の厳密な定義の記述)していく予定である.

1. Noun theory system をベースに, Japanese におけるいくつかのhigh-level meaning expressionの理的なmeaning analysisを行った.ここでHigh-level meaning expressionとは,「Taro はゆっくり行る」や「Taro がphase を fall りる音」,「 "The reason why Taro Hanako dislikes you" and so on, the narration theory ベースにmeaning をnarrative しようとするhigh-level theory になるものを refersす.Predicate theory means meaning, individual and inter-individual relationship, capture, expression and high-level theory理式にせざるをえなかった.On the one hand, the relationship between nouns and terms is a direct description of the nouns and terms theory, and the truth is High-order proposition することなく, このようなexpression がえることが分かった.すなわち, noun theory の动The word proposition に,様々なSTATEをexpressionすconditionリストなる is used together with the modified structure を新たに to introduce することで,このようなHigh-level expression of meaning description is possible. It is possible to describe the meaning of expression. Modification structureを,その理的structuralからいくつかにタイプ分けできることが分かった.2.よりsoftなIt is possible to express knowledge, and it is possible to express the theory of nouns and words.をtest験的にconstructした.特に,verb propositionをイベントオブジェクトとしてcaptureえstraightし, noun conceptをexpressionすUsually it is a deductive relationship between verbs and propositions, and it is an equivalent method. Hierarchy relationship between ェクト(is-a relationship)としてtake り扱えるようになった.またこのような枠组みのUsability を见るため.ごくBasic なミニマム system をベースに,実记の日本语における noun sentence 「AのB 』のmeaning analysisを行った. This time's trial studyにより,このようなlogical theory's usefulnessがconfirmationできたので, From now on, the system of は即米ななとして will be constructed (the description of the meaning of the は即米なDefinition of the meaning theory) and していく下注である.