English
Related papers

Related papers: Fuzzy Labeling Semantics for Quantitative Argument…

200 papers

The treatment of both aleatory and epistemic uncertainty by recent methods often requires an high computational effort. In this abstract, we propose a numerical sampling method allowing to lighten the computational burden of treating the…

Artificial Intelligence · Computer Science 2007-12-14 Eric Chojnacki , Jean Baccou , Sébastien Destercke

This paper develops a category-theoretic approach to uncertainty, informativeness and decision-making problems. It is based on appropriate first order fuzzy logic in which not only logical connectives but also quantifiers have fuzzy…

General Mathematics · Mathematics 2007-05-23 P. V. Golubtsov , S. S. Moskaliuk

The main objective of this paper is to develop a new semantic Network structure, based on the fuzzy sets theory, used in Artificial Intelligent system in order to provide effective on-line assistance to users of new technological systems.…

Artificial Intelligence · Computer Science 2012-06-07 Mohamed Nazih Omri , Mohamed Ali Mahjoub

In the rapidly evolving educational landscape, the unbiased assessment of soft skills is a significant challenge, particularly in higher education. This paper presents a fuzzy logic approach that employs a Granular Linguistic Model of…

Attack trees are important for security, as they help to identify weaknesses and vulnerabilities in a system. Quantitative attack tree analysis supports a number security metrics, which formulate important KPIs such as the shortest, most…

Cryptography and Security · Computer Science 2024-01-24 Thi Kim Nhung Dang , Milan Lopuhaä-Zwakenberg , Mariëlle Stoelinga

Formal argumentation is being used increasingly in artificial intelligence as an effective and understandable way to model potentially conflicting pieces of information, called arguments, and identify so-called acceptable arguments…

Artificial Intelligence · Computer Science 2026-03-09 Yann Munro , Isabelle Bloch , Marie-Jeanne Lesot

In this work, we enrich a formalism for argumentation by including a formal characterization of features related to the knowledge, in order to capture proper reasoning in legal domains. We add meta-data information to the arguments in the…

Artificial Intelligence · Computer Science 2019-03-06 Maximiliano C. D. Budán , María Laura Cobo , Diego I. Martínez , Antonino Rotolo

In this paper we develop a fuzzy model for the description of the process of Analogical Reasoning by representing its main steps as fuzzy subsets of a set of linguistic labels characterizing the individuals' performance in each step and we…

Artificial Intelligence · Computer Science 2012-05-01 Michael Gr. Voskoglou

To deal with uncertainty in reasoning, interval-valued logic has been developed. But uniform intervals cannot capture the difference in degrees of belief for different values in the interval. To salvage the problem triangular and…

Artificial Intelligence · Computer Science 2020-01-08 Sandip Paul , Kumar Sankar Ray , Diganta Saha

With the rapid growth of social media on the web, emotional polarity computation has become a flourishing frontier in the text mining community. However, it is challenging to understand the latest trends and summarize the state or general…

Computation and Language · Computer Science 2017-01-05 Amir Hossein Yazdavar , Monireh Ebrahimi , Naomie Salim

The aim of this paper is to propose a many-valued modal framework to formalize reasoning with both graded preferences and propositions, in the style of van Benthem et al.'s classical modal logics for preferences. To do so, we start from Bou…

Logic in Computer Science · Computer Science 2019-11-18 Amanda Vidal , Francesc Esteva , Lluis Godo

How can non-classical logic contribute to the analysis of complexity in computer science? In this paper, we give a step towards this question, taking a logical model-theoretic approach to the analysis of complexity in fuzzy constraint…

Logic · Mathematics 2019-11-18 Pilar Dellunde , Amanda Vidal

Gradual semantics with abstract argumentation provide each argument with a score reflecting its acceptability, i.e. how "much" it is attacked by other arguments. Many different gradual semantics have been proposed in the literature, each…

Artificial Intelligence · Computer Science 2022-02-02 Nir Oren , Bruno Yun , Srdjan Vesic , Murilo Baptista

Classic Delphi and Fuzzy Delphi methods are used to test content validity of a data collection tools such as questionnaires. Fuzzy Delphi takes the opinion issued by judges from a linguistic perspective reducing ambiguity in opinions by…

Computers and Society · Computer Science 2024-03-12 Rosana Montes , Ana M. Sanchez , Pedro Villar , Francisco Herrera

Fuzzy Description Logics (DLs) provide a means for representing vague knowledge about an application domain. In this paper, we study fuzzy extensions of conjunctive queries (CQs) over the DL $\mathcal{SROIQ}$ based on finite chains of…

Logic in Computer Science · Computer Science 2015-10-15 Stefan Borgwardt , Theofilos Mailis , Rafael Peñaloza , Anni-Yasmin Turhan

We present an extension-based approach for computing and verifying preferences in an abstract argumentation system. Although numerous argumentation semantics have been developed previously for identifying acceptable sets of arguments from…

Artificial Intelligence · Computer Science 2024-03-27 Quratul-ain Mahesar , Nir Oren , Wamberto W. Vasconcelos

In the last years, there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI and other related areas. Labeled Deductive Systems (LDS) were developed as a flexible methodology to…

Artificial Intelligence · Computer Science 2007-05-23 Carlos Iván Chesñevar , Guillermo Ricardo Simari

In dealing with veracity of data analytics, fuzzy methods are more and more relying on probabilistic and statistical techniques to underpin their applicability. Conversely, standard statistical models usually disregard to take into account…

Statistics Theory · Mathematics 2019-12-23 Elvira Di Nardo , Rosaria Simone

In this work we propose a formal system for fuzzy algebraic reasoning. The sequent calculus we define is based on two kinds of propositions, capturing equality and existence of terms as members of a fuzzy set. We provide a sound semantics…

Logic in Computer Science · Computer Science 2021-10-22 Davide Castelnovo , Marino Miculan

We propose and investigate a simple ranking-measure-based extension semantics for abstract argumentation frameworks based on their generic instantiation by default knowledge bases and the ranking construction semantics for default…

Artificial Intelligence · Computer Science 2014-07-17 Emil Weydert