Uses of Interface
org.tweetyproject.action.description.syntax.CausalLaw
Package
Description

Uses of CausalLaw in org.tweetyproject.action.description.analysis
Modifier and TypeInterfaceDescriptioninterface
ActionDescriptionConsistencyTester<T extends CausalLaw>
Classes implementing this interface are capable of checking whether a given action description is consistent according to some consistency measurements. 
Uses of CausalLaw in org.tweetyproject.action.description.syntax
Modifier and TypeClassDescriptionclass
ActionDescription<T extends CausalLaw>
This class represents an action description as a set of causal laws.Modifier and TypeClassDescriptionclass
The action description language C consists of two distinct expressions: static laws and dynamic laws.class
A dynamic law in C has the form "caused F if G after U" where F is a propositional formula over the set of fluent names (called headFormula) G is a propositional formula over the set of fluent names (called ifFormula) U is a propositional formula over the set of fluent names and the set of action names (called afterFormula)class
This class represents a static rule in C, which has the following form: "caused H if G" where H is a propositional formula over the set of fluents and G is a propositional formula over the set of fluents and the set of actionsModifierConstructorDescriptionCActionDescription
(Collection<? extends CausalLaw> c) Creates a new belief set with the given collection of formulae.