Filters








34,680 Hits in 4.3 sec

Propagating degrees of truth on an argumentation framework

Pierpaolo Dondio
2017 Proceedings of the Symposium on Applied Computing - SAC '17  
This paper proposes a computational framework to reason with conflicting and gradual evidence. The framework is a synthesis of Dung's seminal work in argumentation semantics with multi-valued logic.  ...  Abstract grounded semantics is used to identify the conditions under which a conclusion can be accepted, while multi-valued logic operators are used to quantify the degree of truth of such conditions.  ...  In the abstract interpretation, arguments are abstracted into nodes connected by the attack relation, and the degree attached to each argument represents the degree to which the argument belongs to (=is  ... 
doi:10.1145/3019612.3019717 dblp:conf/sac/Dondio17 fatcat:gve3pvsn2bdidkfk6dgs6kpcty

A Gradual Interpretation of Union Types [chapter]

Matías Toro, Éric Tanter
2017 Lecture Notes in Computer Science  
We uncover that gradual unions interact with the unknown type in a way that mandates a stratified approach to AGT, relying on a composition of two distinct abstract interpretations in order to retain optimality  ...  We apply the Abstracting Gradual Typing (AGT) methodology of Garcia et al. to derive the static and dynamic semantics of a language that supports both gradual unions and the traditional, totally-unknown  ...  Following the abstract interpretation of gradual types put forth in AGT, a gradual union T 1 ⊕ T 2 is a gradual type that abstracts both T 1 and T 2 .  ... 
doi:10.1007/978-3-319-66706-5_19 fatcat:5zcb5marcjew7bjqutvhhzk4wa

Learning Gradual Argumentation Frameworks using Genetic Algorithms [article]

Jonathan Spieler, Nico Potyka, Steffen Staab
2021 arXiv   pre-print
Gradual argumentation frameworks represent arguments and their relationships in a weighted graph.  ...  Our prototype learns argumentative classification models that are comparable to decision trees in terms of learning performance and interpretability.  ...  Introduction The basic idea of abstract argumentation frameworks is to represent arguments and their relationships in a graph.  ... 
arXiv:2106.13585v1 fatcat:5c4boewwh5ddzgniwuyguz4ffq

From Weighted Conditionals of Multilayer Perceptrons to Gradual Argumentation and Back [article]

Laura Giordano
2021 arXiv   pre-print
This semantics, in its different variants, suggests some gradual argumentation semantics, which are related to the family of the gradual semantics studied by Amgoud and Doder.  ...  The relationships between weighted conditional knowledge bases and MLPs extend to the proposed gradual semantics to capture the stationary states of MPs, in agreement with previous results on the relationship  ...  A similar investigation is also of interest for the semantics of weighted argumentation graphs introduced in this paper.  ... 
arXiv:2110.03643v2 fatcat:gldesf73lrhnlknidfe2yc6lwm

Gradual refinement types

Nico Lehmann, Éric Tanter
2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017  
Guided by abstract interpretation, we extend the gradual typing agenda and develop the notion of gradual refinement types, allowing smooth evolution and interoperability between simple types and logicallyrefined  ...  errors in gradual dependently-typed languages.  ...  In order to preserve non-contradiction in our semantic interpretation of gradual formulas, it suffices to remove (the equivalence class of) ⊥ from the concretization.  ... 
doi:10.1145/3009837.3009856 fatcat:xjdftigpkrbd7eah63jaom5w4u

Multi-valued Argumentation Frameworks [chapter]

Pierpaolo Dondio
2014 Lecture Notes in Computer Science  
In this paper we explore how the seminal Dung's abstract argumentation framework can be extended to handle arguments containing gradual concepts.  ...  The findings are a contribution in the field of non-monotonic approximate reasoning and they also represent a well-grounded proposal towards the introduction of gradualism in argumentation systems.  ...  of argumentation semantics w.r.t. the identification of a consistent set of arguments, and the ability to handle gradual and vague properties proper of multi-valued logics.  ... 
doi:10.1007/978-3-319-09870-8_10 fatcat:zccskuxzzjf35p3nnvvkl4kmny

Abstracting gradual typing

Ronald Garcia, Alison M. Clark, Éric Tanter
2016 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016  
In this paper, we propose a new formal foundation for gradual typing, drawing on principles from abstract interpretation to give gradual types a semantics in terms of pre-existing static types.  ...  Abstracting Gradual Typing (AGT for short) yields a formal account of consistency-one of the cornerstones of the gradual typing approach-that subsumes existing notions of consistency, which were developed  ...  Inspired by the use of abstract interpretation to design static semantics for gradual effects (Bañados Schwerter et al. 2014 ), we devise a general approach based on abstract interpretation that subsumes  ... 
doi:10.1145/2837614.2837670 dblp:conf/popl/GarciaCT16 fatcat:r3o6vix23rc4bkns4xosbhdxui

Abstracting gradual typing

