Package edu.uct.ibr.util

Class Entailment

java.lang.Object

edu.uct.ibr.util.Entailment

public class Entailment
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
Entailment()

Method Summary

Modifier and Type	Method	Description
static boolean	entails(java.util.ArrayList<Implication> kb, java.util.ArrayList<Implication> observations)	Check if the observations are entailed by the observations
static aima.core.logic.propositional.parsing.ast.ComplexSentence	implToSentence(Implication impl)	Convert an implication statement into an AIMA.ComplexSentence

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Entailment

public Entailment()

Method Detail

entails

public static boolean entails(java.util.ArrayList<Implication> kb,
                              java.util.ArrayList<Implication> observations)

Check if the observations are entailed by the observations

Parameters:

kb -

observations -

Returns:

implToSentence

public static aima.core.logic.propositional.parsing.ast.ComplexSentence implToSentence(Implication impl)

Convert an implication statement into an AIMA.ComplexSentence

Parameters:

impl -

Returns: