Project

General

Profile

Feature #21

Allow Reasoner nodes to be Or-nodes

Added by Thorsten Wißmann over 3 years ago. Updated over 3 years ago.

Status:
New
Priority:
High
Start date:
05/17/2014
Due date:
% Done:

0%


Description

If a logic generates rules for a set of formulas, then these are treaten conjunktively. I.e. The set of formulas is satisfiable iff all of the successors are satisfiable. For our direct implementation of GML, we need disjunctive behaviour: the set of formulas is satisfiable as soon one possible rule application is decidable.

So functors should be able to decide wether the set of produced rules is an And- or an Or-node.

History

#1 Updated by Thorsten Wißmann over 3 years ago

  • Assignee set to Thorsten Wißmann

Also available in: Atom PDF