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
All Methods Static Methods Concrete Methods Modifier and Type Method 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 java.lang.String
getSortedLiteralSetDescription(java.util.Collection<? extends Literal> collection)
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)
-
-
-
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)
-
getSortedLiteralSetDescription
public static java.lang.String getSortedLiteralSetDescription(java.util.Collection<? extends Literal> collection)
-
-