基于PTCT语义的自然语言查询系统.docVIP

基于PTCT语义的自然语言查询系统 王华收稿日期 收稿日期：2006-6-13 基金项目：国家社科基金项目；教育部哲学社会科学攻关项目。 作者简介：王华（1978-），女，汉族，山西太原人，中山大学逻辑与认知研究所硕士研究生 （1. 中山大学逻辑与认知研究所 510275） 内容提要：本文关注的是形式化自然语言时出现的超内涵问题，在分析一阶超内涵逻辑系统PTCT的基础上提出了HIQ系统的构想，它以PTCT 为语义基础，以历史关系数据库模型HRDM为数据库概念模型，把Squirrel语言系统加入时态的因子，从而支持带有时间副词的自然语言查询语句。 关键词：超内涵；HIQ；PTCT 中图分类号：B81 文献标识码：A 本文关注的是语言逻辑中的超内涵问题，目前国内涉及此研究领域的人数不多，研究现状不尽人意。笔者希望通过此文引起更多学者对此问题的关注，并为今后探究自然语言的逻辑问题提供有益的启迪和全新的视角。 一、超内涵问题 20世纪以来，逻辑学家、语言学家和计算机科学家一直在从事关于自然语言形式处理的研究。其中蒙太格(Montague，1974)关于英语部分语句系统的形式化方案为这个研究方向迈出了重要的一步。其引进了从句法和语义两个层面分析自然语言的强有力的方法，并发展成为形式化工具，为深刻理解自然语言的语义学提供了必要的技术背景。 然而值得注意的是，蒙太格处理命题态度句