形式的意味論による概念形成モデル

基于形式语义的概念形成模型

• 批准号: 04229222
• 负责人: 岡田 光弘
• 金额: $ 0.96万
• 依托单位: Keio University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1992
• 资助国家: 日本
• 起止时间: 1992 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-04229222/
• 关键词: 内包的意味; 内包論理; 指示的意味論; モデル理論; モンターギュ意味論; 多世界モデル; 様相; 言語分析哲学

石黒が専門とする言語為論、可能世界意味論、西山が専門とする自然言語意味論、生成文法意味論、西脇が専門とするモデル論的意味論、岡田が専門とするモンターギュ意味論、プログラム言語意味論の最近の成果を用いて、言語と概念把握との関係についての論理的意味論モデルを形成することを平成4年度の目標とした。我々の方法論の特微は、概念把握、概念形成を言語の意味理解という観点から考察する点にある。特に、論理的意味論、言語分析哲学の基本的研究課題である「指示と指示対象」、「外延的意味と内包的意味」、「命題的態度」、「志向的意味」「modalityとmood」等の問題を通して、我々の概念把握の本質が論理的側面から考察された。特に、我々の概念把握は伝統的なタルスキー・カルナップ流の外延的モデル論的意味論ではとらえられないことがよく知られているが、上記の各問題の分析をとおして我々は外延的意味論にかわる内包論理を基本とする意味論体系を構築した。この意味論体系においては、我々の概念は内包的意味として表現されることとなった。より具体的には、伝統的モデル論的意味論をベースにして、各種の内包性、様相を多世界モデル意味論の手法を用いて導入し、外延的意味論の上に概念形成物の場を与えた。知識表現の枠組としては、一階論理式による通常の論理表現をモンターギュ文法論の手法を用いて高階の論理式表現に拡張した。平成4年度に形成された我々の意味論体系は、次年度(平成5年度)にUNOXワークステーション上で実装される。特に平成4年度において、この実装のための準備が行なわれた。又各言語表現に対応する可能世界を用いた概念表現から、特定の状況下での概念内容(内包的意味)を導出するための可能世界の選択理論を言語行為論を用いて構成中であり、これも次年度に実装化される予定である。

Ishiguro's Theory of Speech Meaning, Theory of Possible World Meaning, Theory of Natural Speech Meaning, Theory of Generative Grammatical Meaning, Theory of Meaning of Nishiwaki's Theory of Speech Meaning, Okada's Theory of Speech Meaning, Theory of Recent Achievements of Speech Meaning, Theory of Meaning of Logic of Speech Concept, Theory of Meaning Formation, and Goal of Heisei 4 The special features of my methodology include concept grasp, concept formation, and speech meaning understanding. Special, logical meaning theory, basic research topics of speech analysis philosophy, such as "indication and indication object,""extension meaning and inclusion meaning,""attitude of proposition,""meaning of aspiration,""modality and mood," etc., are discussed. The concept of "I" grasps the meaning theory of "I" and "I" of "I". The concept of "self" and "self" is embodied in the system of meaning theory. The meaning theory of concrete and systematic meaning theory is introduced into the field of concept formation of various inclusive and multi-phase meaning theory. Knowledge representation is composed of first-order logical expressions, ordinary logical expressions, grammar theories, and higher-order logical expressions. In 2004, the meaning system was formed, and in the following year (2005), the system was installed. In the fourth year of the year, the preparation of the equipment was carried out. In addition, the conceptual representation of the possible world, the conceptual content of the specific situation (the meaning of the inclusion), the derivation of the possible world selection theory, the use of speech act theory, and the construction of the next year's implementation.

项目成果

西山 佑司: "役割関数と変項名詞句" 慶応義塾大学言語文化研究所紀要. 24. (1992)

Yuji Nishiyama：“角色功能和可变名词短语”庆应义塾大学语言文化研究所公告24。（1992）

岡田 光弘: "Constructive Hierarchical Non-Monotonic Logic and Epistemic Logic" 慶応義塾大学三田哲学会編「哲学」. (1993)

冈田光宏：《构造性层次非单调逻辑与认知逻辑》庆应义塾大学三田哲学会编《哲学》（1993）。

岡田 光弘,渡辺 和恵: "Denotational Semanitics for Interogative Sentences in Japanese." The Korea-Japan Symposium on Compubational Linynistcs. 3. (1993)

Mitsuhiro Okada、Kazue Watanabe：“日语疑问句的指称语义学”。韩国-日本计算语言研讨会 3。（1993 年）

岡田 光弘,渡辺 和恵: "Montague Grammertical Analysis of Japanese Case Particles" The Korea-Japan Symposium on Compututational Linguestics. 3. (1993)

Mitsuhiro Okada、Kazue Watanabe：“日语格助词的蒙太古语法分析”韩日计算语言学研讨会3。（1993）。

岡田 光弘 & P.J.Scott eds.(編集): "Proceedings of Montreal Workshop on Programming Language Theory" Center for Patterm Recogmition and Machine Intelligence of Montreal., (1992)

Mitsuhiro Okada 和 P.J.Scott 编辑（eds.）：“蒙特利尔编程语言理论研讨会论文集”，蒙特利尔模式识别和机器智能中心，（1992 年）