net.sf.tweety.action.query.syntax

Class SActionQuery

java.lang.Object

net.sf.tweety.action.query.syntax.SActionQuery

All Implemented Interfaces:

ActionQuery, Formula

public class SActionQuery
extends java.lang.Object
implements ActionQuery

This class represents a single action query in the action query language S, which is based on the query language "P" discussed in the paper: Action Languages. by Michael Gelfond and Vladimir Lifschitz, ETAI: Electronic Transactions on AI, 1998. An action query is represented by a propositionalformula over propositions of one of the following kinds: HoldsQuery, AlwaysQuery, NecessarilyQuery.

Author:

Sebastian Homann

Field Summary

Fields

Modifier and Type	Field and Description
protected PropositionalFormula	formula
protected java.util.Set<GroundingRequirement>	requirements

Constructor Summary

Constructors

Constructor and Description
SActionQuery(PropositionalFormula formula) Creates a new action query with the given propositional formula and no grounding requirements.
SActionQuery(PropositionalFormula formula, java.util.Set<GroundingRequirement> requirements) Creates a new action query with the given propositional formula and grounding requirements.

Method Summary

Modifier and Type	Method and Description
ActionSignature	getActionSignature() Returns the action signature of this action query.
java.util.Set<SActionQuery>	getAllGrounded() Returns the set of all grounded instances of this causal rule.
PropositionalFormula	getFormula() Returns the formula represented by this action query.
java.util.Set<GroundingRequirement>	getGroundingRequirements() Returns all grounding requirements, that have to be met, when this action query is grounded.
java.util.Set<FolAction>	getInnerActions() Returns all actions, which occur in action sequences in necessarily queries in this action query.
java.util.Set<FOLAtom>	getInnerAtoms() Returns all inner atoms, which occur in state formulas and actions in this action query.
java.util.Set<FolFormula>	getInnerFormulas() Returns all inner formulas that are contained in query propositions in this action query.
java.util.Set<Variable>	getInnerVariables() Returns all inner variables, which occur in state formulas and actions in this action query.
Signature	getSignature() Returns the signature of the language of this formula.
protected SActionQuery	substituteInnerFormulas(java.util.Map<Variable,Constant> map) Returns a new action query in which all variables are mapped to constants with regard to the given map.
private static PropositionalFormula	substitutePropositions(java.util.Map<Variable,Constant> map, PropositionalFormula formula) Utility function that walks through all parts of a propositional formula with query propositions substituting all variables with constants according to the given map.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

formula

protected PropositionalFormula formula

requirements

protected java.util.Set<GroundingRequirement> requirements

Constructor Detail

SActionQuery

public SActionQuery(PropositionalFormula formula)

Creates a new action query with the given propositional formula and no grounding requirements.

Parameters:

formula -

SActionQuery

public SActionQuery(PropositionalFormula formula,
                    java.util.Set<GroundingRequirement> requirements)

Creates a new action query with the given propositional formula and grounding requirements.

Parameters:

formula -

requirements -

Method Detail

getSignature

public Signature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Specified by:

getSignature in interface Formula

Returns:

the signature of the language of this formula.

getFormula

public PropositionalFormula getFormula()

Returns the formula represented by this action query.

Returns:

the formula represented by this action query.

getActionSignature

public ActionSignature getActionSignature()

Returns the action signature of this action query.

Returns:

the action signature of this action query.

getInnerFormulas

public java.util.Set<FolFormula> getInnerFormulas()

Returns all inner formulas that are contained in query propositions in this action query.

Returns:

all inner formulas of this action query.

getInnerActions

public java.util.Set<FolAction> getInnerActions()

Returns all actions, which occur in action sequences in necessarily queries in this action query.

Returns:

all actions, which occur in action sequences in necessarily queries in this action query.

getInnerAtoms

public java.util.Set<FOLAtom> getInnerAtoms()

Returns all inner atoms, which occur in state formulas and actions in this action query.

Returns:

all inner atoms, which occur in state formulas and actions in this action query.

getInnerVariables

public java.util.Set<Variable> getInnerVariables()

Returns all inner variables, which occur in state formulas and actions in this action query.

Returns:

all inner variables, which occur in state formulas and actions in this action query.

getGroundingRequirements

public java.util.Set<GroundingRequirement> getGroundingRequirements()

Returns all grounding requirements, that have to be met, when this action query is grounded.

Returns:

a set of grounding requirements.

getAllGrounded

public java.util.Set<SActionQuery> getAllGrounded()

Returns the set of all grounded instances of this causal rule.

Returns:

the set of all grounded instances of this causal rule.

substituteInnerFormulas

protected SActionQuery substituteInnerFormulas(java.util.Map<Variable,Constant> map)

Returns a new action query in which all variables are mapped to constants with regard to the given map.

Parameters:

map - a map from variables to constants.

Returns:

a new action query in which all variables are mapped to constants with regard to the given map.

substitutePropositions

private static PropositionalFormula substitutePropositions(java.util.Map<Variable,Constant> map,
                                                           PropositionalFormula formula)

Utility function that walks through all parts of a propositional formula with query propositions substituting all variables with constants according to the given map.

Parameters:

map - a map from variables to constants.

formula - an action query.

Returns:

a new propositional formula in which all variables have been substituted by constants according to the given map.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object