Institut für Informatik und Computational Science
Refine
Has Fulltext
- no (121) (remove)
Year of publication
Document Type
- Doctoral Thesis (121) (remove)
Is part of the Bibliography
- yes (121)
Keywords
- Android Security (1)
- Answer Set Programming (1)
- Answer Set Solving modulo Theories (1)
- Artificial Neuronal Network (1)
- Business Process (1)
- Codierungstheorie (1)
- Declarative Problem Solving (1)
- Deep Learning (1)
- Enterprise Architecture (1)
- Erklärbarkeit (1)
- Explainability (1)
- Fehlererkennung (1)
- Geschäftsprozess (1)
- Grounding Theory (1)
- Industrie 4.0 (1)
- Industry 4.0 (1)
- Interpretability (1)
- Interpretierbarkeit (1)
- Knowledge (1)
- Knowledge Management (1)
- Künstliche Neuronale Netzwerke (1)
- Learning (1)
- Lernen (1)
- Machine Learning (1)
- Modeling (1)
- Modellierung (1)
- Optimierung (1)
- Optimization (1)
- Preference Handling (1)
- Privacy Protection (1)
- Process (1)
- Process Management (1)
- Prozess (1)
- Prozessmanagement (1)
- Simulation (1)
- Speicher (1)
- Static Analysis (1)
- Temporal Answer Set Solving (1)
- Wissen (1)
- Wissensmanagement (1)
- unidirektionale Fehler (1)
Institute
Cloud-RAID
(2014)
Answer Set Programming (ASP) allows us to address knowledge-intensive search and optimization problems in a declarative way due to its integrated modeling, grounding, and solving workflow. A problem is modeled using a rule based language and then grounded and solved. Solving results in a set of stable models that correspond to solutions of the modeled problem. In this thesis, we present the design and implementation of the clingo system---perhaps, the most
widely used ASP system. It features a rich modeling language originating from the field of knowledge representation and reasoning, efficient grounding algorithms based on database evaluation techniques, and high performance solving algorithms based on Boolean satisfiability (SAT) solving technology.
The contributions of this thesis lie in the design of the modeling language, the design and implementation of the grounding algorithms, and the design and implementation of an Application Programmable Interface (API) facilitating the use of ASP in real world applications and the implementation of complex forms of reasoning beyond the traditional ASP workflow.
The business problem of having inefficient processes, imprecise process analyses, and simulations as well as non-transparent artificial neuronal network models can be overcome by an easy-to-use modeling concept. With the aim of developing a flexible and efficient approach to modeling, simulating, and optimizing processes, this paper proposes a flexible Concept of Neuronal Modeling (CoNM). The modeling concept, which is described by the modeling language designed and its mathematical formulation and is connected to a technical substantiation, is based on a collection of novel sub-artifacts. As these have been implemented as a computational model, the set of CoNM tools carries out novel kinds of Neuronal Process Modeling (NPM), Neuronal Process Simulations (NPS), and Neuronal Process Optimizations (NPO). The efficacy of the designed artifacts was demonstrated rigorously by means of six experiments and a simulator of real industrial production processes.
Correctness proofs and probabilistic tests for constructive specifications and functional programs
(2001)
Derived algebraic systems
(2013)