com.articulate.sigma

Class RowVars

java.lang.Object

com.articulate.sigma.RowVars

public class RowVars
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	DEBUG

Constructor Summary

Constructors

Constructor and Description
RowVars()

Method Summary

Modifier and Type	Method and Description
static java.util.ArrayList<Formula>	expandRowVars(KB kb, Formula f) Expand row variables, keeping the information about the original source formula.
static java.util.HashMap<java.lang.String,java.lang.Integer>	getRowVarMaxAritiesWithOtherArgs(java.util.HashMap<java.lang.String,java.util.HashSet<java.lang.String>> ar, KB kb, Formula f) given in @param ar which is a list for each variable of all the predicates in which it appears as an argument, find the maximum arity allowed by predicate arities, as given by
static void	main(java.lang.String[] args)

Methods inherited from class java.lang.Object

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

Field Detail

DEBUG

public static boolean DEBUG

Constructor Detail

RowVars

public RowVars()

Method Detail

getRowVarMaxAritiesWithOtherArgs

public static java.util.HashMap<java.lang.String,java.lang.Integer> getRowVarMaxAritiesWithOtherArgs(java.util.HashMap<java.lang.String,java.util.HashSet<java.lang.String>> ar,
                                                                                                     KB kb,
                                                                                                     Formula f)

given in @param ar which is a list for each variable of all the predicates in which it appears as an argument, find the maximum arity allowed by predicate arities, as given by

expandRowVars

public static java.util.ArrayList<Formula> expandRowVars(KB kb,
                                                         Formula f)

Expand row variables, keeping the information about the original source formula. Each variable is treated like a macro that expands to up to seven regular variables. For example (=> (and (subrelation ?REL1 ?REL2) (?REL1 @ROW)) (?REL2 @ROW)) would become (=> (and (subrelation ?REL1 ?REL2) (?REL1 ?ARG1)) (?REL2 ?ARG1)) (=> (and (subrelation ?REL1 ?REL2) (?REL1 ?ARG1 ?ARG2)) (?REL2 ?ARG1 ?ARG2)) etc. TODO: Note that this method does not handle the case of row variables in an argument list with other arguments. It will just blindly generate all 7 variable expansions even if this means that a predicate will wind up with more than 7 arguments due to the existence of a non-row-variable in the argument list.

Returns:

an ArrayList of Formulas, or an empty ArrayList.

main

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