一种有效实现假设Bousi~Prolog的规划
Planning for an Efficient Implementation of Hypothetical Bousi~Prolog
摘要：
本文探讨了将假言推理集成到模糊逻辑语言Bousi~Prolog的有效实现中。为此，我们首先分析什么是预期从逻辑推理系统，配备了所谓的嵌入式的含义，模型解决目标的假设。我们从一个命题系统开始，逐步构建更复杂的系统和实现，以满足像Bousi~Prolog这样的系统所提出的要求。最后，我们提出了一个推理系统，操作语义，和翻译功能，以产生有效的Prolog程序从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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
