Papers by Clemens Beckstein
ZEUS, 2012
A dynamic and complex process environment forces the automated execution and monitoring of proces... more A dynamic and complex process environment forces the automated execution and monitoring of processes to face a lot of hard problems. This paper shows how the execution of agile workflows can be assisted by AI planning techniques. In contrast to previous approaches, this method allows for an online adaption of simple process models to changes in the process environment. It can handle a manifold of unexpected events and guarantees the soundness and completeness of the adapted workflow.
Semantic Web (05) - Ontologien
Kapitel 4: Suche
Oldenbourg Wissenschaftsverlag Verlag eBooks, 2003
3 Suche
De Gruyter eBooks, Oct 23, 2013
NE:GT Das Werk einschließlich aller seiner Teile ist urheberrechtlich geschützt. Jede Verwertung ... more NE:GT Das Werk einschließlich aller seiner Teile ist urheberrechtlich geschützt. Jede Verwertung außerhalb der engen Grenzen des Urheberrechtsgesetzes ist ohne Zustimmung des Verlages unzulässig und strafbar. Das gilt besonders für Vervielfältigungen, Übersetzungen , Mikroverfilmungen und die Einspeicherung und Verarbeitung in elektronischen Systemen.
On the Complexity of Generalized Horn Clause Intuionistic Logic
WLP, 2000
Logisches Truth-Maintenance
Teubner-Texte zur Informatik, 1996
Das Jtms ist vergleichsweise ausdrucksschwach: es kann — sieht man einmal von den CP-Rechtfertigu... more Das Jtms ist vergleichsweise ausdrucksschwach: es kann — sieht man einmal von den CP-Rechtfertigungen ab, die ja nur indirekt, uber die aus ihnen generierten SL-Rechtfertigungen an der Verarbeitung teilhaben — lediglich Constraints auswerten, die SL-Rechtfertigungen oder Deklarationen von Widerspruchsknoten entsprechen.
ISCRAM, 2012
Requirements analysis of IT-support for rescue management showed that electronic checklist suppor... more Requirements analysis of IT-support for rescue management showed that electronic checklist support is a vital function of any IT-based assistance system. Although checklists are a simple approach, their successful implementation and use depends on many factors. We nevertheless believe that Intelligent Electronic Checklist Support Systems (IECSS) are especially helpful for the (inter-) organizational cooperation in disaster scenarios like mass casualty incidents (MCIs). In this paper we describe why, when, and how electronic checklists can be used to coordinate the work of the geographically dispersed rescue forces. For this purpose we will have a look at safety-critical and complex tasks in aviation and medicine where checklists already are successfully used and try to profit from this experience for the MCI domain.
Springer eBooks, 2011
Operation managers in mass casualty incidents (MCI) are easily overwhelmed by the highly dynamic ... more Operation managers in mass casualty incidents (MCI) are easily overwhelmed by the highly dynamic scenario. Today, they are often supported by paper-based checklists that help ensure that nothing important gets overlooked. In this paper, we present our approach to dramatically increase the support offered by such checklists: We suggest to replace them by IT-based intelligent checklists that will not only display information the manager should collect and tasks he might perform, but directly support semi-automatic information gathering, propagation and task-execution.
Nicht-monotones Truth-Maintenance
Gegenstand dieses Kapitels ist ein spezieller Typ von TMS — das Jtms (Justification-Based Truth-M... more Gegenstand dieses Kapitels ist ein spezieller Typ von TMS — das Jtms (Justification-Based Truth-Maintenance System). Die wahrscheinlich erste Implementierung des Jtms stellt das am MIT entwickelte System Amord [dKDR+78, Doy78] dar. Spater folgten zahlreiche alternative Implementierungen; etwa Duck [McD85], Duckito [Her84] und das Brtms [Hor91] (mit dem Brtms werden wir uns in Abschnitt 8.3 noch genauer beschaftigen).
Zur Logik der Logik-Programmierung
Springer eBooks, 1988
Annahmen-basiertes Truth-Maintenance — Erweiterungen
Das Kern-Atms gestattet nur die Formulierung von Rechtfertigungen, die logisch durch aussagenlogi... more Das Kern-Atms gestattet nur die Formulierung von Rechtfertigungen, die logisch durch aussagenlogische Formeln der Form $${x_1}\Lambda ...\Lambda {x_n} \to y$$ interpretierbar sind, also definite Klauseln oder (fur y = ⊥) materiale Integritatsbedingungen darstellen. Diese Einschrankung macht es dem Problemloser nicht gerade leicht, Constraint-Probleme fur das Atms aufzubereiten. Es ist also kein Wunder, das seit den ersten Veroffentlichungen zum Atms (de Kleers Trilogie [dK86a]) zahlreiche Vorschlage fur Erweiterungen des Kern-Atms gemacht wurden. Diese Erweiterungen lassen sich im wesentlichen in zwei Kategorien einteilen, die wir als deklarative bzw. prozedurale Erweiterungen bezeichnen wollen.
Reason-Maintenance-Systeme
Springer eBooks, 1988
Die Welt ist voller sich gegenseitig widersprechender oder in sich widerspruchlicher Information—... more Die Welt ist voller sich gegenseitig widersprechender oder in sich widerspruchlicher Information—man denke etwa an die Gesamtheit der in einem groseren Buro gegenwartigen Informationsquellen mit den ihnen zugeordneten Handlungsschemata: Daten konnen fehlerhaft, Rahmenbedingungen fur die Erledigung einer Aufgabe partiell widerspruchlich sein; die fur die Losung eines gestellten Problems relevanten Informationen sind eventuell so komplex, das Teilaufgaben unnotigerweise mehrfach erledigt werden oder—noch schlimmer—eine Gesamtlosung aufgrund der nur unvollstandigen Kenntnis von Zusammenhangen entweder unerreichbar ist oder zu guter Letzt nicht mehr nachvollzogen werden kann.
Algorithmic Debugging with RISC
We outline a blueprint for the development of new computer science approaches for the management ... more We outline a blueprint for the development of new computer science approaches for the management and analysis of big data problems for biodiversity science. Such problems are characterized by a combination of different data sources each of which owns at least one of the typical characteristics of big data (volume, variety, velocity, or veracity). For these problems, we envision a solution that covers different aspects of integrating data sources and algorithms for their analysis on one of the following three layers: At the data layer, there are various data archives of heterogeneous, unstructured, and uncertain data. At the functional layer, the data are analyzed for each archive individually. At the meta-layer, multiple functional archives are combined for complex analysis.
Informatik-Fachberichte, 1991
This paper describes a deduction method that works both top-down and bottom-up. The method can be... more This paper describes a deduction method that works both top-down and bottom-up. The method can be viewed as an extension of a well-known approach|Earley deduction|to handle negation-as-failure. We show that with respect to the strati ed model theory of 1] the method is sound, that it is strongly complete (terminating) for function-free programs with negation, and complete for programs without negation if function symbols are allowed. The method uses the call graph of a program to represent static dependencies, and a Truth Maintenance System to store dynamic dependencies between partial lemmas generated by the deduction method. We argue by means of examples that these dependencies allow the method to avoid some redundant deductions, and that they are useful in forward reasoning in the presence of negation-as-failure.
Evolutionary Logic Programming with RISC
ABSTRACT
A Meta Level Architecture For Workflow Management
Journal of Integrated Design & Process Science archive, 1999
Global Change Biology, Aug 19, 2010
Understanding and modeling ecosystem responses to their climatic controls is one of the major cha... more Understanding and modeling ecosystem responses to their climatic controls is one of the major challenges for predicting the effects of global change. Usually, the responses are implemented in models as parameterized functional relationships of a fixed type. In contrast, the inductive approach presented here based on artificial neural networks (ANNs) allows the relationships to be extracted directly from the data. It has been developed to explore large, fragmentary, noisy, and multidimensional datasets, such as the carbon fluxes measured at the ecosystem level with the eddy covariance technique. To illustrate this, our approach has been systematically applied to the daytime carbon flux dataset of the deciduous broadleaf forest Hainich in Germany. The total explainable variability of the half-hourly carbon fluxes from the driving climatic variables was 93.1%, showing the excellent data mining capability of the ANNs. Total photosynthetic photon flux density was identified as the dominant control of the daytime response, followed by the diffuse radiation. The vapor pressure deficit was the most important nonradiative control. From the ANNs, we were also able to deduce and visualize the dependencies and sensitivities of the response to its climatic controls. With respect to diffuse radiation, the daytime carbon response showed no saturation and the light use efficiency was three times greater for diffuse compared with direct radiation. However, with less potential radiation reaching the forest, the overall effect of diffuse radiation was slightly negative. The optimum uptake of carbon occurred at diffuse fractions between 30% and 40%. By identifying the hierarchy of the climatic controls of the ecosystem response as well as their multidimensional functional relationships, our inductive approach offers a direct interface to the data. This provides instant insight in the underlying ecosystem physiology and links the observational relationships to their representation in the modeling world.
Distributed Plan Maintenance for Scheduling and Execution
Uploads
Papers by Clemens Beckstein