时间信息描述及推理系统的设计与实现
精确的时间描述语言和高效的时间推理机制是时间语义研究所追求的目标.目前,研究学者们主要采用逻辑描述方法来形式化自然语言中的时间信息,这是因为经过漫长的发展演变,逻辑描述语言已经具有一套清晰的语法、语义描述系统和证明理论,但是,只靠原有逻辑系统中的推理方法来对时间信息进行推理是远远不够的,因此,通常采用约束满足策略来弥补逻辑推理的不足,也就是说用约束满足策略使文本中不确定、不完整的时间描述精确化.目前较具代表性的时间分析及推理系统主要有这样几种:Allen的时间段运算(Allen”s Interval Algebra,简称IA),Vilain和Kautz的时间点运算(Vilain and Kautz”s Point Algebra,简称PA),Dechter等人的时间量值信息推理,Kautz和Ladkin以及Meiri的量值-相对关系约束联合处理法等. 本文首先分析了时间本体所包含的主要内容,然后采用逻辑语言(精确时间逻辑RTL)来描述时间本体,将句子中的时间和事件联系在一起,并形式化为一个定向约束网络,而后在此基础上进行推理,使文本中的模糊时间信息精确化。
时间信息描述 推理系统 时间描述语言 时间语义 形式化自然语言 逻辑语言 模糊时间
成斌 吴小红
浙江师范大学信息学院智能计算与并行计算研究所,金华,321004
国内会议
第六届中国Rough集与软计算学术研讨会(CRSSC”2006)
浙江金华
中文
289-291,298
2006-10-30（万方平台首次上网日期，不代表论文的发表时间）