CN1484217A - 层次分类与逻辑相结合的自然口语对话描述方法 - Google Patents

层次分类与逻辑相结合的自然口语对话描述方法 Download PDF

Info

Publication number
CN1484217A
CN1484217A CNA031472591A CN03147259A CN1484217A CN 1484217 A CN1484217 A CN 1484217A CN A031472591 A CNA031472591 A CN A031472591A CN 03147259 A CN03147259 A CN 03147259A CN 1484217 A CN1484217 A CN 1484217A
Authority
CN
China
Prior art keywords
expression
class
language
logic
subclass
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CNA031472591A
Other languages
English (en)
Inventor
杜利民
于水源
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Institute of Acoustics CAS
Original Assignee
Institute of Acoustics CAS
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Institute of Acoustics CAS filed Critical Institute of Acoustics CAS
Priority to CNA031472591A priority Critical patent/CN1484217A/zh
Publication of CN1484217A publication Critical patent/CN1484217A/zh
Pending legal-status Critical Current

Links

Landscapes

  • Machine Translation (AREA)

Abstract

本发明一种面向任务的自然语言人机对话中言语的形式化描述体系,涉及人工智能领域的人与计算机交互技术,特别涉及通用性的面向任务的自然口语对话中对于言语的描述方式。本发明描述体系能够同时描述在面向任务的自然语言人机对话中发生的言语的行为目的、对话者在该言语上的心里状态和该言语的语义内容。本发明描述体系采用言语行为理论和现代逻辑相混合的方法,良好的解决了如何建立模型,如何编写对话理解、对话管理和语言生成等问题,便于在对话系统中设计与实现,并且整体性好。

Description

层次分类与逻辑相结合的自然口语对话描述方法
技术领域
本发明涉及人工智能领域的人与计算机交互技术,特别涉及通用性的面向任务的自然口语对话中对于言语的描述方式。
背景技术
面向任务的自然语言人与计算机对话系统,是人与之通过自然语言交换信息达到特定目的计算机系统,是当前国际上人与计算机对话技术研究最重要和最活跃的领域之一。
就目前国际上的研究水平看,针对具体的应用建立一个特定的对话系统,在技术上总是可行的,主要的问题在于如何建立模型,如何编写对话理解、对话管理和语言生成三个主要算法。对不同的应用不能进行平滑地移植。针对平滑地移植的问题,已有的一些研究将对话系统架构成为一个基于代理的管理系统,目的在于尽可能使系统程序和任务数据相分离,减少系统移植的代价。但是,这种方法由于没有统一的数据表达结构,所以给系统实现带来很大困难。
在自然语言对话中,一句话的意义不只是其语义内容,而其语用目的和心理状态对于该言语的理解和使用效果都有着十分重要的意义。在已有的针对通用的对话系统中的言语的描述中,均没有给出以上这些方面的描述。致使在对话系统的设计与实现上,存在着大量的困难,系统的整体性能得不到改善。
解决平滑移植问题的核心是,找到一种通用的口语对话中发生的言语的描述方法。而言语的意义包含两大部分:语义内容和语用目的。本发明的核心就是根据现代语言学和逻辑学的研究成果,设计一种通用的描述口语对话中发生的言语的方法。
发明内容
本发明的目的是提供一种自然口语对话的CSL言语描述体系,可以良好的解决如何建立模型,如何编写对话理解、对话管理和语言生成等问题,便于在对话系统中设计与实现,并且整体性好。
为达到上述目的,本发明的技术解决方案是提供一种通用的面向任务的自然口语对话的CSL言语描述体系,该体系描述了一般性的面向任务的自然口语对话中言语的行为目的,心理状态,还同时描述了该言语的语义内容。
所述的自然口语对话的CSL言语描述体系,该体系首先,把言语行为分为五个语用类别,在每个类别中,又根据具体的目的和语用力度分为子类;然后,根据话语的语义内容之间存在的各种逻辑关系,引入逻辑表达式来表达话语的语义内容。
所述的自然口语对话的CSL言语描述体系,其所述五个语用类别,包括阐述类,指令类,承诺类,表达类和宣告类。
所述的自然口语对话的CSL言语描述体系,其所述子类,包括(如下表):
  类别   子类
  阐述类(Representatives)   陈述(State)
  断定(Assert)
  主张(Claim)
  猜测(Guess)
