English
Related papers

Related papers: A Neutrosophic Description Logic

200 papers

Large language models (LLMs) have shown significant achievements in solving a wide range of tasks. Recently, LLMs' capability to store, retrieve and infer with symbolic knowledge has drawn a great deal of attention, showing their potential…

Artificial Intelligence · Computer Science 2024-10-11 Keyu Wang , Guilin Qi , Jiaqi Li , Songlin Zhai

In this paper we establish a link between fuzzy and preferential semantics for description logics and Self-Organising Maps, which have been proposed as possible candidates to explain the psychological mechanisms underlying category…

Artificial Intelligence · Computer Science 2022-02-07 Laura Giordano , Valentina Gliozzi , Daniele Theseider Dupré

A new approach for uncertainty management for fuzzy, rule based decision support systems is proposed: The domain expert's knowledge is expressed by a set of rules that frequently refer to vague and uncertain propositions. The certainty of…

Artificial Intelligence · Computer Science 2013-04-10 Christoph F. Eick

Neutrosophic Statistics means statistical analysis of population or sample that has indeterminate (imprecise, ambiguous, vague, incomplete, unknown) data. For example, the population or sample size might not be exactly determinate because…

Artificial Intelligence · Computer Science 2014-06-10 Florentin Smarandache

In medicine one frequently deals with vague information. As a tool for reasoning in this area, fuzzy logic suggests itself. In this paper we explore the applicability of the basic ideas of fuzzy set theory in the context of medical…

Logic · Mathematics 2018-08-31 Thomas Vetterlein , Anna Zamansky

This paper briefly elaborates on a development in (applied) fuzzy logic that has taken place in the last couple of decades, namely, the complementation or even replacement of the traditional knowledge-based approach to fuzzy rule-based…

Artificial Intelligence · Computer Science 2017-12-05 Eyke Hüllermeier

The use of meta-rules in logic, i.e., rules whose content includes other rules, has recently gained attention in the setting of non-monotonic reasoning: a first logical formalisation and efficient algorithms to compute the (meta)-extensions…

Artificial Intelligence · Computer Science 2022-09-27 Francesco Olivieri , Guido Governatori , Matteo Cristani , Antonino Rotolo , Abdul Sattar

The materialist dialectical method is a philosophical investigative method to analyze aspects of reality. These aspects are viewed as complex processes composed by basic units named poles, which interact with each other. Dialectics has…

In many situations humans have to reason with inconsistent knowledge. These inconsistencies may occur due to not fully reliable sources of information. In order to reason with inconsistent knowledge, it is not possible to view a set of…

Artificial Intelligence · Computer Science 2024-12-16 Nico Roos

We propose a logical analysis of the concept of typicality, central in human cognition (Rosch,1978). We start from a previously proposed extension of the basic Description Logic ALC (a computationally tractable fragment of First Order…

Artificial Intelligence · Computer Science 2016-04-04 Valentina Gliozzi

This paper examines attribute dependencies in data that involve grades, such as a grade to which an object is red or a grade to which two objects are similar. We thus extend the classical agenda by allowing graded, or fuzzy, attributes…

Logic in Computer Science · Computer Science 2014-02-11 Radim Belohlavek , Vilem Vychodil

Linear Logic and Defeasible Logic have been adopted to formalise different features of knowledge representation: consumption of resources, and non monotonic reasoning in particular to represent exceptions. Recently, a framework to combine…

Artificial Intelligence · Computer Science 2019-08-19 Francesco Olivieri , Guido Governatori , Claudio Tomazzoli , Matteo Cristani

NLP researchers regularly invoke abstract concepts like "interpretability," "bias," "reasoning," and "stereotypes," without defining them. Each subfield has a shared understanding or conceptualization of what these terms mean and how we…

Computation and Language · Computer Science 2025-12-23 Vagrant Gautam

Rule-based systems are a very popular form of explainable AI, particularly in the fuzzy community, where fuzzy rules are widely used for control and classification problems. However, fuzzy rule-based classifiers struggle to reach bigger…

Artificial Intelligence · Computer Science 2025-11-07 Raquel Fernandez-Peralta , Javier Fumanal-Idocin , Javier Andreu-Perez

There have been a huge number of benchmarks proposed to evaluate how large language models (LLMs) behave for logic inference tasks. However, it remains an open question how to properly evaluate this ability. In this paper, we provide a…

Computation and Language · Computer Science 2024-12-13 Shi Zong , Jimmy Lin

Syllogism is a type of deductive reasoning involving quantified statements. The syllogistic reasoning scheme in the classical Aristotelian framework involves three crisp term sets and four linguistic quantifiers, for which the main support…

Artificial Intelligence · Computer Science 2014-12-01 M. Pereira-Fariña , F. Díaz-Hermida , A. Bugarín

Existential rules are an expressive knowledge representation language mainly developed to query data. In the literature, they are often supposed to be in some normal form that simplifies technical developments. For instance, a common…

Artificial Intelligence · Computer Science 2022-06-08 David Carral , Lucas Larroque , Marie-Laure Mugnier , Michaël Thomazo

The ubiquity of neural networks (NNs) in real-world applications, from healthcare to natural language processing, underscores their immense utility in capturing complex relationships within high-dimensional data. However, NNs come with…

Machine Learning · Computer Science 2024-07-08 Chang Yue , Niraj K. Jha

In recent years, there has been an increasing interest in exploiting logically specified background knowledge in order to obtain neural models (i) with a better performance, (ii) able to learn from less data, and/or (iii) guaranteed to be…

Artificial Intelligence · Computer Science 2023-06-21 Eleonora Giunchiglia , Mihaela Catalina Stoian , Thomas Lukasiewicz

Conceptual formalism supported by typical ontologies may not be sufficient to represent uncertainty information which is caused due to the lack of clear cut boundaries between concepts of a domain. Fuzzy ontologies are proposed to offer a…

Artificial Intelligence · Computer Science 2018-05-08 Zahra Riahi Samani , Mehrnoush Shamsfard