Package org.tweetyproject.action.query.syntax

Class SActionQuerySet

java.lang.Object

org.tweetyproject.commons.BeliefSet<SActionQuery,ActionSignature>

org.tweetyproject.action.query.syntax.ActionQuerySet<SActionQuery>

org.tweetyproject.action.query.syntax.SActionQuerySet

All Implemented Interfaces:

Iterable<SActionQuery>, 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: [Gelfond, Michael and Lifschitz, Vladimir: Action Languages. ETAI: Electronic Transactions on AI, 1998.]

Author:

Sebastian Homann

Field Summary

Fields inherited from class org.tweetyproject.commons.BeliefSet

EQUALS_USES_SIGNATURE

Constructor Summary

Constructors

Constructor	Description
SActionQuerySet()	Creates a new empty action query set for the query language S.
SActionQuerySet(Collection<SActionQuery> c)	Creates a new belief set with the given collection of queries.

Method Summary

Modifier and Type	Method	Description
SActionQuery	getConjunctionOfAllQueries()	Returns a conjunction of all contained queries.
Signature	getMinimalSignature()	Returns the signature of the language of this knowledge base.
SActionQuerySet	ground()	Creates a new SActionQuerySet consisting of all possible groundings

Methods inherited from class org.tweetyproject.commons.BeliefSet

add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Constructor Details

SActionQuerySet

public SActionQuerySet()

Creates a new empty action query set for the query language S.

SActionQuerySet

public SActionQuerySet(Collection<SActionQuery> c)

Creates a new belief set with the given collection of queries.

Parameters:

c - a collection of formulae.

Method Details

ground

public SActionQuerySet ground()

Creates a new SActionQuerySet consisting of all possible groundings

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.