search

agentlab / net.sf.tweety

GNU General Public License v3.0
0 stars 0 forks source link

Quantitative Interpretation #48

Open ShishkinDmitriy opened 8 years ago

ShishkinDmitriy commented 8 years ago

What I think TODO:

• Make Interpretation generic <T extends Formula, S extends Object>, where T - type of function, S - type of return values; • Make Interpretation implements Map<T, S>, e.g. PossibleWorld should implelent Map<PropositionalFormula, Boolean>;

Matthias:

I think is sufficient. Every interpretation needs to have the “satisfies” operations as they are. There are some types of interpretations which also return quantitative values, that is right. Maybe we can add another interface “QuantitativeInterpretation” that inherits from “Interpretation” with the above generics.