×

生成引用表达式。增量算法的布尔扩展。 (英语) Zbl 1232.68159号

本文从逻辑的角度研究引用表达式的生成,解决了该领域现有算法的不完整性。在研究了对单个对象的引用之后,我们讨论了对集合的引用,包括使用否定和分离属性的布尔描述。为了保证只要存在这样的描述,就可以生成一个可区分的描述,本文对Dale和Reiter自1995年以来的增量算法进行了推广和扩展。

MSC公司:

68T50型 自然语言处理
65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] DOI:10.1016/0364-0213(95)90018-7·doi:10.1016/0364-0213(95)90018-7
[2] Mittal Vibhu O,计算语言学24 pp 431–(1998)
[3] DOI:10.1515/ling.1989.27.1.89·doi:10.1515/ling.1989.27.1.89
[4] Pollack Martha E,第25号,第513页–(1991年)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。