net.sf.tweety.lp.nlp.syntax

Class NLPProgram

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<T>

net.sf.tweety.commons.util.rules.RuleSet<NLPRule>

net.sf.tweety.lp.nlp.syntax.NLPProgram

All Implemented Interfaces:

Serializable, Cloneable, Iterable<NLPRule>, Collection<NLPRule>, Set<NLPRule>, net.sf.tweety.commons.BeliefBase, net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram<net.sf.tweety.logics.fol.syntax.FolFormula,net.sf.tweety.logics.fol.syntax.FolFormula,NLPRule>

public class NLPProgram
extends net.sf.tweety.commons.util.rules.RuleSet<NLPRule>
implements net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram<net.sf.tweety.logics.fol.syntax.FolFormula,net.sf.tweety.logics.fol.syntax.FolFormula,NLPRule>

A nested logic program

Author:

Tim Janus

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
NLPProgram()

Method Summary

Modifier and Type	Method and Description
void	addFact(net.sf.tweety.logics.fol.syntax.FolFormula fact)
NLPProgram	exchange(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
Set<net.sf.tweety.logics.fol.syntax.FolFormula>	getFacts()
net.sf.tweety.logics.fol.syntax.FolSignature	getSignature()
NLPProgram	substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map)
NLPProgram	substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v)

Methods inherited from class net.sf.tweety.commons.util.rules.RuleSet

getConclusions, getPremises, getRulesWithConclusion

Methods inherited from class java.util.HashSet

add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

addAll, containsAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram

toString

Methods inherited from interface java.util.Set

addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

NLPProgram

public NLPProgram()

Method Detail

getFacts

public Set<net.sf.tweety.logics.fol.syntax.FolFormula> getFacts()

Returns:

A set of facts as FOL formulas

addFact

public void addFact(net.sf.tweety.logics.fol.syntax.FolFormula fact)

Specified by:

addFact in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram<net.sf.tweety.logics.fol.syntax.FolFormula,net.sf.tweety.logics.fol.syntax.FolFormula,NLPRule>

getSignature

public net.sf.tweety.logics.fol.syntax.FolSignature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.BeliefBase

Specified by:

getSignature in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram<net.sf.tweety.logics.fol.syntax.FolFormula,net.sf.tweety.logics.fol.syntax.FolFormula,NLPRule>

substitute

public NLPProgram substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t,
                             net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v)

Specified by:

substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram<net.sf.tweety.logics.fol.syntax.FolFormula,net.sf.tweety.logics.fol.syntax.FolFormula,NLPRule>

substitute

public NLPProgram substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map)
                      throws IllegalArgumentException

Specified by:

substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram<net.sf.tweety.logics.fol.syntax.FolFormula,net.sf.tweety.logics.fol.syntax.FolFormula,NLPRule>

Throws:

IllegalArgumentException

exchange

public NLPProgram exchange(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v,
                           net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
                    throws IllegalArgumentException

Specified by:

exchange in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram<net.sf.tweety.logics.fol.syntax.FolFormula,net.sf.tweety.logics.fol.syntax.FolFormula,NLPRule>

Throws:

IllegalArgumentException