Class SActionQuerySet

  • All Implemented Interfaces:
    java.lang.Iterable<SActionQuery>, java.util.Collection<SActionQuery>, BeliefBase

    public class SActionQuerySet
    extends ActionQuerySet<SActionQuery>
    This class models a set of action queries in the 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.
    Author:
    Sebastian Homann
    • Constructor Detail

      • SActionQuerySet

        public SActionQuerySet()
        Creates a new empty action query set for the query language S.
      • SActionQuerySet

        public SActionQuerySet​(java.util.Collection<SActionQuery> c)
        Creates a new belief set with the given collection of queries.
        Parameters:
        c - a collection of formulae.
    • Method Detail

      • ground

        public SActionQuerySet ground()
        Returns a new SActionQuerySet consisting of all possible groundings of the contained queries.
        Returns:
        a new SActionQuerySet consisting of all possible groundings of the contained queries.
      • getConjunctionOfAllQueries

        public SActionQuery getConjunctionOfAllQueries()
        Returns a conjunction of all contained queries. The resulting action query is satisfied iff all queries contained in this query set are satisfied.
        Returns:
        a conjunction of all contained queries.
      • getMinimalSignature

        public Signature getMinimalSignature()
        Description copied from interface: BeliefBase
        Returns the signature of the language of this knowledge base.
        Returns:
        the signature of the language of this knowledge base.