com.articulate.sigma

Class PredVarInst

java.lang.Object

com.articulate.sigma.PredVarInst

public class PredVarInst
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PredVarInst()

Method Summary

Modifier and Type	Method and Description
static void	arityTest() This method tries to remove literals from the Formula that match litArr.
protected static java.util.HashSet<java.lang.String>	gatherPredVars(KB kb, Formula f) Collect and return all predicate variables for the given formula
static java.lang.String	hasCorrectArity(Formula f, KB kb) If arity is correct, return null, otherwise, return the predicate that has its arity violated in the given formula.
static java.util.Set<Formula>	instantiatePredVars(Formula input, KB kb)
static void	main(java.lang.String[] args)
static void	test()

Methods inherited from class java.lang.Object

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

Constructor Detail

PredVarInst

public PredVarInst()

Method Detail

instantiatePredVars

public static java.util.Set<Formula> instantiatePredVars(Formula input,
                                                         KB kb)

Parameters:

input - formula

kb - knowledge base

Returns:

A list of formulas where predicate variables are instantiated; There are three possible returns: return null if input contains predicate variables but cannot be instantiated; return empty if input contains no predicate variables; return a list of instantiated formulas if the predicate variables are instantiated;

hasCorrectArity

public static java.lang.String hasCorrectArity(Formula f,
                                               KB kb)

If arity is correct, return null, otherwise, return the predicate that has its arity violated in the given formula.

gatherPredVars

protected static java.util.HashSet<java.lang.String> gatherPredVars(KB kb,
                                                                    Formula f)

Collect and return all predicate variables for the given formula

arityTest

public static void arityTest()

This method tries to remove literals from the Formula that match litArr. It is intended for use in simplification of this Formula during predicate variable instantiation, and so only attempts removals that are likely to be safe in that context. litArr A List object representing a SUO-KIF atomic formula.

test

public static void test()

main

public static void main(java.lang.String[] args)