ai.libs.jaicore.logic.fol.util

Class LogicUtil

java.lang.Object

ai.libs.jaicore.logic.fol.util.LogicUtil

public class LogicUtil
extends java.lang.Object

Utility class for the logic package.

Method Summary

Modifier and Type	Method and Description
static boolean	areLiteralsUnifiable(Literal l1, Literal l2)
static boolean	canLiteralBeUnifiedWithLiteralFromDatabase(java.util.Collection<Literal> set, Literal literal)
static LiteralSet	differenceOfLiteralSets(LiteralSet a, LiteralSet b)
static boolean	doesPremiseContainAGroundLiteralThatIsNotInFactBase(java.util.Collection<Literal> factbase, java.util.Collection<Literal> premise)
static boolean	doesPremiseContainAGroundLiteralThatIsNotInFactBaseCWA(java.util.Collection<Literal> factbase, java.util.Collection<Literal> premise)
static boolean	evalEquality(Literal l)
static CNFFormula	evalEqualityLiteralsUnderUNA(CNFFormula set)
static LiteralSet	intersectionOfLiteralSets(LiteralSet a, LiteralSet b)
static LiteralParam	parseParamName(java.lang.String name)
static boolean	verifyThatGroundingEnablesPremise(java.util.Collection<Literal> factbase, java.util.Collection<Literal> premise, java.util.Map<VariableParam,LiteralParam> grounding)

Methods inherited from class java.lang.Object

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

Method Detail

intersectionOfLiteralSets

public static LiteralSet intersectionOfLiteralSets(LiteralSet a,
                                                   LiteralSet b)

Parameters:

a - The literal set A.

b - The literal set B.

Returns:

The intersection of A and B.

differenceOfLiteralSets

public static LiteralSet differenceOfLiteralSets(LiteralSet a,
                                                 LiteralSet b)

Parameters:

a - The literal set A.

b - The literal set B.

Returns:

The difference A \ B.

doesPremiseContainAGroundLiteralThatIsNotInFactBase

public static boolean doesPremiseContainAGroundLiteralThatIsNotInFactBase(java.util.Collection<Literal> factbase,
                                                                          java.util.Collection<Literal> premise)

doesPremiseContainAGroundLiteralThatIsNotInFactBaseCWA

public static boolean doesPremiseContainAGroundLiteralThatIsNotInFactBaseCWA(java.util.Collection<Literal> factbase,
                                                                             java.util.Collection<Literal> premise)

verifyThatGroundingEnablesPremise

public static boolean verifyThatGroundingEnablesPremise(java.util.Collection<Literal> factbase,
                                                        java.util.Collection<Literal> premise,
                                                        java.util.Map<VariableParam,LiteralParam> grounding)

canLiteralBeUnifiedWithLiteralFromDatabase

public static boolean canLiteralBeUnifiedWithLiteralFromDatabase(java.util.Collection<Literal> set,
                                                                 Literal literal)

areLiteralsUnifiable

public static boolean areLiteralsUnifiable(Literal l1,
                                           Literal l2)

parseParamName

public static LiteralParam parseParamName(java.lang.String name)

evalEquality

public static boolean evalEquality(Literal l)

evalEqualityLiteralsUnderUNA

public static CNFFormula evalEqualityLiteralsUnderUNA(CNFFormula set)