Untergeordnete Navigation

Der Kalender liegt auch im csv-Format und im ics/iCal-Format vor.



Juni 2016
MoDiMiDoFrSaSo
  12345
6789101112
13141516171819
20212223242526
27282930   

 

Informatik-Oberseminar: Conditional Beliefs in Action

29.06.2016, 15:00 Uhr (Informatik-Zentrum, Raum 5053.2 (ggü. AH 6), Ahornstr. 55)

Referent: Dipl.-Inform. Christoph Schwering

Titel: Conditional Beliefs in Action

Abstract:

Humans rarely have sound or even complete knowledge about their environment. Instead, we usually picture different contingencies what the world could be like. For example, we might believe that a specific box is presumably empty, and that otherwise it most plausibly contains a gift. On the grounds of (conditional) beliefs like this we act. Sometimes we perceive new information that refutes some of these contingencies; then we revise our beliefs appropriately. To a human, all this is natural and mundane.

For a machine to do the same, it needs a formal representation and understanding of conditional belief and actions and perception. In this thesis we develop a formalization and semantics of these concepts in one coherent logical language and investigate their interaction. The main contributions are as follows.

First we introduce a method to express that a set of conditional beliefs is all that is believed. This captures the idea that a (conditional) knowledge base covers the agent's beliefs to their full extent. We refer to this concept as only-believing, as it generalizes Levesque's only-knowing to conditional beliefs. It can also be considered a semantic version of Pearl's meta-logical System Z.

Then we investigate the belief projection problem, which refers to determining what is believed after a number of actions have occurred. Solving the belief projection problem is essential to reason about beliefs in dynamic systems, like a robot for example. We propose two solutions in the framework of Reiter's situation calculus. Namely, we extend the well-known concepts of query regression and knowledge base progression to conditional beliefs.

Finally, as a step towards practical reasoning about beliefs and contingencies, we develop a limited-reasoning system for conditional beliefs. We complement Lakemeyer and Levesque's limited first-order inference with a novel sound first-order consistency test. Together, these techniques enable us to approximate the notions of conditional belief and only-believing in a way that is sound and decidable for an important class of problems.

Es laden ein: Die Dozenten der Informatik

14.06.2016, mbr

Bewerbertag 2016

30.06.2016, 13:00-17:00 Uhr (Informatik-Zentrum)

Infos und Anmeldung

15.06.2016, mbr

Informatik-Oberseminar: An Extensible Component & Connector Architecture Description Infrastructure for Multi-Platform Modeling

12.07.2016, 09:00 Uhr (Informatik-Zentrum, Ahornstr. 55, Raum 5055)

Referent: Dipl.-Inform. Dipl.-Wirt.Inform. Andreas Wortmann

Abstract:

Efficient software engineering for complex systems requires abstraction, expertise from multiple domains, separation of concerns, and reuse. Domain experts are rarely software engineering experts and should be enabled to formulate solutions using their domain's vocabulary instead of general purpose programming languages (GPLs). Successful integration of domain-specific languages (DSLs) into a system requires a separation domain concerns and integration concerns while retaining a loose enough coupling to support reusing a DSL in different contexts.

Component & connector (C&C) architecture description languages (ADLs) combine component-based software engineering and model-driven engineering to enable composition of software architectures from component models. Such models define stable interfaces required to separate domain concerns from integration concerns. They can also employ the most appropriate DSLs to describe component behavior and support translation into GPL artifacts specific to different target platforms. Current research in MDE with ADLs focuses on structural modeling and requires component behavior either in terms of GPL artifacts or fixed DSLs. The former gives rise to accidental complexities, the latter demands that domain experts learn modeling languages foreign to their domain.

We present concepts for engineering complex software systems with exchangeable component behavior languages that enable contribution of domains experts using the most appropriate DSLs. The concepts are realized in a software architecture modeling infrastructure that comprises a multiple modeling languages to develop component & connector applications based on software architectures with exchangeable component behavior DSLs. It supports model-to-model transformations from platform-independent to platform-specific software architectures and compositional code generation. With this, it enables domain experts to (re-)use the most appropriate component behavior languages and facilitates composition of domain solutions through encapsulation in components. It also enables to reuse a single platform-independent software architecture with multiple platforms. To this effect, it combines results from software language engineering, model transformations, and code generator development to C&C ADLs.

Es laden ein: Die Dozenten der Informatik

08.06.2016, mbr

Informatik-Kolloquium: Learning Behaviour Models of Discrete Event Production Systems from Observing Input/Output Signals to support the Evolution Management by Semi-Automated Requirement Verification

13.07.2016, 16:00 Uhr (Informatik-Zentrum, AH 4, Ahornstr. 55)

Referent: Univ.-Prof. Dr.-Ing. Alexander Fay Helmut-Schmidt-Universität, Hamburg

Abstract:

