Planning for an Efficient Implementation of Hypothetical Bousi~Prolog

TL;DR

This paper presents a novel approach to integrating hypothetical reasoning into Bousi~Prolog, enhancing its efficiency and capability to handle assumptions through an incremental development of inference systems and semantics.

Contribution

It introduces an inference system, operational semantics, and translation method for efficient Bousi~Prolog implementation with hypothetical reasoning.

Findings

Developed an inference system with embedded implication

Proposed operational semantics for Bousi~Prolog

Created a translation function to generate efficient Prolog programs

Abstract

This paper explores the integration of hypothetical reasoning into an efficient implementation of the fuzzy logic language Bousi~Prolog. To this end, we first analyse what would be expected from a logic inference system, equipped with what is called embedded implication, to model solving goals with respect to assumptions. We start with a propositional system and incrementally build more complex systems and implementations to satisfy the requirements imposed by a system like Bousi~Prolog. Finally, we propose an inference system, operational semantics, and the translation function to generate efficient Prolog programs from Bousi~Prolog programs.