My Wiki!

Table of Contents

Logic programming

Abductive reasoning tools

  • A-system: To capture and solve the various conflicts, we base our technique on abductive and argumentation reasoning. We use an abductive constraints system, called A-system1 [23] for finding the various
  • GorgiasB2: We use GorgiasB2 [9], a tool based on abductive and argumentation reasoning, which eas- ily accommodate the various policies and discover the conceptual conflicts.
  • http://www.inf.unibz.it/~montali/tools.html#jrec
    • jREC: EC Reasoner
    • CLIMB:
      • ConDec, graphical constraint-based langugage.
      • using SCIFF: a specification for abductive reasoning, similar to EC. ConDec can be translated to SCIFF or EC spec.

SCIFF

Prolog Primer

Installation

  • linux pl package

Quickstart:

SCIFF

Create project:

  cd sciff_parent_dir
  mkdir policytranslation
  cp sciff/project.pl policytranslation
  vim policytranslation/project.pl
  # Insert the appropriate names in the facts ics_file/1, history_file/1, sokb_file/1. The facts ics_file/1, history_file/1, sokb_file/1 can contain either the path to a file, or the URL of the file; in the second case, SCIFF will download the file from the web. The URL should be given as an atomic term, i.e., with single quotes ’, and should begin with ’http:’. E.g., ics_file(’http://lia.deis.unibo.it/Research/sciff/ic.ruleml’).

Running:

 cd sciff/
 swipl
 compile(sciff)
 project(policytranslation).

Futher


Trace: • logic_programming

Navigation