Intensional FOL: Many-Sorted Extension
This work addresses the need for a many-sorted IFOL to support applications using natural languages, but it is incremental as it builds upon existing IFOL concepts.
The authors tackled the problem of extending unsorted Intensional First-Order Logic (IFOL) to a many-sorted version to better align with the implicit many-sorted nature of natural languages, resulting in a completed conceptual framework for IFOL.
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.