Package 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
-
-
-
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)
-
parseParamName
public static LiteralParam parseParamName(java.lang.String name)
-
evalEquality
public static boolean evalEquality(Literal l)
-
evalEqualityLiteralsUnderUNA
public static CNFFormula evalEqualityLiteralsUnderUNA(CNFFormula set)
-
-