Module src.olaaaf

Olaaaf is a general adaptation prototype based on belief revision whose long-term aim is to cover a broad range of adaptation processes. It is based on a formalism that covers both attribute-value pairs (often used for representing cases) and taxonomies (often used for representing domain knowledge).

Sub-modules

src.olaaaf.adaptation

Main class of the module, allowing the user to make the adaptation between two olaaaf.formula.formula.Formula $src$ and $tgt$ that are constraints.

src.olaaaf.constants

Class storing all global variables, allowing the user to easily customise the program to their liking.

src.olaaaf.distance

Representation of distance functions and the domains they are defined on.

src.olaaaf.domainKnowledge

src.olaaaf.formula

Representation of logical formulas and multiple tools to use them, abstracted depending on the operator's formula …

src.olaaaf.formulaInterpreter

Class allowing olaaaf.revision.Revision to interact with a olaaaf.mlo_solver.MLOSolver.MLOSolver.

src.olaaaf.infeasableException

src.olaaaf.mlo_solver

Representation of interfacing with MLO solvers, used to solve MLO problems.

src.olaaaf.projector

Allows to project a closed conjunction of olaaaf.formula.formula.Formula to a sub-set of its variables.

src.olaaaf.revision

Main class of the module, allowing the user to make the knowledge revision between two olaaaf.formula.formula.Formula $\psi$ and $\mu$ that are …

src.olaaaf.simplificator

Representation of simplification algorithms, used to simplify a conjunction of litterals (i.e …

src.olaaaf.variable

Representation of variables and useful tools to use them. Variable are split depending on what type of variables they represent, namely …