Production plants are usually kept in operation for several decades. During this long operational phase, operation requirements and other production conditions change frequently. Accordingly, the plants have to be adjusted in behavior and/or structure by adapting software and physics of the plant to avoid degeneration. Unfortunately, in industrial practice, changes, especially smaller ones, are often performed ad-hoc without appropriate adaptation of formal models or documentation. As a consequence, knowledge about the process is only implicitly available and an evaluation of performed changes is often omitted, resulting in sub-optimal production performance.

The approach presented here is based on learning models from observation of input / output signals of the production plant's control system. Semantics are added by using a priori information modelling which is less tedious compared to modelling the process itself.

Learning behavior models out of event traces has been tackled in a wide variety of scientific projects and publications. Usually the resulting models are used for fault detection, reengineering, and analysis. But in practical applications, like monitoring, learned models can show high complexity and permissivity which makes it difficult to use these models and results tend to be ambiguous.

In our approach, we focused on the automatic creation of so-called Machine State Petri Nets (MSPN) and Material Flow Petri Nets (MFPN). In combination, these two can reveal interesting properties of the monitored production system.

The learned models are used to automatically detect changes by continuously comparing their behavior with real plant behavior during operation (and, thus, to continuously verify the fulfillment of (non-functional) requirements) as well as to evaluate performed changes. An analysis of the models results in high-level property values such as key performance indicators or flexibility measures of the production system. In an example application to a Pick and Place unit, the concept has been applied together with an anomaly detection method to support the operator during the evolution process by constantly providing information regarding requirement fulfillment.

Es laden ein: Die Dozenten der Informatik

13.05.2016, sts

Informatik-Kolloquium: Analytics Enhanced Personalized Learning

15.07.2016, 13:00 Uhr (Informatik-Zentrum, Raum 9222, großer Seminarraum E3 , Ahornstr. 55)

Referent: Dr. rer. nat. Mohamed Amine Chatti, RWTH Aachen

Abstract:

Personalized learning is one of the core issues in Technology Enhanced Learning (TEL). There is a need to shift from one-size-fits-all systems to smart learning environments that give control to the learners. The personalization of the learning experience is crucial in different lifelong learning contexts, including schools, further and higher education, informal learning, and professional training. In this perspective, learning analytics can play an important role, providing insights and understanding into how learners learn and supporting customized learning experiences that meet their needs.

This talk focuses on the middle space between “personalized learning” and “learning analytics”. The theme and guiding focus for this talk is: How can learning analytics support personalization in different lifelong learning settings in terms of self-reflection, awareness, assessment, feedback, motivation, and recommendation?

First, I will introduce the learning analytics reference model that provides a systematic overview of the field based on four dimensions. In light of the learning analytics reference model, I will discuss the Personalized Learning & Analytics (PerLA) model, as a learner-focused, analytics-driven model that promotes learning analytics in different lifelong learning contexts.

As an application of the PerLA model, I will present the Open Learning Analytics Platform (OpenLAP), which provides the technical foundation of an open learning analytics ecosystem that encompasses different stakeholders associated through an interest in learning analytics but with diverse needs and objectives, a wide range of data coming from various learning environments and contexts, as well as multiple infrastructures and methods that enable to draw value from data in order to gain insight into learning processes.

Finally, I will present four case studies on the use of OpenLAP in different lifelong learning settings, namely the RWTH central teaching and learning platform L²P as a formal learning environment, the MOOC platform CourseMapper as an informal learning environment, as well as the BMBF research project „Professional Reflective Mobile Personal Learning Environment“ (PRiME) and the academic network PALM as professional learning environments.

Es laden ein: Die Dozenten der Informatik

21.06.2016, sts

Informatik-Kolloquium: Multimedia Data Management and Analysis

15.07.2016, 10:00 Uhr (Informatik-Zentrum, Raum 9222, großer Seminarraum E3 , Ahornstr. 55)

Referent: Dr. rer. nat. Christian Beecks, RWTH Aachen

Abstract:

The advent of the digital information age has led to an inevitably increasing growth of heterogeneous multimedia data. Caused by the rapid spread of modern devices and their powerful processing capabilities as well as advanced means of data communication, users are able to easily generate, process, and share multimedia data at billion-scale very single day. Concomitant with the resulting multitude and versatility of multimedia data made available in scientific and non-scientific domains, today's data management and analysis algorithms are supposed to adapt to various notions of similarity and different data types in order to dynamically process large multimedia databases efficiently with respect to diverse information needs.

In this talk, I will present my ongoing research in the field of multimedia data management and analysis. More specifically, I will show how to adaptively model and approximate similarity between multimedia data objects and how to efficiently index and query process large-scale multimedia databases. In addition, I will highlight promising future research directions including the analysis of dynamically evolving multimedia databases and streams.

Es laden ein: Die Dozenten der Informatik

21.06.2016, sts

Informatik-Oberseminar: Systematic Metric Systems Engineering: Reference Architecture and Process Model

