Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning

Abstract : 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.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00443635
Contributor : Pierre Deransart <>
Submitted on : Tuesday, January 12, 2010 - 5:43:03 PM
Last modification on : Tuesday, July 31, 2018 - 3:04:02 PM
Long-term archiving on : Friday, June 18, 2010 - 12:12:40 AM

Files

report.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00443635, version 1
  • ARXIV : 1001.2188

Collections

Citation

Pierre Deransart, Rafael Oliveira. Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning. [Research Report] RR-7165, INRIA. 2009, pp.53. ⟨inria-00443635⟩

Share

Metrics

Record views

329

Files downloads

375