| Package | Description |
|---|---|
| net.sf.tweety.logics.pl.analysis | |
| net.sf.tweety.logics.pl.semantics | |
| net.sf.tweety.logics.pl.syntax |
| Class and Description |
|---|
| FuzzyInterpretation
A fuzzy interpretation for propositional logic.
|
| PossibleWorld
This class represents a possible world of propositional logic, i.e.
|
| Class and Description |
|---|
| NicePossibleWorld
Wrapper for the PossibleWorld providing better representation mechanisms, it knows all
the possible propositions (the signature) and therefore provides a complete representation that
maps a boolean to the Proposition.
|
| PossibleWorld
This class represents a possible world of propositional logic, i.e.
|
| PriestWorld.TruthValue
The three truth values.
|
| Class and Description |
|---|
| PossibleWorld
This class represents a possible world of propositional logic, i.e.
|
Copyright © 2018. All rights reserved.