Ronald Garcia, Alison M. Clark, Éric Tanter
2016 SIGPLAN notices  
In this paper, we propose a new formal foundation for gradual typing, drawing on principles from abstract interpretation to give gradual types a semantics in terms of pre-existing static types.  ...  Abstracting Gradual Typing (AGT for short) yields a formal account of consistency-one of the cornerstones of the gradual typing approach-that subsumes existing notions of consistency, which were developed  ...  Inspired by the use of abstract interpretation to design static semantics for gradual effects (Bañados Schwerter et al. 2014 ), we devise a general approach based on abstract interpretation that subsumes  ... 
doi:10.1145/2914770.2837670 fatcat:4qy6yaeimvabhexpwp7qqky2hq

Gradual typing with union and intersection types

Giuseppe Castagna, Victor Lanvin
2017 Proceedings of the ACM on Programming Languages  
In particular, we show how to lift the definition of the domain and result type of an application from non-gradual types to gradual ones and likewise for the subtyping relation.  ...  We also show that deciding subtyping for gradual types can be reduced in linear time to deciding subtyping for non-gradual types and that the same holds true for all subtyping-related decision problems  ...  In particular, we use abstract interpretation [Cousot and Cousot 1977] to define the semantics of our gradual types, following a technique introduced by Garcia et al. [2016] .  ... 
doi:10.1145/3110285 dblp:journals/pacmpl/CastagnaL17 fatcat:aruyln4bdnfl5bm6wwvf56ru2a

Some Supplementaries to The Counting Semantics for Abstract Argumentation [article]

Fuan Pu, Jian Luo, Guiming Luo
2015 arXiv   pre-print
Dung's abstract argumentation framework consists of a set of interacting arguments and a series of semantics for evaluating them.  ...  such as Dung's classical semantics, generic gradual valuations.  ...  ACKNOWLEDGMENTS The research reported here was supported by the National Natural Science Foundation of China under contract number NSFC61171121 and NSFC61572279.  ... 
arXiv:1509.03585v1 fatcat:njdh2nmkcrbwnc3pjo3fhxvzvm

Lifecycle of a probabilistic construction

Afra Alishahi
2014 Theoretical Linguistics  
This combined interpretation happens naturally in the prediction model, where the semantic and thematic role properties of the event and its arguments are predicted based on not only the available head  ...  Children's use of the associations between syntactic positions in a sentence and the semantic properties of the arguments has been tested in preferential looking experiments.  ... 
doi:10.1515/tl-2014-0002 fatcat:fqpitzmmobaqzp4o4mcm37b5ri

Online Handbook of Argumentation for AI: Volume 1 [article]

OHAAI Collaboration: Federico Castagna, Timotheus Kampik, Atefeh Keshavarzi Zafarghandi, Mickaël Lafages, Jack Mumford, Christos T. Rodosthenous, Samy Sá, Stefan Sarkadi, Joseph Singleton, Kenneth Skiba, Andreas Xydis
2020 arXiv   pre-print
OHAAI is designed to serve as a research hub to keep track of the latest and upcoming PhD-driven research on the theory and application of argumentation in all areas related to AI.  ...  Argumentation, as a field within artificial intelligence (AI), is highly relevant for researchers interested in symbolic representations of knowledge and defeasible reasoning.  ...  Acknowledgements We thank the senior researchers in the area of Argumentation and Artificial Intelligence for their efforts in spreading the word about the OHAAI project with early-career researchers.  ... 
arXiv:2006.12020v1 fatcat:nm44du33f5dhlluueq7srbbvzi

Page 1639 of Linguistics and Language Behavior Abstracts: LLBA Vol. 24, Issue 4 [page]

1990 Linguistics and Language Behavior Abstracts: LLBA  
Data that evidence these classifications are usually interpreted without taking the semantics of the verb into account; verbal semantics explain the nonoccurrence of various imperfectives in frames where  ...  Verbs are placed in three semantic classes, each with corresponding aspectual classes: (1) nondynamic verbs correspond to unpaired imperfectives, (2) dynamic-gradual verbs correspond to aspect pairs with  ... 

Gradual System F

Elizabeth Labrada, Matías Toro, Éric Tanter
2022 Journal of the ACM  
In doing so, we also report on the extent to which the Abstracting Gradual Typing methodology can help us derive such a language.  ...  Starting from a detailed review of the challenges and tensions that affect the design of gradual parametric languages, this work presents an extensive account of the semantics and metatheory of GSF, a  ...  ACKNOWLEDGMENTS We thank Amal Ahmed, Dominique Devriese, Kenji Maillard, Max New, Gabriel Scherer, the attendees of various oral presentations of this work, and the anonymous reviewers of both POPL 2019  ... 
doi:10.1145/3555986 fatcat:cjib5ry6gjdhjluv3suyrux5w4

ACQUISITION OF VERBS AND ARGUMENT STRUCTURES IN TURKISH

Meryem ÖZDEMİR YILMAZER
2017 International Journal of Language Academy  
In addition, Turkish children appear to use semantic mechanism in order to interpret the argument structures of verbs in sentences with modified word order.  ...  The results indicate that Turkish children use language-specific cues in the interpretation of verbs and their argument structures, which is causative morphology for Turkish.  ...  According to verb island hypothesis, children acquire language in a gradual manner, beginning with concrete linguistic structures and access more abstract linguistic structures, which enable the children  ... 
doi:10.18033/ijla.3615 fatcat:afwgt2hsvraurpeg72agh4rdgu
« Previous Showing results 1 — 15 out of 34,680 results