检索结果-内蒙古大学图书馆

Strategies in Flexible Dispute Derivations for Assumption-based Argumentation 4

学校读者我要写书评

暂无评论

Strategies in Flexible Dispute Derivations for Assumption-ba...

4th International Workshop on Systems and Algorithms for Formal Argumentation, SAFA 2022

作者： Diller, Martin Gaggl, Sarah Alice Gorczyca, Piotr Logic Programming and Argumentation Group TU Dresden Germany

We put forward and provide an empirical evaluation of strategies for fully automatic flexible dispute derivations for assumption-based argumentation (ABA). These being a novel dialectical means of judging claims in the context of ABA. Central among our findings is that our naive direct implementation of flexible disputes outperforms the current state-of-the-art system for ABA disputes (acceptance of claims, admissible semantics) especially when allowing forward moves from premisses to claims in addition to backwards from conclusions to premisses. © 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0)

关键词： Semantics

Rushing and Strolling among Answer Sets - Navigation Made Easy 38

学校读者我要写书评

暂无评论

Rushing and Strolling among Answer Sets - Navigation Made Ea...

38th International Conference on logic programming, ICLP 2022

作者： Fichte, Johannes Klaus Gaggl, Sarah Alice Rusovac, Dominik Research Unit Database and Artificial Intelligence TU Wien Austria Logic Programming and Argumentation Group TU Dresden Germany

IASCAR: Incremental Answer Set Counting by Anytime Refinement

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Fichte, Johannes K. Gaggl, Sarah Alice Hecher, Markus Rusovac, Dominik Sweden TU Dresden Logic Programming and Argumentation Group Germany Massachusetts Institute of Technology United States

Answer set programming (ASP) is a popular declarative programming paradigm with various applications. Programs can easily have many answer sets that cannot be enumerated in practice, but counting still allows quantifying solution spaces. If one counts under assumptions on literals, one obtains a tool to comprehend parts of the solution space, so-called answer set navigation. However, navigating through parts of the solution space requires counting many times, which is expensive in theory. Knowledge compilation compiles instances into representations on which counting works in polynomial time. However, these techniques exist only for CNF formulas, and compiling ASP programs into CNF formulas can introduce an exponential overhead. This paper introduces a technique to iteratively count answer sets under assumptions on knowledge compilations of CNFs that encode supported models. Our anytime technique uses the inclusion-exclusion principle to improve bounds by over- and undercounting systematically. In a preliminary empirical analysis, we demonstrate promising results. After compiling the input (offline phase), our approach quickly (re)counts. Copyright © 2023, The Authors. All rights reserved.

关键词： Iterative methods

A Farewell to Harms: Risk Management for Medical Devices via the Riskman Ontology & Shapes

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Gorczyca, Piotr Arndt, Dörthe Diller, Martin Kettmann, Pascal Mennicke, Stephan Strass, Hannes Computational Logic Group Institute of Artificial Intelligence Germany Logic Programming and Argumentation Group Institute of Artificial Intelligence Germany Knowledge-Based Systems Group Institute for Theoretical Computer Science Germany Faculty of Computer Science TU Dresden Germany

We introduce the Riskman ontology & shapes for representing and analysing information about risk management for medical devices. Risk management is concerned with taking necessary precautions so a medical device does not cause harms for users or the environment. To date, risk management documentation is submitted to notified bodies (for certification) in the form of semi-structured natural language text. We propose to use classes from the Riskman ontology to logically model risk management documentation, and to use the included SHACL constraints to check for syntactic completeness and conformity to relevant standards. In particular, the ontology is modelled after ISO 14971 and the recently published VDE Spec 90025. Our proposed methodology has the potential to save many person-hours for both manufacturers (when creating risk management documentation) as well as notified bodies (when assessing submitted applications for certification), and thus offers considerable benefits for healthcare and, by extension, society as a whole. Copyright © 2024, The Authors. All rights reserved.

关键词： Risk management

A Profunctorial Semantics for Quantum Supermaps

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Hefford, James Wilson, Matt Université Paris-Saclay CNRS ENS Paris-Saclay Inria Laboratoire Méthodes Formelles Gif-sur-Yvette91190 France Programming Principles Logic and Verification Group University College London London United Kingdom

We identify morphisms of strong profunctors as a categorification of quantum supermaps. These black-box generalisations of diagrams-with-holes are hence placed within the broader field of profunctor optics, as morphisms in the category of copresheaves on concrete networks. This enables the first construction of abstract logical connectives such as tensor products and negations for supermaps in a totally theory-independent setting. These logical connectives are found to be all that is needed to abstractly model the key structural features of the quantum theory of supermaps: black-box indefinite causal order, black-box definite causal order, and the factorisation of definitely causally ordered supermaps into concrete circuit diagrams. We demonstrate that at the heart of these factorisation theorems lies the Yoneda lemma and the notion of representability. © 2024, CC BY.

关键词： Factorization

Are crossing dependencies really scarce?

学校读者我要写书评

暂无评论

arXiv 2017年

