31 research outputs found

    Applications

    Get PDF
    Volume 3 describes how resource-aware machine learning methods and techniques are used to successfully solve real-world problems. The book provides numerous specific application examples: in health and medicine for risk modelling, diagnosis, and treatment selection for diseases in electronics, steel production and milling for quality control during manufacturing processes in traffic, logistics for smart cities and for mobile communications

    Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic

    Get PDF
    This work is the first exploration of proof-theoretic semantics for a substructural logic. It focuses on the base-extension semantics (B-eS) for intuitionistic multiplicative linear logic (IMLL). The starting point is a review of Sandqvist’s B-eS for intuitionistic propositional logic (IPL), for which we propose an alternative treatment of conjunction that takes the form of the generalized elimination rule for the connective. The resulting semantics is shown to be sound and complete. This motivates our main contribution, a B-eS for IMLL , in which the definitions of the logical constants all take the form of their elimination rule and for which soundness and completeness are established

    Foundations of Software Science and Computation Structures

    Get PDF
    This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science

    Fundamental Approaches to Software Engineering

    Get PDF
    This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution

    Gaining Insight into Determinants of Physical Activity using Bayesian Network Learning

    Get PDF
    Contains fulltext : 228326pre.pdf (preprint version ) (Open Access) Contains fulltext : 228326pub.pdf (publisher's version ) (Open Access)BNAIC/BeneLearn 202

    Foundations of Software Science and Computation Structures

    Get PDF
    This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.

    Semantic Modelling of Control Logic in Automation Systems - Knowledge-Based Support of the Engineering and Operation of Control Logic in Building and Industrial Automation Systems

    Get PDF
    Automatisierungssysteme schaffen in vielen Bereichen die Grundlagen, auf denen heutige, moderne Industriegesellschaften basieren. Obwohl in der Vergangenheit wichtige Errungenschaften in der Forschung zur Automatisierungstechnik erreicht wurden, bestehen weiterhin Herausforderungen bezüglich des Engineerings und des Betriebs von Automatisierungssystemen, die die Nutzung und den Einsatz dieser Systeme erschweren. Als Gründe für diese Probleme sind die Komplexität dieser Systeme durch ihre schiere Grö{\ss}e und ihre Komplexität aufgrund der Kombination von cyber und physikalischen Komponenten zu nennen. Des Weiteren führt der zunehmende Einsatz von Informations- und Kommunikationstechnologien zu einer weiteren Verflechtung dieser System über ihre bisherigen, hierarchischen Strukturen hinaus und damit zu einer weiteren Zunahme der Komplexität. Eine weitere Herausforderung ist, dass für ein reibungsloses Engineering und einen reibungslosen Betrieb dieser Systeme eine Vielzahl von Beteiligten aus unterschiedlichen Fachdisziplinen zusammenarbeiten müssen. Dies wird durch die Heterogenität der eingesetzten Softwarewerkzeuge und Datenformate erschwert, die einen automatisierten Austausch von Wissen behindern. Folglich besteht ein dringender Bedarf an Methoden, die die wissensintensiven Aufgaben in Zusammenhang mit dem Engineering und dem Betrieb von Automatisierungssystemen im Kontext heterogener Softwarewerkzeuge und Datenformate unterstützen und, als Antwort auf die Komplexitätszunahme, automatisieren. Eine Voraussetzung für die Entwicklung solcher Methoden ist die formale Repräsentation von Domänenwissen mit Hilfe eines Modells. Die Analyse des Stands der Technik in dieser Arbeit zeigt, dass kein Ansatz existiert der es erlaubt einen wesentlichen Bestandteil der Domäne Automatisierungssystem, die Domänen Regelung und Steuerung und Regelungslogik, explizit zu beschreiben und dieses Wissen mit angrenzenden Domänen zu vernetzen. Ein wesentlicher Beitrag dieser Arbeit besteht in der Vorstellung eines neuartigen, semantischen Modells, dass es erlaubt, sowohl Wissen der Domänen Regelung und Steuerung, als auch der Domäne Regelungslogik explizit und formal zu beschreiben. Zusätzlich ist es nun erstmals möglich dieses Wissen mit angrenzendem Domänenwissen, wie zum Beispiel aus dem Maschinenbau oder der Elektrotechnik, zu vernetzen. Das Modell wird unabhängig von der Implementierung in der Unified Modeling Language spezifiziert und mit Hilfe von Semantic Web Technologien implementiert. Das Modell ist in zwei Schichten aufgebaut. Auf der oberen Ebene wird allgemeines Wissen der Domäne Regelung und Steuerung modelliert, dass, wie in der Arbeit demonstriert, leicht mit angrenzenden Domänen verbunden werden kann. Auf der unteren Ebene wird das allgemeine Wissen der Domäne Regelung und Steuerung, um die Domäne der Regelungslogik erweitert und für die jeweilige Regelungslogik explizit spezifiziert. Zur Validierung des Modells wird in zwei separaten Fallstudien evaluiert, ob es das notwendige Wissen für zwei neuartige wissensbasierte Methoden repräsentieren kann. In der ersten Fallstudie wird eine wissensbasierte Methode zur Verbesserung des Betriebs von Automatisierungssystemen in Gebäuden prototypisch umgesetzt und getestet. Dabei ermöglicht das entwickelte Modell Faktenwissen, das aus dem Engineering der Regelungslogik gewonnen wurde, formal zu beschreiben. Dieses Wissen wird dann genutzt, um automatisiert Regeln zu instanziieren, die es ermöglichen automatisiert zu überprüfen, ob die tatsächlich implementierte Regelungslogik sich im Betrieb genauso verhält wie ursprünglich entworfen. In der zweiten Fallstudie wird eine wissensbasierte Methode zur Unterstützung des Engineerings von industriellen Automatisierungssystemen vorgestellt. Hier wird gezeigt, dass, basierend auf dem neuen Modell, die gleichzeitige formale Verifikation von verschiedenen Regelungsverfahren und die gleichzeitige formale Verifikation von Regelungsverfahren und Wissen über die automatisierte Anlage möglich ist. Zusätzlich, wird gezeigt, dass die Methode inkrementelle Aktualisierungen des Faktenwissens ermöglicht und ein bidirektionaler Austausch von Fallwissen zwischen dem ursprünglichen Format und der Wissensbasis möglich ist. Durch die Schaffung des neuen Modells ist nun die Möglichkeit gegeben formal und explizit Wissen der Domänen Regelung und Steuerung, sowie Regelungslogik zu beschreiben. Basierend auf diesem Modell werden zwei neuartige, wissensbasierte Methoden vorgestellt, die es ermöglichen das Engineering und den Betrieb von Automatisierungssystemen zu vereinfachen und zu verbessern

    Uncertainty in Artificial Intelligence: Proceedings of the Thirty-Fourth Conference

    Get PDF

    Computer Science Logic 2018: CSL 2018, September 4-8, 2018, Birmingham, United Kingdom

    Get PDF
    corecore