Technion Computer Science Colloquium Time+Place : Wednesday 07/11/2012 14:30 room 337-8 Taub Bld. Speaker : Anna Zamansky Affiliation: Technical University of Vienna Host : Johann Makowsky Title : Taming Logics: Theory, Tools, Applications Abstract : In recent decades a vast variety of non-classical logics have been introduced, driven by various CS applications. Temporal logics, separation logics, fuzzy logics and paraconsistent logics are just a few prominent examples, used in verification of software and hardware, medical expert systems, data and knowledge bases, etc. A useful logic should ideally have two components: a simple and intuitive semantics, which can provide real insights into the logic, and a corresponding analytic proof system which is the key to effective proof search strategies for automated deduction methods. Obtaining these components for a given logic is a challenging process, which is usually tailored to the particular logic at hand. However, due to the increasing number of new application-driven logics, there is a need for a systematic approach to obtaining these components, which could be used for developing tools for automatic support for the design and investigation of logical systems. In this talk we show that this goal can be achieved at least for some useful families of non-classical logics. We provide a uniform and modular method for a systematic generation of effective semantics and analytic proof systems for a very large family of paraconsistent logics used for reasoning with inconsistent information, thus making a substantial step towards the development of efficient paraconsistent theorem provers. The method, implemented by the Prolog system PARAlyzer, has been extended to infinitely many other logics formulated in terms of axiomatic systems of a certain natural form. Short bio: Anna Zamansky is a Marie Curie postdoctoral fellow at the Computational Logic group at the Technical University of Vienna. An alumna of the Technion's Excellence Program for undergraduate studies, she obtained her PhD in Computer Science from Tel Aviv University in June 2010. Her PhD dissertation on applications in CS of non-deterministic semantics was a runner up for the Beth Dissertation Prize of the Association of Logic, Language and Information in 2010. In 2011 she received the Weizmann Institute Postdoctoral Award for Women in Science. Her research interests focus on applications of logic for CS, in particular for automated deduction, knowledge representation and reasoning under uncertainty. ---------------------------------------------------------- Visit our home page- <http://www.cs.technion.ac.il/~colloq> --------------------------------------------------------- Technion Math. Net (TECHMATH) Editor: Michael Cwikel <techm@math.technion.ac.il> Announcement from: Hadas Heier <heier@cs.technion.ac.il>