指令类(Directives)   请求(Request)
  劝告(Advise)
  命令(Demand)
  提问(Question)
承诺类(Commissives)   允诺(Promise)
  承担(Undertake)
  发誓(Vow)
表达类(Expressives)   抱歉(Apologize)
  感谢(Thank)
  后悔(Regret)
  祝贺(Congratulate)
  问候(Greeting)
宣告类(Declarations)   命名(Name)
  指派(Appoint)
  宣告(Declare)
所述的自然口语对话的CSL言语描述体系,其所述逻辑表达式,包括疑问逻辑、时间逻辑和命令逻辑表达式。
所述的自然口语对话的CSL言语描述体系,其所述疑问逻辑表达式,对于三种不同的疑问句,采用不同的表达方式;a、选择问是指在问句中包含全部的答案,让使用者从中选择,是在陈述句谓词中在对应的选择项上使用符号∨,并加问号;b、是非问可以被看作是一种特殊的选择问,选择的范围是两个相反的命题,是在疑问项前加问号“?”;c、特指问的答案没有在问句中给出,是在于寻找答案,祈使句用祈使语调,句末有“吧”“呀”语气词。
所述的自然口语对话的CSL言语描述体系,其所述时间逻辑表达式,在谓词命题符号前加入时态算子。
所述的自然口语对话的CSL言语描述体系,其所述命令逻辑表达式,使用命令逻辑的符号来表达,在谓词命题表达式前面加上命令算子符号。
所述的自然口语对话的CSL言语描述体系,其对省略句子,它的描述方法与没省略前的描述是相同的,只是在省略位置使用约定符号代替。
所述的自然口语对话的CSL言语描述体系,其言语行为的语用分类和话语语义的逻辑表达为一个整体,构成自然语言对话的C_S_L形式化描述体系,其中,C和S两个表达式表达了一段话语的语用目的、言语行为带来的后果和心理状态,L表达式表达了话语的命题内容。
所述的自然口语对话的CSL言语描述体系,其C_S_L形式化描述体系既可以作为用户话语的内部表达式,也可以作为生成系统话语的符号表达式,人与计算机的自然语言对话,能抽象成为C_S_L表达式之间的映射。
具体实施方式
本发明方法提出了自然语言对话的C_S_L形式化描述体系。
首先,把言语行为分为五个大的语用类别,在每个类别中,又根据具体的目的和语用力度等分为子类。称前者为分类(Class)表达式,简称C表达式,称后者为附属分类(Subclass)表达式,简称S表达式。C表达式的取值内容为五个:阐述类(representatives),指令类(directives),承诺类(commissives),表达类(expressives),宣告类(declarations)。S表达式类作为C类的子类,它们是阐述类(Representatives):陈述(State),断定(Assert),主张(Claim),猜测(Guess);指令类(Directives):请求(Request),劝告(Advise),命令(Demand),提问(Question);承诺类(Commissives):允诺(Promise),承担(Undertake),发誓(Vow);表达类(Expressives):抱歉(Apologize),感谢(Thank),后悔(Regret),祝贺(Congratulate),问候(Greeting);宣告类(Declarations):命名(Name),指派(Appoint),宣告(Declare)。
然后,考虑到话语的语义内容之间存在各种逻辑关系,引入逻辑表达式来表达话语的语义内容。它主要由谓词逻辑表达式构成。为了进一步表达自然语言中语义的不确定性、时间性等一系列复杂含义,又引入了疑问逻辑、时间逻辑和命令逻辑等表达式。这部分表达式被统称为逻辑(Logic)表达式,简称L表达式。对于基本肯定陈述句型,采用谓词逻辑表达式;对于疑问句型,采用问题逻辑表达式,并且对于三种不同的疑问句,采用不同的表达方式,选择问是指在问句中包含全部的答案,让听者从中选择。它的形式表达式是在陈述句谓词中在对应的选择项上使用符号∨,并加问号。是非问可以被看作是一种特殊的选择问,选择的范围是两个相反的命题。对它的形式化表示是在疑问项前加“?”。特指问的答案没有在问句中给出,使用它的目的就是在于寻找答案;祈使句是用来要求、请求或命令别人做或不做什么事的句子。祈使句用祈使语调,句末可以有“吧”“呀”等语气词。使用命令逻辑的符号来表达,在谓词命题表达式前面加上命令算子符号“!”。即一个命令表达式就有这个样子:!L,L表示一个普通的逻辑表达式;在对话系统中,大部分涉及到的是一般现在时的句子,但是有时候也会涉及到其他时态。这些时态对于推理是很关键的,因为事物之间的因果关系和时序关系有紧密的相关性。本方法采用时态逻辑的表达方式。在谓词命题符号前加入时态算子:P表示过去,T表示现在,F表示将来,PP表示过去完成时,TP为现在完成时,FP则为将来完成时;在应用领域中,经常有这样的语义关系:某些事物之间有某种语义关系,但是去掉其中的几个事物以后,其余的事物之间的语义关系仍保持不变。这样的句子,被称为省略句子,它的描述方法与没省略前的描述是相同的,只是在省略位置使用约定符号NULL代替。
言语行为的语用分类和话语语义的逻辑表达作为一个整体,构成自然语言对话的C_S_L形式化描述体系。其中,C和S两个表达式表达了一段话语的语用目的、言语行为带来的后果和心理状态,L表达式表达了话语的命题内容。在人机自然语言对话系统中,C_S_L形式化描述体系既可以作为用户话语的内部表达式,也可以作为生成系统话语的符号表达式,人与计算机的自然语言对话,从而抽象成为C_S_L表达式之间的映射。

