Package net.sf.tweety.action.query.syntax

Class 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

    • Constructor Summary

      Constructors 
      Constructor Description
      SActionQuery​(PlFormula formula)
      Creates a new action query with the given propositional formula and no grounding requirements.
      SActionQuery​(PlFormula 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 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.
      PlFormula 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.
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Constructor Detail

      • SActionQuery

        public SActionQuery​(PlFormula formula)
        Creates a new action query with the given propositional formula and no grounding requirements.
        Parameters:
        formula - a propositional formula

      • SActionQuery

        public SActionQuery​(PlFormula formula,
                    java.util.Set<GroundingRequirement> requirements)
        Creates a new action query with the given propositional formula and grounding requirements.
        Parameters:
        formula - a propositional formula
        requirements - a set of 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 PlFormula 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.

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object