Intensional FOL: Many-Sorted Extension
Artificial Intelligence
2024-09-10 v1
Abstract
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.
Cite
@article{arxiv.2409.04469,
title = {Intensional FOL: Many-Sorted Extension},
author = {Zoran Majkic},
journal= {arXiv preprint arXiv:2409.04469},
year = {2024}
}
Comments
21 pages