Julian-Iranzo, PascualSáenz Pérez, FernandoIEEE2025-01-132025-01-132020-07P. Julián-Iranzo and F. Sáenz-Pérez, "A System implementing Fuzzy Hypothetical Datalog⋆," 2020 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Glasgow, UK, 2020, pp. 1-8, doi: 10.1109/FUZZ48607.2020.9177715.10.1109/fuzz48607.2020.9177715https://hdl.handle.net/20.500.14352/114016This 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.engAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/conference paperhttps://dx.doi.org/10.1109/FUZZ48607.2020.9177715open accessFuzzy Logic ProgrammingSystem ImplementationDatalogHypothetical ReasoningLenguajes de programación1203.23 Lenguajes de Programación