AN ABDUCTIVE APPROACH TO DISCOURSE UNDERSTANDING USING TENSE AND OLD-NEW INFORMATION AND ITS APPLICATION TO NI-BASED TROUBLESHOOTERS

运用时态和新旧信息进行话语理解的溯因法及其在基于 NI 的疑难解答中的应用

• 批准号: 05451160
• 负责人: ISHIKAWA Akira
• 金额: $ 1.73万
• 依托单位: SOPHIA UNIVERSITY
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (B)
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 1995
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-05451160/
• 关键词: ABDUDTIVE REASONING; NATURAL LANGUAGE INTERFACE; DISCOURSE ANLYSIS; DISCOURSE REPRESENTATION THEORY16FA05 : DISCOURSE REFERENT; LABELLED DEDUCTIVE SYSTEM; ATMS; DIALOG GAMES; 対話ゲーム; 自然言語インターフェース; 対話管理; テーマ・レ-マ; タイプ付ラムダ算法; 対話指示対象

This study has as its main goals the development of a reasoning system which can reflect tense and old-new information of NL discourse and its application to a practical troubleshooting system as a component of its NL interface. Although the study is at an end in terms of its assigned term, it has covered no more than the fundamentls of the workings of NL temporal expressions as viewed from the viewpoints of some of the most promising theories to be used in such a reasoning system. It has been established that in order for a machine to come close enough to NL inferencing to support reasnable man-machine dialogs, it is necessay for the reasoning procedure to take into account the discourse referents constantly introduced into the text and updated as the text unfolds. For management of discourse referents, several proposals have been considered to assess their strengths and weaknesses. The results of this assessment are summarised in our final report. Since discourse referent management … More involves several different modes of logical reasoning, the language to be used for such purposes should be rich in expressivity and easy to handle, Muskens' lambda-categonical language has received a higher rating in our appraisal in this connection over Kamp's original DRT.It has also been found out that temporal reasoning presupposes a method of extracting temporal information from NL expressions. No reasonable proposal has been made of an algorithmic method with which the temporal meaning of an expression can be compositionally deducible from that of its components. Ter Muellen's idea of relating the aspectual characteristics of phrases to the behavior of generalized quantifiers is favorably considered to support one way of developing the alogorithmic method though it is still in the stagee of a rough sketch. Our original ambition was to present a concrete instance of a algorithmic method treating tense and old-new information as reflected in the Japanese tensee system and the opposition of wa-ga and to turn it into a deductive system. As indicated above, the task remains to be undertaken in a future study. Less

本研究的主要目标是开发一个推理系统，它可以反映紧张和新旧信息的NL话语和它的应用到一个实际的故障排除系统作为其NL接口的组成部分。虽然这项研究是在其指定的术语结束，它只涵盖了更多的NL时间表达式的工作原理，从一些最有前途的理论的观点来看，在这样一个推理系统。它已经建立，为了使机器来足够接近NL推理，以支持reasnable人机对话，它是necessay的推理过程，以考虑到不断引入到文本中的话语所指，并更新的文本展开。对于话语指称的管理，已经考虑了几个建议，以评估其优点和缺点。我们的最终报告总结了此次评估的结果。由于话语所指管理 ...更多信息 时间推理涉及到几种不同的逻辑推理模式，用于这一目的的语言应具有丰富的表达性和易于处理，在这方面，Muskens的时间推理语言比Kamp的原始DRT语言得到了更高的评价，同时还发现时间推理以一种从NL表达式中提取时间信息的方法为前提。没有一个合理的建议已经提出了一个算法的方法，表达的时间意义可以从其组成部分的组成推断。Ter Muellen将短语的体貌特征与广义量词的行为联系起来的思想被认为是发展逻辑方法的一种支持，尽管它仍然处于粗略的草图中。我们最初的目标是提出一个具体的例子，一个算法的方法来处理时态和新旧信息，反映在日本的tensee系统和wa-ga的反对，并把它变成一个演绎系统。如上所述，这项任务仍有待于今后的研究。少

项目成果

Y.Uetake: "A Formal Representation of Thematic-Rhematic Stoueture of Sentences Based on a Typed hambda.Calculus" Proceedings of COLING '94. 1105-1108 (1994)

Y.Uetake：“基于类型化 Hambda.Calculus 的句子主位-流式结构的形式表示”COLING 94 论文集。

石川 彰: "時間の構成を考慮した談話の時間構造の導出" 日本認知科学会第12回大会論文集. 86-87 (1995)

Akira Ishikawa：“考虑时间结构的话语时间结构的推导”日本认知科学学会第十二届年会记录86-87（1995）。

Y.Uetake: "A generalization of the Nehar:problem to multilinear operators" Preprint of Semester on Linear Operators,at S.Banach International Mathematical Center,Warsaw.April 1994. (1994)

Y.Uetake：“Nehar 的概括：多线性算子问题”线性算子学期预印本，华沙 S.Banach 国际数学中心，1994 年 4 月。（1994 年）

N. Ogata 他: "Reference in Dialogues and Shared Belief Revision" Language, Information and Computation, Proceedings of the 10th Pacific Asia Conference. 205-214 (1995)

N. Ogata 等人：“对话中的参考和共同信念修订”语言、信息和计算，第 10 届亚太会议记录 205-214（1995 年）。

Y.Uetake: "Adaptive Observer for Continuous Descriptive Systems" IEEE Transactions on Automatic Control. 39-10. 2095-2100 (1994)

Y.Uetake：“连续描述系统的自适应观察者”IEEE 自动控制交易。