一种生成约束求解和基于规则推理的解释性轨迹的通用框架
Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning
摘要：
在这份报告中，我们展示了如何使用简单流畅演算（SFC）来指定通用跟踪程序，即产生通用跟踪的跟踪程序。通用跟踪是可以由软件组件的不同实现产生并独立于被跟踪组件使用的跟踪。这种方法是用来定义一种方法，用于扩展一个基于Java的CHRor平台，称为CHROME（约束处理规则在线模型驱动引擎）与可扩展的通用跟踪程序。该方法包括SFC中的跟踪器规范，扩展它的方法，以及将其与CHROME集成的方式，从而产生CHROME-REF平台（用于推理解释设施），这是一个具有解释性轨迹的约束求解和基于规则的推理引擎。
英文摘要：
In this report, we show how to use the Simple Fluent Calculus (SFC) to specify generic tracers, i.e. tracers which produce a generic trace. A generic trace is a trace which can be produced by different implementations of a software component and used independently from the traced component. This approach is used to define a method for extending a java based CHRor platform called CHROME (Constraint Handling Rule Online Model-driven Engine) with an extensible generic tracer. The method includes a tracer specification in SFC, a methodology to extend it, and the way to integrate it with CHROME, resulting in the platform CHROME-REF (for Reasoning Explanation Facilities), which is a constraint solving and rule based reasoning engine with explanatory traces.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
