将一阶谓词逻辑扩展为多类型系统，支持自然语言语义建模。
Intensional FOL: Many-Sorted Extension
- 引入类型属性的显式排序机制，增强逻辑表达能力
- 实现对自然语言隐含类型的完整形式化支持
- 适合自然语言处理与知识推理研究者使用
IFOL 中的概念附带一组排序属性，而这些排序本身也是内涵性概念。将无类型 IFOL 扩展为多类型 IFOL 的主要动机在于：自然语言本质上是多类型的，且我们计划用 IFOL 支持基于自然语言的应用。因此，所提出的多类型 IFOL 版本正是对 IFOL 这一概念特性的完善补充。
原文摘要 · Abstract (English)
The concepts used in IFOL have associated to them a list of sorted attributes, and the sorts are the intensional concepts as well. The requirement to extend the unsorted IFOL (Intensional FOL) to many-sorted IFOL is mainly based on the fact that a natural language is implicitly many-sorted and that we intend to use IFOL to support applications that use natural languages. Thus, the proposed version of many-sorted IFOL is just the completion of this conceptual feature of the IFOL.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。