English
Related papers

Related papers: A Reason Maintenace System Dealing with Vague Data

200 papers

We apply residuated structures associated with fuzzy logic to develop certain aspects of information processing in quantum computing from a logical perspective. For this purpose, we introduce an axiomatic system whose natural interpretation…

Quantum Physics · Physics 2007-05-23 Graciela Domenech , Hector Freytes

We provide a rigorous framework for handling uncertainty in quantitative fault tree analysis based on fuzzy theory. We show that any algorithm for fault tree unreliability analysis can be adapted to this framework in a fully general and…

General Mathematics · Mathematics 2026-01-29 Thi Kim Nhung Dang , Benedikt Peterseim , Milan Lopuhaä-Zwakenberg , Mariëlle Stoelinga

The concept of paradeduction is presented in order to justify that we can overlook contradictory information taking into account only what is consistent. Besides that, paradeduction is used to show that there is a way to transform any…

Logic · Mathematics 2022-07-13 Edelcio G. de Souza , Alexandre Costa-Leite , Diogo H. B. Dias

Logics with analogous semantics, such as Fuzzy Logic, have a number of explanatory and application advantages, the most well-known being the ability to help experts develop control systems. From a cognitive systems perspective, such…

Artificial Intelligence · Computer Science 2022-01-24 Hedda R. Schmidtke , Sara Coelho

Detection of anomalous behaviors in data centers is crucial to predictive maintenance and data safety. With data centers, we mean any computer network that allows users to transmit and exchange data and information. In particular, we focus…

Artificial Intelligence · Computer Science 2020-04-29 Leticia Decker , Daniel Leite , Luca Giommi , Daniele Bonacorsi

In this paper, a combination of fuzzy clustering estimation and sliding mode control is used to control a quadrotor system, whose mathematical model is complex and has unknown elements, including structure, parameters, and so on. In…

Systems and Control · Electrical Eng. & Systems 2023-11-15 Moufid Bouhentala , Mouna Ghanai , Kheireddine Chafaa

Fuzzy logic programming is a growing declarative paradigm aiming to integrate fuzzy logic into logic programming. One of the most difficult tasks when specifying a fuzzy logic program is determining the right weights for each rule, as well…

Programming Languages · Computer Science 2016-08-17 Ginés Moreno , Jaime Penabad , Germán Vidal

Advanced AI technologies are serving humankind in a number of ways, from healthcare to manufacturing. Advanced automated machines are quite expensive, but the end output is supposed to be of the highest possible quality. Depending on the…

Software Engineering · Computer Science 2022-10-03 Gokul Yenduri , Thippa Reddy Gadekallu

Control systems behavior can be analyzed taking into account a large number of parameters: performances, reliability, availability, security. Each control system presents various security vulnerabilities that affect in lower or higher…

Cryptography and Security · Computer Science 2019-08-30 Emil Pricop , Sanda Florentina Mihalache , Nicolae Paraschiv , Jaouhar Fattahi , Florin Zamfir

Advances in machine learning have revolutionized capabilities in applications ranging from natural language processing to marketing to health care. Here, we demonstrate the efficacy of machine learning in predicting chaotic behavior in…

Soft Condensed Matter · Physics 2020-02-28 Hiromi Yasuda , Koshiro Yamaguchi , Yasuhiro Miyazawa , Richard Wiebe , Jordan R. Raney , Jinkyu Yang

Static program analysis is used to summarize properties over all dynamic executions. In a unifying approach based on 3-valued logic properties are either assigned a definite value or unknown. But in summarizing a set of executions, a…

Programming Languages · Computer Science 2017-07-14 Jacob Lidman , Josef Svenningsson

Decision support systems (DSS) can be used to help settlement issues or decisions that are semi-structured or structured. The method used is Fuzzy Tsukamoto. PT Triprima Finance is a company engaged in the service sector lending with…

Artificial Intelligence · Computer Science 2015-06-02 Tri Murti , Leon Andretti Abdillah , Muhammad Sobri

The main goal of this paper is to introduce new local stability conditions for continuous-time Takagi-Sugeno (T-S) fuzzy systems. These stability conditions are based on linear matrix inequalities (LMIs) in combination with quadratic…

Systems and Control · Electrical Eng. & Systems 2023-09-15 Donghwan Lee , Do Wan Kim

Storage systems are fundamental to modern computing infrastructures, yet ensuring their correctness remains challenging in practice. Despite decades of research on system testing, many storage-system failures (including durability,…

Software Engineering · Computer Science 2026-02-09 Ying Wang , Jiahui Chen , Dejun Jiang

The conventional wisdom is that a software-defined network (SDN) operates under the premise that the logically centralized control plane has an accurate representation of the actual data plane state. Unfortunately, bugs, misconfigurations,…

Networking and Internet Architecture · Computer Science 2020-12-08 Apoorv Shukla , Said Jawad Saidi , Stefan Schmid , Marco Canini , Thomas Zinner , Anja Feldmann

Memristor (memory-resistor) is the fourth passive circuit element. We introduce a memristor model based on a fuzzy logic window function. Fuzzy models are flexible, which enables the capture of the pinched hysteresis behavior of the…

Emerging Technologies · Computer Science 2016-05-20 Rabab Farouk Abdel-Kader , Sherif M. Abuelenin

Power systems are usually large non-linear systems, which are often subjected to low frequency electromechanical oscillations. Power System Stabilizers are often used as effective and economic means for damping the generator's…

Systems and Control · Computer Science 2014-07-02 R. Latha , S. Kanthalakshmi , J. Kanagaraj

This paper is to consider the problems of estimation and recognition from the perspective of sigma-max inference (probability-possibility inference), with a focus on discovering whether some of the unknown quantities involved could be more…

Systems and Control · Electrical Eng. & Systems 2022-03-09 Wei Mei , Yunfeng Xu , Limin Liu

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

Large Language Models (LLMs) achieve strong performance in analyzing and generating text, yet they struggle with explicit, transparent, and verifiable reasoning over complex texts such as those containing debates. In particular, they lack…

Artificial Intelligence · Computer Science 2026-03-04 Gianvincenzo Alfano , Sergio Greco , Lucio La Cava , Stefano Francesco Monea , Irina Trubitsyna
‹ Prev 1 4 5 6 7 8 10 Next ›