1. A Broad View Knowledge Engineering Competition Roman Barták Charles University, Prague bartak@kti.mff.cuni.cz http://kti.mff.cuni.cz/~bartak What can we do in addition to solving?

2. KE Competition, Roman Barták The role of a formal model a formal model GUI modelling solver output machinery ERP benchmarks

3. KE Competition, Roman Barták Modelling tools Assist the user to formulate formally the problem Automatic model extraction Solver-independent! Formal modelling languages Formal modelling languages Expressivity what features can be modelled Built-in robustness prevent users to make wrong models Translators be compatible with other modelling frameworks Model validation Model validation Identifying problems that make the model unsolvable Model visualisation Model visualisation

4. KE Competition, Roman Barták Pre-solving tools Assist the solver to find solution more effectively Solver dependent! Model pre-processing Model pre-processing Converting model to equivalent model that is easier to solve –Input: model –Output: equivalent but easier to solve model –Requires: modelling framework + solver Model analysing Model analysing Extracting heuristics and other info for the solver –Input: model –Output: heuristics for the solver –Requires: modelling framework that supports expressing heuristics + solver

5. KE Competition, Roman Barták Other tools Audit Audit Validating plans/schedules –Input: model + plan –Output: list of inconsistencies –Requires: modelling framework + specification of inconsistencies Modelling by examples Modelling by examples Assist the user when changing the model to remove some unwanted features of the output plan –Input: model + plan + list of „inconsistencies“ –Output: modified model –Requires: modelling framework + specification of inconsistencies

6. KE Competition, Roman Barták Competition CategoryInputOutputCriteriaComment modellersproblem (NL or DB) modelExpressivity Support by solvers Solver independent Subjective for NL validatorsmodelbugsNumber of found bugs Solver independent pre-processorsmodel Efficiency Output quality Solver dependent analysersmodelheuristicsEfficiency Output quality Solver dependent integratedproblemAll we can deduce

7. ICKEP ends where IPC starts