Package org.tweetyproject.action.query.syntax

Class SActionQuery

java.lang.Object
org.tweetyproject.action.query.syntax.SActionQuery
All Implemented Interfaces:
ActionQuery, Formula
public class SActionQuery extends 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 propositional formula over propositions of one of the following kinds: HoldsQuery, AlwaysQuery, NecessarilyQuery.
Author:
Sebastian Homann

  • Constructor Details

    • 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, 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 Details

    • 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.

    • getActionSignature

      public ActionSignature getActionSignature()
      Returns:
      the action signature of this action query.

    • getInnerFormulas

      public 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 Set<FolAction> getInnerActions()
      Returns:
      all actions, which occur in action sequences in necessarily queries in this action query.

    • getInnerAtoms

      public Set<FolAtom> getInnerAtoms()
      Returns:
      all inner atoms, which occur in state formulas and actions in this action query.

    • getInnerVariables

      public Set<Variable> getInnerVariables()
      Returns:
      all inner variables, which occur in state formulas and actions in this action query.

    • getGroundingRequirements

      public 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 Set<SActionQuery> getAllGrounded()
      Returns:
      the set of all grounded instances of this causal rule.

    • toString

      public String toString()
      Overrides:
      toString in class Object