20.07.2016, 10:15 Uhr (Informatik-Zentrum, E2, Raum 5056, Ahornstr. 55)

Referent: Dipl. Inform. Matthias Vianden

Abstract:

In the recent past, the research community contributed a considerable amount of work to extend the understanding of the theoretical foundations of metric systems. However, a dedicated approach for engineering of metric systems is still missing. As a result, they are often developed chaotically.

This thesis introduces MeDIC - a dedicated metric systems engineering approach, which fills this gap. MeDIC supports flexible conception, design, construction, and operation of metric systems. The approach is based on two pillars: the MeDIC process model and the MeDIC reference architecture. They integrate software engineering best practices, emerging concepts, and well-established metric-related standards and techniques. The MeDIC reference architecture provides technical guides with a layered architecture blue-print of loosely interconnected micro-services. The MeDIC process model provides ready-to-use process elements and artifacts (fragments), which drastically ease the setup of a specific engineering process. The reference architecture and process model are based on formal foundations, which provide additional benefits for conceptual analysis of metrics systems.

Various field studies, in cooperation with multiple industry partners, were used to evaluate the approach. This thesis provides insight into three selected field studies, which utilize various aspects of MeDIC in industrial environments. The evaluation shows the practical application, usefulness, and efficiency of MeDIC. Challenges associated with the development and operation of metric systems in industrial environments can thus be overcome by MeDIC. As a result, the engineering of better, more reliable, and sustainable metric systems is possible.

Es laden ein: Die Dozenten der Informatik

24.06.2016, sts

Informatik-Oberseminar: Handling Multimodality and Scarce Resources in Sign Language Machine Translation

04.08.2016, 14:00 Uhr (Informatik-Zentrum, Ahornstraße 55, E3 Raum 9222)

Referent: Dipl.-Inform. Christoph Schmidt

Titel:

Abstract:

In the field of statistical machine translation, the translation of sign languages poses an interesting and challenging problem. Since signed languages differ in grammar, vocabulary and expression from spoken languages even within the same country, the signs have to be translated into a spoken language text. In sign languages, meaning is conveyed simultaneously not only via the two hands, but also by facial expressions, body posture, head movement, and eye gaze. Because of this complex and multimodal nature of sign languages, there is no common writing system, and the scientific question of an annotation scheme suitable for machine translation remains open. Another difficulty when applying statistical methods to sign language translation is the lack of a sufficient amount of training data. This data scarcity often leads to poor translation results. Moreover, the multimodal nature of sign language is not handled by current translation systems, which usually process sequences of words. In this thesis, we approach the above three problems: finding a suitable annotation scheme, dealing with small amounts of annotated data, and handling multimodality in the machine translation process. To find an annotation scheme suitable for machine translation, we analyse the importance of additional information such as mouthings, locations in the signing space or simultaneous signing of two different signs with both hands and devise an improved way of including it in the process of translation. To deal with data scarcity and the resulting poor word alignments, we improve the automatic alignment by applying a morphosyntactic as well as a semantic analysis to find corresponding signs and phrases. To handle the multimodality of sign languages in statistical machine translation, we present two approaches. Firstly, we automatically adapt the granularity of the annotation by distinguishing signs with the same hand movements but different mouthings based on an automatic extraction of lip movements. Secondly, we use the mouthing directly in the decoding process, using both the information signed by the hands and the mouthing as an input to the decoder. By approaching the three issues of a suitable annotation, of data sparseness and of multimodality, we arrive at a translation system which can handle the multimodal sign language input and which is well beyond the performance of a standard translation system that only translates the manual component of a sign language utterance.

Es laden ein: Die Dozenten der Informatik

08.06.2016, mbr

Aachen 2025 - Digitalen Wandel erleben

23.09.2016 - 25.09.2016

Die Digitalisierung des Alltags schreitet voran. Neue Technologien, die unser Leben beeinflussen und verändern, entstehen im Stundentakt. Wie nehmen diese Technologien Einfluss auf mein Leben? Wie wird Aachen in 10 Jahren sein – im Jahr 2025?

Zeit, sich mit den Chancen, auch mit den Herausforderungen, die daraus erwachsen, auf spannende, unterhaltsame und mitreißende Art zu beschäftigen.

Aachen 2025 wird unterstützt von Prof. Stefan Kowalewski und Prof. Manfred Nagl.

Weitere Informationen: www.aachen2025.de

14.12.2015, mbr

PromotionsCafé: Perfektes Auftreten, SmallTalk, Geschlechterspezifische Kommunikation, Erfolgreiches Selbstmarketing

02.11.2016, 16:00-17:30 Uhr

Unser Gast, Melanie Götze, Systemische Beraterin und Freiberuflerin in Düsseldorf, verrät erfolgreiche Tipps und pfiffige Tricks:

Alle Doktorandinnen und Doktoranden sind zu dieser Veranstaltung herzlich eingeladen!

Weitere Informationen

15.06.2016, mbr