Intensional FOL: Many-Sorted Extension

Zoran Majkic
9/3/2024
cs.AI

No confident code implementation found for this paper.

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.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts

76% match2025

Multi-Conditional Ranking with Large Language Models

71% match1 repo12024

The Function-Representation Model of Computation

70% match2024

Access Paths for Efficient Ordering with Large Language Models

70% match2025

Verbalized Algorithms

70% match2025

RRADistill: Distilling LLMs' Passage Ranking Ability for Long-Tail Queries Document Re-Ranking on a Search Engine

70% match2024

Cite this paper

@article{majkic2024intensional,
  title  = {Intensional FOL: Many-Sorted Extension},
  author = {Zoran Majkic},
  year   = {2024},
  eprint = {2409.04469},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2409.04469v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2409.04469.svg)](https://codeofpaper.com/paper/2409.04469)

Discussion