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

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

2010-01-13

arxiv.org/abs/1001.2188v1

Computer Science

Programming Languages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-525449