論理的意味論及び関連性理論を用いた対話理解モデル
論理的意味論及び関連性理論を用いた対話理解モデル
批准号:
06232216
负责人:
岡田 光弘
金额:
$1.02万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
财政年份:
1994
资助国家:
日本
项目状态:
已结题
起止时间:
1994 至 --
中文摘要
点击翻译按钮获取中文摘要
英文摘要
音声対話のコンテクストにおける言葉の意味の理解についての論理的分析を進めた。特に、伝統的な論理的意味論(真理条件に立脚した指示的意味論)、可能世界意味論、言語行為論、メンタル・スペース理論に対して、音声対話の意味論として使用したときにどのような問題点を生ずるかを批判的に検討した。これらの検討の結果をふまえて、音声対話時の話し手と聞き手との間の意味の理解に対して、我々自身の論理的意味論モデルの構築を進めた。我々の意味論モデルは対話等のコンテクストに依存しない中核的(又、中立的)意味をモンターギュ意味論のフレームワークで与え、又 対話時のコンテクスト情報を手続き的意味論で与える、という二重の構造を持つ。この手続き的意味論は関連性原理を用いて定式化される。音声対話時には音声情報がコンテクスト情報の中でも特に重要である。疑問形式の対話のコンテクストを設定して、音声情報がどのように働いているかについての実験も進めている。
期刊论文(12)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
岡田 光弘: "線形論理とその応用I,II,III,IV" ソフトウェア科学会誌. (近刊). (1995)
Mitsuhiro Okada:“线性逻辑及其应用 I、II、III、IV”软件科学学会期刊(即将出版)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
西山佑司: "メンタルスペース理論におけるコピュラの分析はどこまで妥当か" 認知科学. 1. 135-140 (1994)
Yuji Nishiyama:“Copula 分析在心理空间理论中的有效性如何?” 1. 135-140 (1994)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
石黒 英子: "On Representations" European Journal of Philosophy. 2. 109-124 (1994)
Eiko Ishiguro:《论表征》《欧洲哲学杂志》2. 109-124 (1994)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
岡田 光弘: "A Direct Proof of Buchholz's Hydra Game on Labeled Finite Trees(with M.Hamano)" Archiv for Mathematical Logic. (近刊).
Mitsuhiro Okada:“Buchholzs Hydra Game on Labeled Finite Trees 的直接证明(与 M.Hamano)”数学逻辑档案(即将出版)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
岡田 光弘: "Abstract Data Type Systems(with J.‐P. Jouannaud)" Theoretical Computer Science. (近刊). (1995)
Mitsuhiro Okada:“抽象数据类型系统(与 J.‐P. Jouannad)”理论计算机科学(即将出版)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
共 6 条
論証・証明の哲学の深化に向けた学際的「論理の哲学」研究
-
批准号:23K20416
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$3.24万
-
财政年份:2024
-
负责人:岡田 光弘
-
依托单位:
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
-
负责人:岡田 光弘
-
依托单位:
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
-
负责人:岡田 光弘
-
依托单位:
Study on "Disagreement" in logic
-
批准号:19KK0006
-
项目类别:Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
-
资助金额:$7.49万
-
财政年份:2019
-
负责人:岡田 光弘
-
依托单位:
Reading "Zen-no-kenkyu" of Nishida from the view of Wittgenstein's Language Game
-
批准号:18F18798
-
项目类别:Grant-in-Aid for JSPS Fellows
-
资助金额:$0.9万
-
财政年份:2018
-
负责人:岡田 光弘
-
依托单位:
論理学・認知科学・遺伝学を統合した論理推論研究
-
批准号:18650067
-
项目类别:Grant-in-Aid for Exploratory Research
-
资助金额:$2.11万
-
财政年份:2006
-
负责人:岡田 光弘
-
依托单位:
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
-
批准号:16016276
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$3.52万
-
财政年份:2005
-
负责人:岡田 光弘
-
依托单位:
日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究
-
批准号:15630002
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.34万
-
财政年份:2003
-
负责人:岡田 光弘
-
依托单位:
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
-
批准号:15017278
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$1.66万
-
财政年份:2003
-
负责人:岡田 光弘
-
依托单位:
特定領域研究及び国際共同研究「新しい論理学の展開」のための企画研究
-
批准号:14601001
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.28万
-
财政年份:2002
-
负责人:岡田 光弘
-
依托单位:
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
-
批准号:14019078
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$2.24万
-
财政年份:2002
-
负责人:岡田 光弘
-
依托单位:
国際共同研究及び特定領域研究「新しい論理学の展開」のための企画
-
批准号:13891001
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$0.83万
-
财政年份:2001
-
负责人:岡田 光弘
-
依托单位:
発展的実時間システムの自動検証を可能にする新しい論理的検証理論
-
批准号:13878059
-
项目类别:Grant-in-Aid for Exploratory Research
-
资助金额:$1.28万
-
财政年份:2001
-
负责人:岡田 光弘
-
依托单位:
モデルチェッキング法の限界を超える新しい論理的手法によるダイナミックな実時間システムのための検証ツールの実現
-
批准号:13224081
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas (C)
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:岡田 光弘
-
依托单位:
国際共同研究及び特定領域研究「新しい論理学の展開」のための企画研究
-
批准号:12891001
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.66万
-
财政年份:2000
-
负责人:岡田 光弘
-
依托单位:
実時間システムの形式仕様・検証のための新しい論理的方法論
-
批准号:11878054
-
项目类别:Grant-in-Aid for Exploratory Research
-
资助金额:$0.51万
-
财政年份:1999
-
负责人:岡田 光弘
-
依托单位:
特定領域研究「新しい論理学の展開」のための企画研究
-
批准号:11891001
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.66万
-
财政年份:1999
-
负责人:岡田 光弘
-
依托单位:
構成的論理と代数的仕様言語を融合した発展的ソフトウェア開発言語
-
批准号:10139237
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas (A)
-
资助金额:$0.9万
-
财政年份:1998
-
负责人:岡田 光弘
-
依托单位:
線形論理の意味論的手法による並行計算概念および実行可能計算量概念の論理的分析
-
批准号:09878062
-
项目类别:Grant-in-Aid for Exploratory Research
-
资助金额:$1.22万
-
财政年份:1997
-
负责人:岡田 光弘
-
依托单位:
タイプ理論および線形論理の情報科学への応用に関する国際共同研究の企画
-
批准号:09898005
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.54万
-
财政年份:1997
-
负责人:岡田 光弘
-
依托单位:
海外基金