arXiv Open Access 2024

Intensional FOL: Many-Sorted Extension

Zoran Majkic

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.AI

Penulis (1)

Zoran Majkic

Format Sitasi

APA MLA BibTeX

Majkic, Z. (2024). Intensional FOL: Many-Sorted Extension. https://arxiv.org/abs/2409.04469

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2024
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