Vortrag Franz Wotawa - Institut für Medizinische Informatik, Statistik und Dokumentation : Medizinische Universität Graz

Institut für Medizinische Informatik, Statistik und Dokumentation, Medizinische Universität Graz

:

:

:

:

:

:

:

AI for Diagnosis and Explanation
Vortragender:	Univ.-Prof. Dipl.-Ing. Dr. Franz Wotawa, Institute for Software Technology, Graz University of Technology
Zeit:	20.06.2007, 10:15 Uhr s.t.
Ort:	IMI-Besprechungsraum (S-05-170), Auenbruggerplatz 2/5, 8036 Graz
Einladende:	Institut für Medizinische Informatik, Statistik und Dokumentation zusammen mit dem OCG-Arbeitskreis HCI & UE
Abstract:	In my talk I will focus on logic-based artificial intelligence methods. In particular I will introduce model-based reasoning (MBR) which can be effectively used for diagnosis and explanation purposes. Beside the basic principles behind MBR the talk will introduce several examples which motivate its use in different contexts. In my talk I will show how MBR can be used to detect inconsistencies in knowledge-bases and to retain consistency whenever possible. Another application will be the use of MBR for diagnosis and explanation purposes which are based on models of the underlying system. One advantage of the MBR is its flexibility which allows for providing methods and applications in a wide variation starting from technical domains to knowledge-based systems. MBR itself represents a paradigm shift from task centric approaches to modeling and is a good example for AI methods which can be effectively used in practice.
Biographie:	Franz Wotawa received a M.Sc. in Computer Science (1994) and a PhD in 1996 both from the Vienna University of Technology. He is currently a professor of software engineering, head of the Institute for Software Technology (IST), and dean of studies (for the computer science curriculum) at the Graz University of Technology. His research interests include model-based and qualitative reasoning, configuration, planning, theorem proving, intelligent agents, mobile robots, verification and validation, and software engineering. Currently, Franz Wotawa works on applying model-based diagnosis to software debugging as well as on testcase generation and repair. He has written more than 100 papers for journals, conferences, and workshops and has been member of the program committees for several workshops and conferences. He organized workshops and special issues on model-based reasoning for the journal AI Communications. He is in the editorial board of the Journal of Applied Logic (JAL), and a member of IEEE Computer Society, ACM, AAAI, the Austrian Computer Society (OCG), and the Austrian Society for Artificial Intelligence.

:

:

:

Betreuerin, 2009-07-01