Kolloquium/Ringvorlesung des Graduiertenkolleg Wissensrepräsentation

Mi, 5.4.2006 17.15-18.45 Christer Johansson
Dept. of Linguistics and Literature
University of Bergen
"Analogical Modeling with Bias - allowing Feedback and Centering"
Seminargebäude, 3-63|64
Mi, 12.4.2006 17.15-18.45 Eduard Barbu
Trento
"Automatic building of wordnets"
Seminargebäude, 3-63|64
Mi, 19.4.2006 17.15-18.45 Prof. Dr. Thomas Wilke
Universität Kiel
"Protokollsynthese für Spezifikationen in Wissenslogik"
Seminargebäude, 3-63|64
Mi, 26.4.2006 14.15-15.45 Prof. Dr. Gholamreza Nakhaeizadeh
DaimlerChrysler Research and Technology
Data Mining Solutions
"Data und Text Mining Prozesse:
Ist die Einbeziehung des Hintergrundswissens in den Mining- Prozess möglich und nützlich?"
Seminargebäude, 0035-36
Mi, 3.5.2006 17.15-18.45 Dr. Ekkehard Findeissen
Universität Heidelberg
Institut für Medizininformatik
"Die Ontologie des klinischen Nachschlagewerkes medrapid.info"
Seminargebäude, 3-63|64
Do, 15.6.2006 17.00-19.00 Frank Fuchs-Kittowski
Fraunhofer ISST, Berlin
"Integrierte IT-Unterstützung der Wissensarbeit"
Seminargebäude, 00-99
Di, 20.6.2006 13.15-14.45 Dr. Sebastian Sardina
RMIT University
"On the Limits of Planning over Belief States under Strict Uncertainty"
Seminargebäude, 00-35/36
Mi, 28.6.2006 14.00-16.00 Reinhard Rapp
Mainz
"Statistische maschinelle Übersetzung mittels nicht paralleler Texte"
Seminargebäude, 0033-34
Do, 29.6.2006 11.15-12.45 Ilkka Niemelä
Helsinki University of Technology
"Bounded Model Checking using Answer Set Programming"
Seminargebäude, 00-33|34
Mi, 12.7.2006 17.15-18.45 Prof. Gerhard Lakemeyer
RWTH Aachen
"How to get robots to reason about their actions"
Seminargebäude, 3-63|64
Do, 21.9.2006 15.15-16.45 Dr. Serge Sharoff
University of Leeds
" "Irrefragable answers" to translation problems: Researching and teaching translation using comparable corpora"
Seminargebäude, 1-41|42
X X Reinhard Höhn
KMA Wien
Vorgehensmodelle in der ontologischen Modellierung
Seminargebäude,






Kolloquium des Graduiertenkolleg Wissensrepräsentation

Christer Johansson

Analogical Modeling with Bias - allowing Feedback and Centering



We show a computationally efficient approximation (cf. [1]) of a full analogy model [2, 3], implemented in a computer program, and tested on the CoNLL2000 chunk tagging task [4], putting clause boundaries around mainly np and vp phrases. Our implementation showed to be competitive with other memory based learners. It deviates only slightly from the theoretical model. First, it implements a version of homogeneity check, which does not account fully for nondeterministic homogeneity. Second, it allows feedback of the last classification, and thirdly it allows centering on some central feature positions. Positions containing a) those parts-of-speech tags and b) those words that are to be given a chunk tag are given a weight which is given by how many match patterns that are equally or more general. A match on two centered features gives its patterns an extra weight given by the number of features. The results can be summarized as follows: a) using only lexical features performs below baseline. b) The implementation without anything extra, performs as the baseline for five parts-of-speech features, and centering improves the results. c) Feedback on its own does not improve results, while feedback + centering improves results more than just centering. Feedback on its own makes results deteriorate. The results exceed F=92, which is comparable with some of the best reported results for Memory Based Learning on the chunk tagging task.




Alle Interessenten sind herzlich eingeladen.

zurück
         





Kolloquium des Graduiertenkolleg Wissensrepräsentation

Eduard Barbu

Automatic building of wordnets