Claims (11)

1、一种层次分类与逻辑相结合的自然口语对话描述方法,其特征在于,该体系描述了一般性的面向任务的自然口语对话中言语的行为目的,心理状态,还同时描述了该言语的语义内容。
2、如权利要求1所述的方法,其特征在于,该体系首先,把言语行为分为五个语用类别,在每个类别中,又根据具体的目的和语用力度分为子类;然后,根据话语的语义内容之间存在的各种逻辑关系,引入逻辑表达式来表达话语的语义内容。
3、如权利要求2所述的方法,其特征在于,所述五个语用类别,包括阐述类,指令类,承诺类,表达类和宣告类。
4、如权利要求2所述的方法,其特征在于,所述子类,包括:阐述类的子类,指令类的子类,承诺类的子类,表达类的子类,宣告类的子类。
5、如权利要求2所述的方法,其特征在于,所述逻辑表达式,包括疑问逻辑、时间逻辑和命令逻辑表达式。
6、如权利要求5所述的方法,其特征在于,所述疑问逻辑表达式,对于三种不同的疑问句,采用不同的表达方式;a、选择问是指在问句中包含全部的答案,让使用者从中选择,是在陈述句谓词中在对应的选择项上使用符号∨,并加问号;b、是非问可以被看作是一种特殊的选择问,选择的范围是两个相反的命题,是在疑问项前加问号“?”;c、特指问的答案没有在问句中给出,是在于寻找答案,祈使句用祈使语调,句末有“吧”“呀”语气词。
7、如权利要求5所述的方法,其特征在于,所述时间逻辑表达式,在谓词命题符号前加入时态算子。
8、如权利要求5所述的方法,其特征在于,所述命令逻辑表达式,使用命令逻辑的符号来表达,在谓词命题表达式前面加上命令算子符号。
9、如权利要求1所述的方法,其特征在于,对省略句子,它的描述方法与没省略前的描述是相同的,只是在省略位置使用约定符号代替。
10、如权利要求1所述的方法,其特征在于,言语行为的语用分类和话语语义的逻辑表达为一个整体,构成自然语言对话的C_S_L形式化描述体系,其中,C和S两个表达式表达了一段话语的语用目的、言语行为带来的后果和心理状态,L表达式表达了话语的命题内容。
11、如权利要求1所述的方法,其特征在于,C_S_L形式化描述体系既可以作为用户话语的内部表达式,也可以作为生成系统话语的符号表达式,人与计算机的自然语言对话,能抽象成为C_S_L表达式之间的映射。
CNA031472591A 2003-07-11 2003-07-11 层次分类与逻辑相结合的自然口语对话描述方法 Pending CN1484217A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CNA031472591A CN1484217A (zh) 2003-07-11 2003-07-11 层次分类与逻辑相结合的自然口语对话描述方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CNA031472591A CN1484217A (zh) 2003-07-11 2003-07-11 层次分类与逻辑相结合的自然口语对话描述方法

