- Type Parameters:
K - the type of the propositional statement.
- All Superinterfaces:
- Belief<K,java.lang.Boolean>, java.lang.Cloneable, jade.content.Concept, jade.content.ContentElement, MetadataElement, java.io.Serializable, jade.content.Term
- All Known Implementing Classes:
- DerivedPredicate, TransientPredicate
public interface Predicate<K>
extends Belief<K,java.lang.Boolean>
This interface represents a belief that is a logic predicate. The information
is represented as an object of type K, which has a boolean value to indicate
if the formula is true or false. Null may represents the absence of knowledge
if the formula is true or false.
- Author:
- Ingrid Nunes