The importance of a wordnet for NLP applications can hardly be overestimated. The Princeton WordNet (PWN) is now a mature lexical ontology which has demonstrated its efficiency in a variety of tasks (word sense disambiguation, machine translation, information retrieval, etc.). Inspired by the success of PWN many languages started to develop their own wordnets taking PWN as a model. The rapid progress in building a new wordnet and its linking with an already tested wordnet (usually PWN) is hindered by the amount of time and effort needed for developing such a resource. In this talk I will discuss the problem of automatic building of wordnets. I will start by stating the assumptions behind such enterprise and then presents a methodology that can be used for automatically building wordnets strictly aligned (that is, using only EQ_SYNONYM relation) with an already available wordnet.




Alle Interessenten sind herzlich eingeladen.

zurück
         





Kolloquium des Graduiertenkolleg Wissensrepräsentation

Prof. Dr. Thomas Wilke

Protokollsynthese für Spezifikationen in Wissenslogik



Mehrfach schon haben sich Wissenschaftler stark gemacht für die Benutzung von Wissenslogik (erweitert um zeitliche Ausdrucksmittel) im Zusammenhang mit der Entwicklung von verteilten Systemen: Zum einen soll Wissenslogik häufig eine adäquate Spezifikationsebene für den Entwurfsprozess bieten, zum anderen soll die Integration von Ausdrücken der Wissenslogik in herkömmliche Programme zu besonders intuitiven Programmen führen ("knowledge-based programming"). Nach einer Einführung in Wissenslogik (genauer: "logic of knowledge and linear time") wird im Vortrag ein Überblick über die bekannten Model-Checking-Ergebnisse für Wissenslogik gegeben, um danach das Syntheseproblem für Spezifikationen in Wissenslogik eingehend behandeln zu können. D.h., es wird das Problem studiert, ob bzw. wie man zu einer Formel in der Wissenslogik, die das gewünschte Verhalten eines gesuchten Protokolles spezifiziert, automatisch ein entsprechendes Protokoll bestimmen kann.




Alle Interessenten sind herzlich eingeladen.

zurück
         





Kolloquium des Graduiertenkolleg Wissensrepräsentation

Prof. Dr. Gholamreza Nakhaeizadeh

Data und Text Mining Prozesse:
Ist die Einbeziehung des Hintergrundswissens in den Mining- Prozess möglich und nützlich?



Die optimalen Ergebnisse in Data und Text Mining werden dann erzielt, wenn man zusätzlich zu Daten auch das Hintergrundwissen in den Mining -Prozess einbezieht. Die wesentliche Frage hierbei ist, ob immer die Einbeziehung solches Wissens möglich und nützlich ist. Der Vortrag befasst sich mit dieser Thematik und berichtet über positive und negative Erfahrungen anhand Beispiele aus der Automobilindustrie.




Alle Interessenten sind herzlich eingeladen.

zurück
             





Kolloquium des Graduiertenkolleg Wissensrepräsentation

Dr. Ekkehard Findeissen

Die Ontologie des klinischen Nachschlagewerkes medrapid.info



Das neuartige kostenlose Nachschlagewerk medrapid.info beschreibt bereits über 4.300 Krankheitsbilder auf der Basis eines kontrollierten Vokabulars. Damit kann nicht nur zielsicher in der Wissensbasis navigiert werden. Im Vergleich mit beliebigen elektronischen Dokumenten können auch vollautomatisch Schlüsse gezogen werden. Wie halten wir die Wissensbasis aktuell und konsistent? Wie lernen wir mehr über 1 Modell für 20.000 Krankheitsbilder? Welche Dienste sind denkbar?




Alle Interessenten sind herzlich eingeladen.

zurück
         





Kolloquium des Graduiertenkolleg Wissensrepräsentation

Frank Fuchs-Kittowski

"Integrierte IT-Unterstützung der Wissensarbeit"



Ich werde über Arbeiten zur "Integrierten IT-Unterstützung der Wissensarbeit" berichten, die ich aus einer tägkeits- und kooperations-orientierten Perspektive betrachte (also den Tätigkeiten und Kooperationsformen in der Wissensarbeit). Aus der Analyse des Wissensbegriffs und von Wissensprozessen in Organisationen sowie einer vertieften Analyse der Tätigkeiten und Kooperationsformen in der Wissensarbeit leite ich Anforderungen und das Konzept einer integrierten IT-Unterstützung der Wissensarbeit ab, das dann auch in einer Plattform / Anwendung umgesetzt sowie in der Praxis erfolgreich erprobt wurde.




Alle Interessenten sind herzlich eingeladen.

zurück
                   





Kolloquium des Graduiertenkolleg Wissensrepräsentation

Dr. Sebastian Sardina

"On the Limits of Planning over Belief States under Strict Uncertainty"