作者： Ferreri-Cancho, R. Gomez-Rodriguez, C. Esteban, J.L. Complexity Quantitative Linguistics Lab Larca Research Group Departament de Ciencies de la Computacio Universitat Politecnica de Catalunya Campus Nord Edici Omega Jordi Girona Salgado 1-3 Barcelona Catalonia08034 Spain Universidade da Coruna Fastparse Lab LyS Research Group Departamento de Computacion Facultade de Informatica Elvina Coruna15071 A Logic and Programming Logprog Research Group Departament de Ciencies de la Computacio Universitat Politecnica de Catalunya Campus Nord Edici Omega Jordi Girona Salgado 1-3 Barcelona Catalonia08034 Spain

The syntactic structure of a sentence can be modelled as a tree, where vertices correspond to words and edges indicate syntactic dependencies. It has been claimed recurrently that the number of edge crossings in real sentences is small. However, a baseline or null hypothesis has been lacking. Here we quantify the amount of crossings of real sentences and compare it to the predictions of a series of baselines. We conclude that crossings are really scarce in real sentences. Their scarcity is unexpected by the hubiness of the trees. Indeed, real sentences are close to linear trees, where the potential number of crossings is maximized. Copyright © 2017, The Authors. All rights reserved.

关键词： Syntactics

Fuzzy vs neural network models for environmental decision support system implementation aiming to standardise the multiparametric decision in a Drinking Water Plant with Electrodialysis Reversal 8

学校读者我要写书评

暂无评论

Fuzzy vs neural network models for environmental decision su...

8th International Congress on Environmental Modelling and Software - Environmental Modelling and Software for Supporting a Sustainable Future, iEMSs 2016

作者： Dalmau, Montse Monclús, Hèctor Espasa, Joan Atanasova, Natasa Poch, Manel Emiliano, Pere Capdevila, Oriol González, Santiago Valero, Fernando Institute of the Environment University of Girona Girona CataloniaE-17003 Spain Logic and Programming Research Group Department of Computer Science Applied Mathematics and Statistics University of Girona Girona CataloniaE-17003 Spain ATLL-Concessionària de la Generalitat de Catalunya Sant Martí de l'Erm 30 Sant Joan Despí Barcelona CataloniaE08970 Spain

ISBN: (纸本)9788890357459

The development of an environmental decision support system (EDSS) by means of two different aims to support the operators' decisions in the drinking water treatment plant (DWTP), equipped with the biggest electrodialysis reversal (EDR) in the world. A fuzzy artificial neural network (ANN) modelling and adaptive network-based fuzzy inference system (ANFIS) have been compared for optimizing the decision: how to manage water blending ratios from EDR and conventional treatment of the drinking water plant, evaluating Llobregat River characteristics (inlet DWTP), current operating conditions of DWTP, weather conditions and distribution requirements on-line. This tool has been tested among 4,5 months in the facility, showing better tendencies regarding the ANFIS model in comparison to the ANN model. A further application of the ANN and ANFIS process models, tested and validated, will be integrated into a process-controlled architecture of the EDSS. © 2016 Environmental Modelling and Software for Supporting a Sustainable Future, Proceedings - 8th International Congress on Environmental Modelling and Software, iEMSs 2016. All rights reserved.

关键词： Fuzzy inference

Ontology-based roles association networks for visualizing trends in political debate 9th

学校读者我要写书评

暂无评论

Ontology-based roles association networks for visualizing tr...

9th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2015

作者： Andreasen, Troels Christiansen, Henning Eberholst, Mads Kæmsgaard Research Group PLIS: Programming Logic and Intelligent Systems Roskilde University Roskilde Denmark Department of Communication Business and Information Technologies Research Group: Communication Journalism and Social Change Roskilde University Roskilde Denmark

ISBN: (纸本)9783319255903

Online resources, large data repositories and streaming social network messages embed plenitudes of interesting knowledge, often of associative nature. A specific communicative context, such as the political debate in a given country, has groupings of actors, with changing attitudes and stances towards each other and external, real or invented, threats and opportunities. A new form of associative network is introduced, that integrate flexible ontologies for complex contexts of roles and hierarchies with a labelled association structure representing observed strengths and attitudes. Twitter messages from the political landscape in Denmark up to the general election 2015 are used as a both current and relevant illustrative case. © Springer International Publishing Switzerland 2015.

关键词： Ontology

Constraint logic programming for resolution of relative time expressions

学校读者我要写书评

暂无评论

10th Conference on Computability in Europe, CiE 2014

作者： Christiansen, Henning Research Group PLIS: Programming Logic and Intelligent Systems Department of Communication Business and Information Technologies Roskilde University Denmark

ISBN: (纸本)9783319080185

Translating time expression into absolute time points or durations is a challenge for natural languages processing such as text mining and text understanding in general. We present a constraint logic language CLP(Time) tailored to text usages concerned with time and calendar. It provides a simple and flexible formalism to express relationships between different time expressions in a text, thereby giving a recipe for resolving them into absolute time. A constraint solver is developed which, as opposed to some earlier approaches, is independent of the order in which temporal information is introduced, and it can give meaningful output also when no exact reference time is available. © 2014 Springer International Publishing.

关键词： Constraint programming