Natural Language Techniques for Information Systems

这个项目涉及来自自然语言处理系统的数学技术--具体地说，来自基于形式化的语法形式主义--以帮助设计数据和知识库。这些技术包括使用多态函数式程序设计语言的特征理论、特征逻辑、超集理论和类型系统。该项目的目标是使用这些技术将知识和数据模型更紧密地联系在一起，同时至少在某些方面提供知识库中的异构性。

This project is concerned with mathematical techniques fromnatural language processing systems- specifically, fromunification-based grammar formalism- to help in the design odata and knowledge bases. These techniques include the use offeature theory, features logic, hyperset theory, and type systemsfrom polymorphic functional programming languages. The goal ofthe project is to use these techniques to move knowledge and datamodels closer together, while providing for at least some aspectsof heterogeneity in knowledge bases.