Búsqueda avanzada

Resultados de búsqueda para Hypothetical Reasoning

Planning for an Efficient Implementation of Hypothetical Bousi~Prolog

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. This paper has been presented at ICLP’21 and published in TPLP 21 (5), pp. 680-697. DOI:

Autores: Pascual Julián-Iranzo / Fernando Saenz-Perez / 
Palabras Clave: Bousi~Prolog - Fuzzy Logic Programming - Fuzzy Prolog - Hypothetical Reasoning - System Implementation

A System implementing Fuzzy Hypothetical Datalog

This paper presents a system implementing a novel addition to a fuzzy deductive database: hypothetical queries. Such queries allow users to dynamically make assumptions on a given database instance, either by adding or removing data, without changing the instance. Further, since a fuzzy database includes fuzzy relations, these relations can also be changed with assumptions. This ability for dynamic change seamlessly enables writing “what-if” applications such as decision-support systems. Here, the new language Fuzzy Hypothetical Datalog is presented, along with an operational semantics and stratified inference. It has been implemented in a working system DES readily available on-line.IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2020, pp. 1-8, doi: 10.1109/FUZZ48607.2020.9177715.

Autores: Pascual Julian-Iranzo / Fernando Saenz-Perez / 
Palabras Clave: Datalog - Deductive databases - Fuzzy Logic - Hypothetical Reasoning

No encuentra los resultados que busca? Prueba nuestra Búsqueda avanzada