iCTRL键 swMATH ID: 1473 软件作者： 盖博·雷迪 描述： iCTRL：内涵共形文本表示语言引入了一种新的紧凑和同质的符号，以实现对自然语言文本的更一般和准确的表示。传统的一阶和内涵逻辑无法处理许多自然语言现象，如模态的多样性、模态算子迭代应用的令人满意的解释或某些建模问题，如一对一的句子-公式映射。CTRL/iCTRL形式主义可以成功地对它们进行建模，并且它们能够通过应用最少数量的语法工具来控制许多其他不同的含义。所提出的自然语言语法一致性知识表示技术最有益的人工智能应用是自动知识获取：计算机辅助文本数据库生成和基于逻辑推理的信息检索。CTRL/iCTRL的适用性通过各种说明性例子得到了证明，包括类似于Frege图形语言的透明图形解释，这有助于澄清新概念并举例说明传统逻辑语言的部分不适当性。CTRL/iCTRL范式基于对斯多葛学派和逍遥法外学派这两个传统逻辑学派的新颖而有趣的综合，驳斥了一个世纪以来对后者的科学偏见。这一分析中一个有趣的问题指出，在经典逻辑中，无意识地简单地通过协调来表达从属关系导致了典型的意义限制 主页： http://www.sciencedirect.com/science/article/pii/S0004370299000168 关键词： 内涵逻辑;亚里士多德术语逻辑;句子-公式接近;知识库验证;自然语言语法整合文本建模;计算机辅助知识获取;与内容相关的文本知识库查询处理;信息检索系统 相关软件： 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物在zbMATH中 年份 iCTRL：内涵共形文本表示语言。 Zbl 0916.68149号盖博尔·雷迪 1999 1位作者引用 1 盖博尔·雷迪 连载1篇 1 人工智能 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文