A recent trend in planning with incomplete information is to model the actions of a planning problem as nondeterministic transitions over the belief states of a planner, and to search for a plan that terminates in a desired goal state no matter how these transitions turn out. We show that this view of planning is fundamentally limited. Any plan that is successful by this criteria has an upper bound on the number of actions it can execute. Specifically, the account will not work when iterative plans are needed. We also show that by modifying the definition slightly, we obtain another account of planning that does work properly even for iterative plans. Although the argument is presented in an abstract form, we illustrate the issues using a simple concrete example.

This is joint work with Giuseppe De Giacomo, Yves Lesperance, and Hector Levesque




Alle Interessenten sind herzlich eingeladen.

zurück
                   





Kolloquium des Graduiertenkolleg Wissensrepräsentation

Reinhard Rapp

"Statistische maschinelle Übersetzung mittels nicht paralleler Texte"


Die statistische maschinelle Übersetzung hat sich etabliert: Zwar sind die Ergebnisse, soweit sie von menschlichen Evaluatoren bewertet werden, für nicht eingeschränkte Domänen derzeit keineswegs besser einzuschätzen als die etablierter regelbasierter Übersetzungs­systeme wie etwa SYSTRAN. Allerdings ist der für die Übersetzung neuer Sprachpaare erforderliche Entwicklungsaufwand so viel geringer, dass sich in Fachkreisen eine gewisse Euphorie breit zu machen scheint. Während der Titel einer Veröffentlichung von Martin Kay noch vor etwa 10 Jahren "Machine Translation: The Disappointing Past and Present" lautete, betitelte Franz Josef Och (Google Inc.) seinen Vortrag beim letztjährigen Workshop on "Building and Using Parallel Texts" mit "Statistical Machine Translation: The Fabulous Present and Future".

Andererseits gibt es ernst zu nehmende Argumente, dass der derzeit eingeschlagene Weg eine Sackgasse sein könnte. Zu diesen Argumenten gehören:
Der Vortrag gibt zunächst einen Überblick über den derzeitigen Stand der statistischen ma­schinellen Übersetzung und versucht dann einen neuen Ansatz aufzuzeigen, der die obigen Probleme vermeidet.




Alle Interessenten sind herzlich eingeladen.

zurück
           





Kolloquium des Graduiertenkolleg Wissensrepräsentation

Ilkka Niemelä

"Bounded Model Checking using Answer Set Programming"




In this talk bounded model checking of asynchronous concurrent systems is introduced as an application area for answer set programming.
As an example model of asynchronous systems a generalization of communicating automata, 1-safe Petri nets, are used. It is shown how a 1-safe Petri net and a requirement on the behavior of the net can be translated into a logic program such that the bounded model checking problem for the net can be solved by computing stable models of the corresponding program. The use of the stable model semantics leads to compact encodings of bounded reachability and deadlock detection tasks as well as the more general problem of bounded model checking of linear temporal logic.




Alle Interessenten sind herzlich eingeladen.

zurück
     

Kolloquium des Graduiertenkolleg Wissensrepräsentation

Prof. Gerhard Lakemeyer

"How to get robots to reason about their actions"




One of the aims of cognitive robotics is to come up with knowledge representation and reasoning techniques suitable for robots that need to act in uncertain and constantly changing environments. The logic-based action language Golog, which was originally developed at the University of Toronto and which combines features from both imperative programming and planning, is intended for just this purpose. In this talk I will report on our efforts to adapt this language so that it can be used in scenarios with tight real-time constraints. In particular, I will discuss a form of decision-theoretic planning which is feasible even in highly dynamic domains. The work has been applied to control robotic soccer agents as well as agents in interactive computer games.


Alle Interessenten sind herzlich eingeladen.

zurück
               

Kolloquium des Graduiertenkolleg Wissensrepräsentation

Dr. Serge Sharoff

" "Irrefragable answers" to translation problems Researching and teaching translation using comparable corpora"




We all know that words are used in a variety of contexts and cannot be translated in a word-for-word fashion. Quite frequently novice translators fully understand the source text, but cannot find an expression suitable for rendering it in the target language, even it happens to be their native language, take examples like: "Hospital admission can prove a particularly daunting experience." or "I did all the cleaning, cooking and kept his books in order, which was no mean feat". In my talk I will discuss the nature of problems with such examples, as well as computational solutions for these problems offered by comparable corpora.


Alle Interessenten sind herzlich eingeladen.

zurück