多维 FOL：多分类扩展

arXiv - CS - Artificial Intelligence Pub Date : 2024-09-03 DOI:arxiv-2409.04469

Zoran Majkic

{"title":"多维 FOL：多分类扩展","authors":"Zoran Majkic","doi":"arxiv-2409.04469","DOIUrl":null,"url":null,"abstract":"The concepts used in IFOL have associated to them a list of sorted\nattributes, and the sorts are the intensional concepts as well. The requirement\nto extend the unsorted IFOL (Intensional FOL) to many-sorted IFOL is mainly\nbased on the fact that a natural language is implicitly many-sorted and that we\nintend to use IFOL to support applications that use natural languages. Thus,\nthe proposed version of many-sorted IFOL is just the completion of this\nconceptual feature of the IFOL.","PeriodicalId":501479,"journal":{"name":"arXiv - CS - Artificial Intelligence","volume":"25 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Intensional FOL: Many-Sorted Extension\",\"authors\":\"Zoran Majkic\",\"doi\":\"arxiv-2409.04469\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The concepts used in IFOL have associated to them a list of sorted\\nattributes, and the sorts are the intensional concepts as well. The requirement\\nto extend the unsorted IFOL (Intensional FOL) to many-sorted IFOL is mainly\\nbased on the fact that a natural language is implicitly many-sorted and that we\\nintend to use IFOL to support applications that use natural languages. Thus,\\nthe proposed version of many-sorted IFOL is just the completion of this\\nconceptual feature of the IFOL.\",\"PeriodicalId\":501479,\"journal\":{\"name\":\"arXiv - CS - Artificial Intelligence\",\"volume\":\"25 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Artificial Intelligence\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.04469\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Artificial Intelligence","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.04469","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

IFOL 中使用的概念都与排序属性列表相关联，排序也是内维概念。之所以要求将无排序 IFOL（内维 FOL）扩展为多排序 IFOL，主要是因为自然语言隐含着多排序，而我们希望使用 IFOL 来支持使用自然语言的应用程序。因此，我们提出的多排序 IFOL 版本只是对 IFOL 这一概念特征的完善。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Intensional FOL: Many-Sorted Extension

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

arXiv - CS - Artificial Intelligence

自引率

0.00%

发文量