Uses of Class
org.tweetyproject.logics.ml.syntax.MlBeliefSet
-
Packages that use MlBeliefSet Package Description org.tweetyproject.logics.ml.parser org.tweetyproject.logics.ml.reasoner org.tweetyproject.logics.ml.semantics org.tweetyproject.logics.ml.writer -
-
Uses of MlBeliefSet in org.tweetyproject.logics.ml.parser
Methods in org.tweetyproject.logics.ml.parser that return MlBeliefSet Modifier and Type Method Description MlBeliefSet
MlParser. parseBeliefBase(java.io.Reader reader)
-
Uses of MlBeliefSet in org.tweetyproject.logics.ml.reasoner
Methods in org.tweetyproject.logics.ml.reasoner with parameters of type MlBeliefSet Modifier and Type Method Description abstract java.lang.Boolean
AbstractMlReasoner. query(MlBeliefSet beliefbase, FolFormula formula)
java.lang.Boolean
MleanCoPReasoner. query(MlBeliefSet beliefbase, FolFormula formula)
java.lang.Boolean
SimpleMlReasoner. query(MlBeliefSet mbs, FolFormula formula)
java.lang.Boolean
SPASSMlReasoner. query(MlBeliefSet kb, FolFormula query)
java.lang.String
SPASSMlReasoner. queryProof(MlBeliefSet kb, Formula query)
Determines the answer wrt. -
Uses of MlBeliefSet in org.tweetyproject.logics.ml.semantics
Methods in org.tweetyproject.logics.ml.semantics with parameters of type MlBeliefSet Modifier and Type Method Description boolean
KripkeModel. satisfies(MlBeliefSet beliefBase)
-
Uses of MlBeliefSet in org.tweetyproject.logics.ml.writer
Methods in org.tweetyproject.logics.ml.writer with parameters of type MlBeliefSet Modifier and Type Method Description void
SPASSWriter. printProblem(MlBeliefSet kb, RelationalFormula formula)
Prints the contents of a SPASS problem file for a given knowledge base and a formula.Constructors in org.tweetyproject.logics.ml.writer with parameters of type MlBeliefSet Constructor Description MlWriter(MlBeliefSet beliefSet)
-