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.
Type de document :
Rapport
[Research Report] RR-7165, INRIA. 2009, pp.53
Liste complète des métadonnées

https://hal.inria.fr/inria-00443635
Contributeur : Pierre Deransart <>
Soumis le : mardi 12 janvier 2010 - 17:43:03
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : vendredi 18 juin 2010 - 00:12:40

Fichiers

report.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

318

Téléchargements de fichiers

351