843 research outputs found

    Current and Future Challenges in Knowledge Representation and Reasoning

    Full text link
    Knowledge Representation and Reasoning is a central, longstanding, and active area of Artificial Intelligence. Over the years it has evolved significantly; more recently it has been challenged and complemented by research in areas such as machine learning and reasoning under uncertainty. In July 2022 a Dagstuhl Perspectives workshop was held on Knowledge Representation and Reasoning. The goal of the workshop was to describe the state of the art in the field, including its relation with other areas, its shortcomings and strengths, together with recommendations for future progress. We developed this manifesto based on the presentations, panels, working groups, and discussions that took place at the Dagstuhl Workshop. It is a declaration of our views on Knowledge Representation: its origins, goals, milestones, and current foci; its relation to other disciplines, especially to Artificial Intelligence; and on its challenges, along with key priorities for the next decade

    LIPIcs, Volume 261, ICALP 2023, Complete Volume

    Get PDF
    LIPIcs, Volume 261, ICALP 2023, Complete Volum

    Linear-Time Temporal Answer Set Programming

    Get PDF
    [Abstract]: In this survey, we present an overview on (Modal) Temporal Logic Programming in view of its application to Knowledge Representation and Declarative Problem Solving. The syntax of this extension of logic programs is the result of combining usual rules with temporal modal operators, as in Linear-time Temporal Logic (LTL). In the paper, we focus on the main recent results of the non-monotonic formalism called Temporal Equilibrium Logic (TEL) that is defined for the full syntax of LTL but involves a model selection criterion based on Equilibrium Logic, a well known logical characterization of Answer Set Programming (ASP). As a result, we obtain a proper extension of the stable models semantics for the general case of temporal formulas in the syntax of LTL. We recall the basic definitions for TEL and its monotonic basis, the temporal logic of Here-and-There (THT), and study the differences between finite and infinite trace length. We also provide further useful results, such as the translation into other formalisms like Quantified Equilibrium Logic and Second-order LTL, and some techniques for computing temporal stable models based on automata constructions. In the remainder of the paper, we focus on practical aspects, defining a syntactic fragment called (modal) temporal logic programs closer to ASP, and explaining how this has been exploited in the construction of the solver telingo, a temporal extension of the well-known ASP solver clingo that uses its incremental solving capabilities.Xunta de Galicia; ED431B 2019/03We are thankful to the anonymous reviewers for their thorough work and their useful suggestions that have helped to improve the paper. A special thanks goes to Mirosaw Truszczy´nski for his support in improving the quality of our paper. We are especially grateful to David Pearce, whose help and collaboration on Equilibrium Logic was the seed for a great part of the current paper. This work was partially supported by MICINN, Spain, grant PID2020-116201GB-I00, Xunta de Galicia, Spain (GPC ED431B 2019/03), R´egion Pays de la Loire, France, (projects EL4HC and etoiles montantes CTASP), European Union COST action CA-17124, and DFG grants SCHA 550/11 and 15, Germany

    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

    Building Collaborative Governance in Times of Uncertainty: Pracademic Lessons from the Basque Gipuzkoa Province

    Get PDF
    266 p.Democratic societies are being challenged to look for new ways of doing politics that involve different stakeholders, particularly citizens. This book looks at public authorities' attempts to put society at the core of public policies in the form of collaborative governance. It provides a full account of a major case from the provincial council of Gipuzkoa (Basque Country, Spain): 150 projects, more than 900 organisations, and 50.000 participants and beneficiaries. ‘Pracademic’ lessons learned derive from the interaction among 50 practitioners engaged in the day-to-day practice of the case and scholars from different countries. Topics included relate to major challenges that collaborative governance reforms are facing across the world: structures, institutionalisation, relationships, leadership, accountability, innovation, experimentation, communication, intangible resources, trust, and assessment of outcomes (particularly in terms of Sustainable Development Goals or SDGs). Ultimately, issues of democracy arise from a case covering a comprehensive list of policies: health, employment, elderly care, energy, cybersecurity, electromobility, artificial intelligence, immigration, education, social equity, and culture. This book is intended for students, professionals and scholars interested in fostering the study and practice of democracy.Published with the support of the Diputación Foral de Gipuzko

    Trajectory optimization based on recursive B-spline approximation for automated longitudinal control of a battery electric vehicle

    Get PDF
    Diese Arbeit beschreibt ein neuartiges Verfahren zur linearen und nichtlinearen gewichteten Kleinste-Quadrate-Approximation einer unbeschränkten Anzahl von Datenpunkten mit einer B-Spline-Funktion. Das entwickelte Verfahren basiert auf iterativen Algorithmen zur Zustandsschätzung und sein Rechenaufwand nimmt linear mit der Anzahl der Datenpunkte zu. Das Verfahren ermöglicht eine Verschiebung des beschränkten Definitionsbereichs einer B-Spline-Funktion zur Laufzeit, sodass der aktuell betrachtete Datenpunkt ungeachtet des anfangs gewählten Definitionsbereichs bei der Approximation berücksichtigt werden kann. Zudem ermöglicht die Verschiebeoperation die Reduktion der Größen der Matrizen in den Zustandsschätzern zur Senkung des Rechenaufwands sowohl in Offline-Anwendungen, in denen alle Datenpunkte gleichzeitig zur Verarbeitung vorliegen, als auch in Online-Anwendungen, in denen in jedem Zeitschritt weitere Datenpunkte beobachtet werden. Das Trajektorienoptimierungsproblem wird so formuliert, dass das Approximationsverfahren mit Datenpunkten aus Kartendaten eine B-Spline-Funktion berechnet, die die gewünschte Geschwindigkeitstrajektorie bezüglich der Zeit repräsentiert. Der Rechenaufwand des resultierenden direkten Trajektorienoptimierungsverfahrens steigt lediglich linear mit der unbeschränkten zeitlichen Trajektorienlänge an. Die Kombination mit einem adaptiven Modell des Antriebsstrangs eines batterie-elektrischen Fahrzeugs mit festem Getriebeübersetzungsverhältnis ermöglicht die Optimierung von Geschwindigkeitstrajektorien hinsichtlich Fahrzeit, Komfort und Energieverbrauch. Das Trajektorienoptimierungsverfahren wird zu einem Fahrerassistenzsystem für die automatisierte Fahrzeuglängsführung erweitert, das simulativ und in realen Erprobungsfahrten getestet wird. Simulierte Fahrten auf der gewählten Referenzstrecke benötigten bis zu 3,4 % weniger Energie mit der automatisierten Längsführung als mit einem menschlichen Fahrer bei derselben Durchschnittsgeschwindigkeit. Für denselben Energieverbrauch erzielt die automatisierte Längsführung eine 2,6 % höhere Durchschnittsgeschwindigkeit als ein menschlicher Fahrer

    A connection method for a defeasible extension of ALCH\mathcal{ALCH}

    Full text link
    This paper proposes a connection method \`a la Bibel for an exception-tolerant family of description logics (DLs). As for the language, we assume the DL ALCH\mathcal{ALCH} extended with two typicality operators: one on (complex) concepts and one on role names. The language is a variant of defeasible DLs, as broadly studied in the literature over the past decade, in which most of these can be embedded. We revisit the definition of the matrix representation of a knowledge base and establish the conditions for a given axiom to be provable. We show that the calculus terminates and is sound and complete w.r.t. a DL version of the preferential semantics widely adopted in non-monotonic reasoning

    A tetrachotomy of ontology-mediated queries with a covering axiom

    Get PDF
    Our concern is the problem of efficiently determining the data complexity of answering queries mediated by descrip- tion logic ontologies and constructing their optimal rewritings to standard database queries. Originated in ontology- based data access and datalog optimisation, this problem is known to be computationally very complex in general, with no explicit syntactic characterisations available. In this article, aiming to understand the fundamental roots of this difficulty, we strip the problem to the bare bones and focus on Boolean conjunctive queries mediated by a simple cov- ering axiom stating that one class is covered by the union of two other classes. We show that, on the one hand, these rudimentary ontology-mediated queries, called disjunctive sirups (or d-sirups), capture many features and difficulties of the general case. For example, answering d-sirups is Π2p-complete for combined complexity and can be in AC0 or L-, NL-, P-, or coNP-complete for data complexity (with the problem of recognising FO-rewritability of d-sirups be- ing 2ExpTime-hard); some d-sirups only have exponential-size resolution proofs, some only double-exponential-size positive existential FO-rewritings and single-exponential-size nonrecursive datalog rewritings. On the other hand, we prove a few partial sufficient and necessary conditions of FO- and (symmetric/linear-) datalog rewritability of d- sirups. Our main technical result is a complete and transparent syntactic AC0 / NL / P / coNP tetrachotomy of d-sirups with disjoint covering classes and a path-shaped Boolean conjunctive query. To obtain this tetrachotomy, we develop new techniques for establishing P- and coNP-hardness of answering non-Horn ontology-mediated queries as well as showing that they can be answered in NL

    Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains

    Get PDF
    Concrete domains have been introduced in the area of Description Logic (DL) to enable reference to concrete objects (such as numbers) and predefined predicates on these objects (such as numerical comparisons) when defining concepts. Unfortunately, in the presence of general concept inclusions (GCIs), which are supported by all modern DL systems, adding concrete domains may easily lead to undecidability. To regain decidability of the DL ALC in the presence of GCIs, quite strong restrictions, called ω-admissibility, were imposed on the concrete domain. On the one hand, we generalize the notion of ω-admissibility from concrete domains with only binary predicates to concrete domains with predicates of arbitrary arity. On the other hand, we relate ω-admissibility to well-known notions from model theory. In particular, we show that finitely bounded homogeneous structures yield ω-admissible concrete domains. This allows us to show ω-admissibility of concrete domains using existing results from model theory. When integrating concrete domains into lightweight DLs of the EL family, achieving decidability of reasoning is not enough. One wants the resulting DL to be tractable. This can be achieved by using so-called p-admissible concrete domains and restricting the interaction between the DL and the concrete domain. We investigate p-admissibility from an algebraic point of view. Again, this yields strong algebraic tools for demonstrating p-admissibility. In particular, we obtain an expressive numerical p-admissible concrete domain based on the rational numbers. Although ω-admissibility and p-admissibility are orthogonal conditions that are almost exclusive, our algebraic characterizations of these two properties allow us to locate an infinite class of p-admissible concrete domains whose integration into ALC yields decidable DLs. DL systems that can handle concrete domains allow their users to employ a fixed set of predicates of one or more fixed concrete domains when modelling concepts. They do not provide their users with means for defining new predicates, let alone new concrete domains. The good news is that finitely bounded homogeneous structures offer precisely that. We show that integrating concrete domains based on finitely bounded homogeneous structures into ALC yields decidable DLs even if we allow predicates specified by first-order formulas. This class of structures also provides effective means for defining new ω-admissible concrete domains with at most binary predicates. The bad news is that defining ω-admissible concrete domains with predicates of higher arities is computationally hard. We obtain two new lower bounds for this meta-problem, but leave its decidability open. In contrast, we prove that there is no algorithm that would facilitate defining p-admissible concrete domains already for binary signatures.:1. Introduction . . . 1 2. Preliminaries . . . 5 3. Description Logics with Concrete Domains . . . 9 3.1. Basic definitions and undecidability results . . . 9 3.2. Decidable and tractable DLs with concrete domains . . . 16 4. A Model-Theoretic Analysis of ω-Admissibility . . . 23 4.1. Homomorphism ω-compactness via ω-categoricity . . . 23 4.2. Patchworks via homogeneity . . . 24 4.3. JDJEPD via decomposition into orbits . . . 27 4.4. Upper bounds via finite boundedness . . . 28 4.5. ω-admissible finitely bounded homogeneous structures . . . 32 4.6. ω-admissible homogeneous cores with a decidable CSP . . . 34 4.7. Coverage of the developed sufficient conditions . . . 36 4.8. Closure properties: homogeneity & finite boundedness . . . 39 5. A Model-Theoretic Analysis of p-Admissibility . . . 47 5.1. Convexity via square embeddings . . . 47 5.2. Convex ω-categorical structures . . . 50 5.3. Convex numerical structures . . . 52 5.4. Ages defined by forbidden substructures . . . 54 5.5. Ages defined by forbidden homomorphic images . . . 56 5.6. (Non-)closure properties of convexity . . . 59 6. Towards user-definable concrete domains . . . 61 6.1. A proof-theoretic perspective . . . 65 6.2. Universal Horn sentences and the JEP . . . 66 6.3. Universal sentences and the AP: the Horn case . . . 77 6.4. Universal sentences and the AP: the general case . . . 90 7. Conclusion . . . 99 7.1. Contributions and future outlook . . . 99 A. Concrete Domains without Equality . . . 103 Bibliography . . . 107 List of figures . . . 115 Alphabetical Index . . . 11
    corecore