Intelligent Systems and Applications
18.11.2014 10:00 - 18.11.2014 18:00
Petersplatz 1, Kollegienhaus, Fakultätenzimmer 112 - 4001 Basel Schweiz
Annual assembly and workshop of the SGAICO group. Registration until Nov, 14 2014.
Universität Basel, Kollegienhaus, Fakultätenzimmer 112, Petersplatz 1, 4001 Basel
The annual assembly and workshop of SGAICO will take place on November, 18 2014 SGAICO at the University of Basel and feature the topic Intelligent Systems and Applications.
10:00 - 10:30
General Assembly & Election of the new Steering Board and President
Candidates for the new Steering Board:
Jean-Daniel Dessimoz (HESSO) (for deputy president)
Marc-Oliver Gewaltig (EPFL) (for deputy president)
Jana Koehler (HSLU) (for president)
Thilo Stadelmann (ZHAW) (for deputy president)
10:30 - 11:45
Dialogue on Education (Slides)
|11:45 - 12:30|
Invited Keynote (Slides)
Deep Learning and the neural net RNNaisense (Jonathan Masci, IDSIA)
In the past few years AI experienced a rapid progress, far beyond expectations, given previous trends. This is mainly due to a neural network renaissance called Deep Learning. Thanks to availability of large amounts of labeled training data, extremely powerful general purpose machines (i.e. GPU enabled), and a few small modifications to neural architectures devised more than two decades ago, we are now able to efficiently train networks with millions of weights, and up to 20 layers with plain back-propagation.
|12:30 - 14:00||Lunch|
|14:00 - 18:00|
Technical Program & Workshop
14:00 - 14:25 LP-based Heuristics for Cost-optimal Planning (Florian Pommerening, Uni Basel; Slides)
Heuristics in cost-optimal planning estimate the cost to reach a goal. The calculation of many heuristics can be written declaratively as a linear program. We cover several interesting heuristics of this type by a common framework that fixes the objective function of the linear program. Within the framework, constraints from different heuristics can be combined in one heuristic estimate which dominates the maximum of the component heuristics. Different heuristics of the framework can be compared on the basis of their constraints. This enables us to better understand the relationships between different heuristics.
14:25 - 14:50 Directed model checking: Finding bugs through AI planning (Martin Wehrle, Uni Basel; Slides)
Model checking is an automated approach to check whether a model of a system satisfies a given property. An important practical aspect of model checking is bug finding. In particular, this is the case for (safety critical) concurrent systems, where subtle bugs can occur because of unexpected thread interleavings.Directed model checking is a version of model checking that applies AI planning techniques like heuristic search to find bugs in concurrent systems. This talk provides a general introduction to directed model checking, and presents a search technique that has been recently applied to find bugs in concurrent systems of timed automata.
14:50 - 15:15 Can Deep Learning solve the Sentiment Analysis Problem? (Mark Cieliebak, ZHAW; Slides)
Sentiment analysis appears to be one of the easier tasks in the realm of text analytics: given a text like a tweet or product review, decide whether it contains positive or negative opinion. This task is almost trivial for humans, but it turns out to be a true challenge for automated systems, in fact, state-of-the-art sentiment analysis tools are wrong on approx. 4 out of 10 documents. Current sentiment analysis tools are rule-based, feature-based, or combinations of both. However, recent research uses deep learning on very large sets of documents. In this talk, we will explain the intrinsic difficulties of automated sentiment analysis; present existing solution approaches and their performance; describe an architecture for a deep learning system; and explore whether deep learning can improve sentiment analysis accuracy.
To cover the costs of the event, a nominal participation fee of 20 CHF will be collected per participant. Lunch vouchers will be available for 15 CHF.
044 349 3350 - jana.koehler(at)hslu.ch