75 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

    A Novel Approach to the Semantics of Qualitative Choice Logic

    Get PDF
    Η Λογική Ποιοτικών Επιλογών (Qualitative Choice Logic, QCL), είναι μία επέκταση της κλασικής προτασιακής λογικής που μας επιτρέπει να εκφράσουμε τυπικά προτιμήσεις. Προσθέτει ένα νέο προτασιακό σύνδεσμο × που εκφράζει τη διατεταγμένη διάζευξη. Η διατεταγμένη διάζευξη των a και b, που εκφράζεται ως a × b, ικανοποιείται από το a ή το b, αλλά δηλώνει επιπλέον ότι προτιμάμε το a από το b. Ερμηνεύουμε διαισθητικά το a × b ως: «προτιμούμε το a αν είναι δυνατό, διαφορετικά ικανοποιούμαστε τουλάχιστον με το b». Τα Λογικά Προγράμματα με Διατεταγμένη Διάζευξη (Logic Programs with Ordered Disjunction, LPODs) είναι μία επέκταση των λογικών προγραμμάτων όπου οι κεφαλές των κανόνων αποτελούνται από διατεταγμένες διαζεύξεις. Στο [1], προτάθηκε μία νέα τετράτιμη μοντελοθεωρητική σημασιολογία για αυτά τα Λογικά Προγράμματα. Εμείς περιγράφουμε μία επέκταση της σημασιολογίας για τη Λογική Ποιοτικών Επιλογών και εξετάζουμε κάποια από τα προβλήματά της. Έπειτα, περιγράφουμε μία νέα απειρότιμη μοντελοθεωρητική σημασιολογία για πεπερασμένα σύνολα τύπων της Λογικής Ποιοτικών Επιλογών και παραθέτουμε ιδέες για το πώς θα μπορούσε να επεκταθεί και σε άπειρα σύνολα.Qualitative Choice Logic (QCL) is an extension of classical propositional logic that allows the expression of preferences in a formal way. It adds a new connective ×, which represents ordered disjunction. The ordered disjunction of a and b, expressed as a × b, is satisfied by a or b, but also denotes that the satisfaction of a is preferred to b. We intuitively interpret a × b as: “if possible, we prefer a, if not, then at least b”. Logic Programs with Ordered Disjunction (LPODs) are an extension of logic programs where the heads of rules are comprised of οrdered disjunctions. In [1], a new four-valued model-theoretic semantics for LPODs was introduced. We describe a natural extension of this semantics for QCL and examine some of its issues. We then describe a new infinite-value model-theoretic semantics for finite sets of QCL formulae and discuss how it could be extended to infinite sets as well

    Numerical Study of Concrete

    Get PDF
    Concrete is one of the most widely used construction material in the word today. The research in concrete follows the environment impact, economy, population and advanced technology. This special issue presents the recent numerical study for research in concrete. The research topic includes the finite element analysis, digital concrete, reinforcement technique without rebars and 3D printing

    Supplementary Cementitious Materials in Concrete

    Get PDF
    The articles featured in this Special Issue cover different aspects of the design, testing, and application of various types of supplementary cementitious materials in concrete. The results of the research, conducted by over 50 international universities and scientific centers, prove the great interest in the SCM topic

    Sustainable Pavement Engineering and Road Materials

    Get PDF
    In a similar way to many other engineering fields, the road pavement industry strongly affects the critical issues of our generation, including climate change, pollutant emission, the exploitation of natural resources and economic crises. For this reason, technicians and researchers are searching ravenously for sustainable solutions to implement in current road construction systems with the following goals: To reduce the consumption of energy and virgin materials; To run environmentally and economically friendly maintenance; To recycle waste from different industrial processes; To decrease the noise, the pollution and the heat generated by traffic, particularly in urban contexts. This Special Issue aims to collect high-quality studies that combine the aforementioned solutions, including works pertaining to: The hot, warm, and cold recycling of reclaimed asphalt pavement; Marginal materials for asphalt pavements; Innovative sustainable materials; Durability and environmental aspects; Structure performance, modeling and design; Advanced trends in rehabilitation and preservation; Surface characteristics and road safety; Management system/life cycle analysis; Urban heat island mitigation; Energy harvesting

    Labeled bipolar argumentation frameworks

    Get PDF
    An essential part of argumentation-based reasoning is to identify arguments in favor and against a statement or query, select the acceptable ones, and then determine whether or not the original statement should be accepted. We present here an abstract framework that considers two independent forms of argument interaction-support and conflict-and is able to represent distinctive information associated with these arguments. This information can enable additional actions such as: (i) a more in-depth analysis of the relations between the arguments; (ii) a representation of the user's posture to help in focusing the argumentative process, optimizing the values of attributes associated with certain arguments; and (iii) an enhancement of the semantics taking advantage of the availability of richer information about argument acceptability. Thus, the classical semantic definitions are enhanced by analyzing a set of postulates they satisfy. Finally, a polynomial-time algorithm to perform the labeling process is introduced, in which the argument interactions are considered.Fil: Escañuela Gonzalez, Melisa Gisselle. Universidad Nacional de Santiago del Estero; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán; ArgentinaFil: Budan, Maximiliano Celmo David. Universidad Nacional de Santiago del Estero; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán; ArgentinaFil: Simari, Gerardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentin
    corecore