27.03.17 1 Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems Bernhard Peischl, Ingo Pill and Franz Wotawa {bpeischl,ipill,wotawa}@ist.tugraz.a t Research carried out as part of the Applied Model Based Reasoning (AMOR) under grant 842407 Observations • Idea behind reasoning from first principles rather old (1980s) • Some applications (mainly prototypes) – Cars – Webservices & software – Space probes – .... • WHY IS MBR NOT (SO OFTEN) USED? KI 2016, F. Wotawa 2 Obervations (cont) • There might be many answers: – Modeling is not that easy – The current engineering and maintenance process is not that compatible – Technical issues (performance, runtime, space complexity,...) – ... KI 2016, F. Wotawa 3 SUPPORT MODELING (TOOLS, LANGUAGES,..) CHANGE THE PROCESSES NOT THAT PROBLEMATIC ANYMORE!
6
Embed
presentation ki2016 - Graz University of Technology...27.03.17 1 Using ModelicaPrograms for Deriving Propositional Horn Clause Abduction Problems Bernhard Peischl, Ingo Pill and Franz
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.