English
Related papers

Related papers: Fuzzy Fault Trees Formalized

200 papers

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

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

Various networks such as cloud computing, water/gas/electricity networks, wireless sensor networks, transportation networks, and 4G/5G networks, have become an integral part of our daily lives. A binary-state network (BN) is often used to…

Discrete Mathematics · Computer Science 2021-08-03 Wei-Chang Yeh

Fault localization is a critical process that involves identifying specific program elements responsible for program failures. Manually pinpointing these elements, such as classes, methods, or statements, which are associated with a fault…

Software Engineering · Computer Science 2024-03-18 Ratnadira Widyasari , Jia Wei Ang , Truong Giang Nguyen , Neil Sharma , David Lo

Many decision-making scenarios in modern life benefit from the decision support of artificial intelligence algorithms, which focus on a data-driven philosophy and automated programs or systems. However, crucial decision issues related to…

Artificial Intelligence · Computer Science 2023-12-29 Xia Wang , Anda Liang , Jonathan Sprinkle , Taylor T. Johnson

Traditional conformance checking tasks assume that event data provide a faithful and complete representation of the actual process executions. This assumption has been recently questioned: more and more often events are not traced…

Artificial Intelligence · Computer Science 2024-06-19 Ivan Donadello , Paolo Felli , Craig Innes , Fabrizio Maria Maggi , Marco Montali

The ontological and epistemic complexities inherent in the moral domain make it challenging to establish clear standards for evaluating the performance of a moral machine. In this paper, we present a formal method to describe Ethical…

Artificial Intelligence · Computer Science 2025-07-15 Abeer Dyoub , Francesca A. Lisi

Timely maintenance is an important means of increasing system dependability and life span. Fault Maintenance trees (FMTs) are an innovative framework incorporating both maintenance strategies and degradation models and serve as a good…

Systems and Control · Computer Science 2018-06-25 Nathalie Cauchi , Khaza Anuarul Hoque , Marielle Stoelinga , Alessandro Abate

This study, fundamentals of fuzzy block theory, and its application in assessment of stability in underground openings, has surveyed. Using fuzzy topics and inserting them in to key block theory, in two ways, fundamentals of fuzzy block…

Artificial Intelligence · Computer Science 2008-05-16 H. Owladeghaffari

This paper investigates fuzzy nonlinear system equations using an optimization approach. Here, the inner-outer direct search technique is used with fuzzy coefficients and vectors to quantify the uncertain solution. The fuzzy nonlinear…

Optimization and Control · Mathematics 2022-06-02 Paresh Kumar Panigrahi , Sukanta Nayak , Sudipta Priyadarshini

Classification is essential to the applications in the field of data mining, artificial intelligence, and fault detection. There exists a strong need in developing accurate, suitable, and efficient classification methods and algorithms with…

Artificial Intelligence · Computer Science 2024-03-19 Yingtao Ren , Xiaomin Zhu , Kaiyuan Bai , Runtong Zhang

Actionable analytics are those that humans can understand, and operationalize. What kind of data mining models generate such actionable analytics? According to psychological scientists, humans understand models that most match their own…

Software Engineering · Computer Science 2018-03-15 Di Chen , Wei Fu , Rahul Krishna , Tim Menzies

Autonomous robots must operate in complex and changing environments subject to requirements on their behaviour. Verifying absolute satisfaction (true or false) of these requirements is challenging. Instead, we analyse requirements that…

Software Engineering · Computer Science 2021-04-13 Jeremy Morse , Dejanira Araiza-Illan , Jonathan Lawry , Arthur Richards , Kerstin Eder

Phishing attacks represent an increasingly sophisticated and pervasive threat to individuals and organizations, causing significant financial losses, identity theft, and severe damage to institutional reputations. Existing phishing…

Cryptography and Security · Computer Science 2025-04-29 Lohith Srikanth Pentapalli , Jon Salisbury , Josette Riep , Kelly Cohen

Deep learning models are often unaware of the inherent constraints of the task they are applied to. However, many downstream tasks require logical consistency. For ontology classification tasks, such constraints include subsumption and…

Artificial Intelligence · Computer Science 2024-08-20 Simon Flügel , Martin Glauer , Till Mossakowski , Fabian Neuhaus

We propose a tree-based algorithm for classification and regression problems in the context of functional data analysis, which allows to leverage representation learning and multiple splitting rules at the node level, reducing…

Machine Learning · Statistics 2020-11-03 Edoardo Belli , Simone Vantini

Fuzzing is utilized for testing software and systems for cybersecurity risk via the automated adaptation of inputs. It facilitates the identification of software bugs and misconfigurations that may create vulnerabilities, cause abnormal…

Cryptography and Security · Computer Science 2023-06-08 Jack Hance , Jeremy Straub

The Identity Method is a statistical technique developed to reconstruct moments of multiplicity distributions of particles produced in high-energy nuclear collisions. The method leverages principles from fuzzy logic, allowing for a more…

Nuclear Theory · Physics 2024-10-08 Anar Rustamov

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

Transportation Problem is an important aspect which has been widely studied in Operations Research domain. It has been studied to simulate different real life problems. In particular, application of this Problem in NP- Hard Problems has a…

Artificial Intelligence · Computer Science 2013-07-09 Arindam Chaudhuri , Kajal De
‹ Prev 1 3 4 5 6 7 10 Next ›