English
Related papers

Related papers: Fuzzy Relational Databases via Associative Arrays

200 papers

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

Fuzzy set theory opens new vistas in computability theory and here I show this by defining a new computational metaphor--the fuzzy chemical metaphor. This metaphor is an extension of the chemical metaphor. In particular, I introduce the…

Formal Languages and Automata Theory · Computer Science 2009-03-23 Apostolos Syropoulos

In the current Named Data Networking implementation, forwarding a data request requires finding an exact match between the prefix of the name carried in the request and a forwarding table entry. However, consumers may not always know the…

Networking and Internet Architecture · Computer Science 2018-02-15 Spyridon Mastorakis , Kevin Chan , Bongjun Ko , Alexander Afanasyev , Lixia Zhang

Modeling fuzziness and imprecision in human rating data is a crucial problem in many research areas, including applied statistics, behavioral, social, and health sciences. Because of the interplay between cognitive, affective, and…

Applications · Statistics 2022-01-27 Antonio Calcagnì , Niccolò Cao , Enrico Rubaltelli , Luigi Lombardi

In the subjective Bayesian approach uncertainty is described by a prior distribution chosen by the statistician. Fuzzy set theory is another way of representing uncertainty. Here we give a decision theoretic approach which allows a Bayesian…

Statistics Theory · Mathematics 2008-12-18 Glen Meeden

The purpose of predictive modeling on relational data is to predict future or missing values in a relational database, for example, future purchases of a user, risk of readmission of the patient, or the likelihood that a financial…

In this paper we introduce some families of fuzzy L-systems and investigate their properties. We further discuss the relationship between fuzzy L languages and the fuzzy languages generated by fuzzy grammar proposed in Ref.[3,5]. A measure…

Logic · Mathematics 2007-05-23 Zu-Guo Yu

This paper presents a five-valued representation of bifuzzy sets. This representation is related to a five-valued logic that uses the following values: true, false, inconsistent, incomplete and ambiguous. In the framework of five-valued…

Artificial Intelligence · Computer Science 2015-06-09 Vasile Patrascu

Modelling of complex systems is mainly based on the decomposition of these systems in autonomous elements, and the identification and definitio9n of possible interactions between these elements. For this, the agent-based approach is a…

Artificial Intelligence · Computer Science 2013-02-27 Alain-Jérôme Fougères

The Fuzz programming language [Reed and Pierce, 2010] uses an elegant linear type system combined with a monad-like type to express and reason about probabilistic sensitivity properties, most notably $\epsilon$-differential privacy. We show…

Programming Languages · Computer Science 2019-04-22 Arthur Azevedo de Amorim , Marco Gaboardi , Justin Hsu , Shin-ya Katsumata

The combination of higher-order theories and fuzzy logic can be useful in decision-making tasks that involve reasoning across abstract functions and predicates, where exact matches are often rare or unnecessary. Developing efficient…

Artificial Intelligence · Computer Science 2025-07-18 Besik Dundua , Temur Kutsia

Order-Sorted Feature (OSF) logic is a knowledge representation and reasoning language based on function-denoting feature symbols and set-denoting sort symbols ordered in a subsumption lattice. OSF logic allows the construction of…

Artificial Intelligence · Computer Science 2023-11-28 Gian Carlo Milanese , Gabriella Pasi

Fuzzy reasoning is vital due to the frequent use of imprecise information in daily contexts. However, the ability of current large language models (LLMs) to handle such reasoning remains largely uncharted. In this paper, we introduce a new…

Artificial Intelligence · Computer Science 2024-07-04 Yiyuan Li , Shichao Sun , Pengfei Liu

In this paper we summarized a framework for designing grammar-based procedure for the automatic extraction of the semantic content from spoken queries. Starting with a case study and following an approach which combines the notions of…

Computation and Language · Computer Science 2007-05-23 Afzal Ballim , Vincenzo Pallotta

We introduce the concept of indexed identity, where the usual notion of identity is a particular case. Our mathematical framework allows us a generalized method for `indexing' predicates, which corresponds to `fuzzification' of properties,…

Logic · Mathematics 2007-05-23 Adonai S. Sant'Anna

Because of usefulness and comprehensibility, fuzzy data mining has been extensively studied and is an emerging topic in recent years. Compared with utility-driven itemset mining technologies, fuzzy utility mining not only takes utilities…

Databases · Computer Science 2021-11-02 Shicheng Wan , Wensheng Gan , Xu Guo , Jiahui Chen , Unil Yun

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

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

From an inconsistent database non-trivial arguments may be constructed both for a proposition, and for the contrary of that proposition. Therefore, inconsistency in a logical database causes uncertainty about which conclusions to accept.…

Artificial Intelligence · Computer Science 2013-08-12 Morten Elvang-Gøransson , Paul J. Krause , John Fox

In this paper a knowledge representation model are proposed, FP5, which combine the ideas from fuzzy sets and penta-valued logic. FP5 represents imprecise properties whose accomplished degree is undefined, contradictory or indeterminate for…

Artificial Intelligence · Computer Science 2015-02-20 Vasile Patrascu