Publications (1)

Publication Number Publication Date
CN1484217A true CN1484217A (zh) 2004-03-24

Family

ID=34156128

Family Applications (1)

Application Number Title Priority Date Filing Date
CNA031472591A Pending CN1484217A (zh) 2003-07-11 2003-07-11 层次分类与逻辑相结合的自然口语对话描述方法

Country Status (1)

Country Link
CN (1) CN1484217A (zh)

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101855630A (zh) * 2007-11-14 2010-10-06 I·波波夫 自然语言的形式化
CN104166643A (zh) * 2014-08-19 2014-11-26 南京金娃娃软件科技有限公司 一种智能问答系统中的对话行为分析方法
CN107679042A (zh) * 2017-11-15 2018-02-09 北京灵伴即时智能科技有限公司 一种面向智能语音对话系统的多层级对话分析方法
CN111859990A (zh) * 2020-07-30 2020-10-30 威海微法信息科技有限责任公司 基于语义逻辑唯一性判断的处理问答数据的方法及系统
CN113488026A (zh) * 2021-09-02 2021-10-08 水木智库(北京)科技有限公司 基于语用信息的语音理解模型生成方法和智能语音交互方法

Cited By (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101855630A (zh) * 2007-11-14 2010-10-06 I·波波夫 自然语言的形式化
CN104166643A (zh) * 2014-08-19 2014-11-26 南京金娃娃软件科技有限公司 一种智能问答系统中的对话行为分析方法
CN107679042A (zh) * 2017-11-15 2018-02-09 北京灵伴即时智能科技有限公司 一种面向智能语音对话系统的多层级对话分析方法
CN107679042B (zh) * 2017-11-15 2021-02-05 北京灵伴即时智能科技有限公司 一种面向智能语音对话系统的多层级对话分析方法
CN111859990A (zh) * 2020-07-30 2020-10-30 威海微法信息科技有限责任公司 基于语义逻辑唯一性判断的处理问答数据的方法及系统
CN111859990B (zh) * 2020-07-30 2023-11-21 韩朝晖 基于语义逻辑唯一性判断的处理问答数据的方法及系统
CN113488026A (zh) * 2021-09-02 2021-10-08 水木智库(北京)科技有限公司 基于语用信息的语音理解模型生成方法和智能语音交互方法

Similar Documents

Publication Publication Date Title
Bonczek et al. Computer‐based support of organizational decision making
Hinzen Narrow syntax and the language of thought
CN1484217A (zh) 层次分类与逻辑相结合的自然口语对话描述方法
Sha et al. Designing Online Psychological Consultation Expert System Using Human‐Computer Interaction
Priestley AI and the origins of the functional programming language style
CN117932019A (zh) 大语言模型的训练方法、装置、介质及电子设备
Wiśniewski et al. BigCQ: A large-scale synthetic dataset of competency question patterns formalized into SPARQL-OWL query templates
Allen et al. Power-up! what can generative models do for human computation workflows?
Lindes The Common Model of Cognition and humanlike language comprehension
Veldhoen et al. Can neural networks learn logical reasoning?
CN105279145A (zh) 一种计算机语义工程系统
Gregor Building theory in a practical science
Woods Standard logics as theories of argument and inference: Deduction
Fox et al. CIDS: An Ontology for Representing Social and Environmental Impact.
Dai et al. Big data framework for quantitative trading system
Yu Learning to map natural language to executable programs over databases
Nolte Text to Process Model: Automating Process Model Creation from Text
Višňovský Science as cultural practice
Drago A new definition of reduction between two scientific theories: no reduction of chemistry to quantum mechanics
Paraiso et al. An intelligent speech interface for personal assistants applied to knowledge management
Lvovskaya The scope of a communicative theory of translation
Becker et al. Fostering comparability in research dissemination: A research portal-based approach
Hui Understanding the in-depth AI Big Data Analysis application through Diversified Integration and Development of Functional Linguistics
Oo Query Process for Middle School Based on SQL Translation
Kane et al. Registering Historical Context for Question Answering in a Blocks World Dialogue System

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C02 Deemed withdrawal of patent application after publication (patent law 2001)
WD01 Invention patent application deemed withdrawn after publication