高效率地实施假设性布西~Prologs的规划 (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.

翻译：本文探讨将假设推理纳入有效运用模糊逻辑语言 Bousi~Prolog。为此,我们首先分析逻辑推论系统(配有所谓的内含含义)到模型解决假设方面的目标的预期。我们从一个提议系统开始,逐步建立更复杂的系统和实施,以满足像Bousi~Prolog这样的系统的要求。最后,我们提议了一个推论系统、操作的语义和翻译功能,以产生来自 Bousi~Prolog 程序的有效Prolog程序。