Package 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	Description
NLPProgram()

Method Summary

Modifier and Type	Method	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	getMinimalSignature()
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, getSyntacticModule

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, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

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

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>

getMinimalSignature

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

Specified by:

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

Specified by:

getMinimalSignature 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