Year: 2026
Type: article
Abstract: script upper E E $\mathcal{E}$ rgoAI is a high-level, multi-paradigm logic programming language and system developed by Coherent Knowledge Systems as an enhancement of and a successor to the popular script upper F F $\mathcal{F}$ lora-2 system. script upper E E $\mathcal{E}$ rgoAI is oriented toward scalable knowledge representation and reasoning and can exploit = structured knowledge as well as knowledge derived from external sources such as vector databases. From their inception, script upper E E $\mathcal{E}$ rgoAI (and script upper F F $\mathcal{F}$ lora-2 before it) were designed to exploit the well-founded semantics for reasoning in a multi-paradigm environment, including object-based logic (F-logic) with non-monotonic inheritance; higher-order syntax in the style of HiLog; defeasibility of rules; semantically clean transactional updates ; subgoal delay for handling unsafe queries and for better performance; and optional support for bounded rationality at a module level. Although script upper E E $\mathcal{E}$ rgoAI programs are compiled into XSB and adopt many Prolog features, script upper E E $\mathcal{E}$ rgoAI is altogether a different language and system. Under consideration in Theory and Practice of Logic Programming (TPLP).
Authors: MICHAEL KIFER, THERESA SWIFT
Institution: Stony Brook University
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $3,550
Funder: National Science Foundation
OpenAlex ID: W7147391012