课题基金 / 基金详情

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

形式的意味論における概念形成モデル
形式语义中的概念形成模型
批准号：
05213220
负责人：
岡田 光弘
金额：
$0.77万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1993
资助国家：
日本
项目状态：
已结题
起止时间：
1993 至 --
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-05213220/
关键词：
論理的意味論モデル理論モンターギュ文法可能世界モデル関連性理論様相ムード表現

项目摘要

项目成果

岡田 光弘的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
外延的概念理解の典型的な枠組であるモデル論的意味論をベースにして自然言語、特に日本語固有の各種の内包性、様相概念を多世界モデル意味論(クリプキ可能世界モデル理論)の手法を用いて導入し、外延的意味論の上により高度な概念構造の表現論を与えた。このことはモンターギュ文法理論の手法を用いて高階の様相論理体系の中で実現された。特に日本語の「モード」「話者の意図」「話者の主観的態度」「様相」を表現する各種のとりたて助詞、係り助詞、敬語表現、感情動詞、知覚動詞、いろいろな文末の言い切り表現等の論理的意味構造を表わすことが可能な高階様相論理体系、内包論理体系の充実を前年度に引き続き進めた。又、この高階タイプ付論理表現の特徴をUNIXワークステーションを用いてUNIX環境下で分析した。このことを通してMLを変形して設計された我々の言語表現用プログラム言語によりモンダーキュ文法に基づく概念表現論が非常によく表わされることが示された。
期刊论文(16)
专著(0)
科研奖励(0)
会议论文
西山佑司: "コンテクスト効果と関連性" 英語青年. 8月号. 1-16 (1993)
Yuji Nishiyama：“语境效应和相关性”英语青年八月号（1993 年）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
西山佑司: "言語学の最新情報:関連性理論とアイロニー研究" 月刊言語. 5月号. 118-121 (1993)
Yuji Nishiyama：“语言学最新信息：关联理论和反讽研究”月刊 118-121（1993）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
岡田光弘: "Lambdalg-Higher Order Algebraic Specification Language(with y.Gui)" Springer Lecture Notes in Computer Science. June. 712-715 (1993)
Mitsuhiro Okada：“Lambdalg 高阶代数规范语言（带有 y.Gui）”Springer 计算机科学讲义 712-715（1993 年）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
西山佑司: "NP1のNP2とNP1 of NP2" 日本語学. (1993)
Yuji Nishiyama：“NP2 的 NP1 和 NP2 的 NP1”日语语言研究（1993）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
共 8 条
    論証・証明の哲学の深化に向けた学際的「論理の哲学」研究
    • 批准号：
      23K20416
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $3.24万
    • 财政年份：
      2024
    • 负责人：
      岡田 光弘
    • 依托单位：
      Keio University
    On information presentation methods for easier decison making: Studies on multi-attribute decision making
    • 批准号：
      21K18339
    • 项目类别：
      Grant-in-Aid for Challenging Research (Exploratory)
    • 资助金额：
      $4.08万
    • 财政年份：
      2021
    • 负责人：
      岡田 光弘
    • 依托单位：
      Keio University
    Interdisciplinary studies on philosophy of logic: Toward the development of philosophy of proof and demonstration
    • 批准号：
      21H00467
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $8.49万
    • 财政年份：
      2021
    • 负责人：
      岡田 光弘
    • 依托单位：
      Keio University
    Study on "Disagreement" in logic
    • 批准号：
      19KK0006
    • 项目类别：
      Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
    • 资助金额：
      $7.49万
    • 财政年份：
      2019
    • 负责人：
      岡田 光弘
    • 依托单位：
      Keio University
    海外基金