English
Related papers

Related papers: Fuzzy Fault Trees: the Fast and the Formal

200 papers

We present a detailed analysis of the class of regression decision tree algorithms which employ a regulized piecewise-linear node-splitting criterion and have regularized linear models at the leaves. From a theoretic standpoint, based on…

Machine Learning · Computer Science 2019-07-02 Leonidas Lefakis , Oleksandr Zadorozhnyi , Gilles Blanchard

Decision tree learning is a widely used approach in machine learning, favoured in applications that require concise and interpretable models. Heuristic methods are traditionally used to quickly produce models with reasonably high accuracy.…

Many engineering optimization problems can be considered as linear programming problems where all or some of the parameters involved are linguistic in nature. These can only be quantified using fuzzy sets. The aim of this paper is to solve…

Artificial Intelligence · Computer Science 2010-01-14 I. Elamvazuthi , T. Ganesan , P. Vasant , J. F. Webb

Datasets can be biased due to societal inequities, human biases, under-representation of minorities, etc. Our goal is to certify that models produced by a learning algorithm are pointwise-robust to potential dataset biases. This is a…

Machine Learning · Computer Science 2021-10-12 Anna P. Meyer , Aws Albarghouthi , Loris D'Antoni

We present a unified logical framework for representing and reasoning about both quantitative and qualitative preferences in fuzzy answer set programming, called fuzzy answer set optimization programs. The proposed framework is vital to…

Artificial Intelligence · Computer Science 2013-04-11 Emad Saad

In the maintenance of complex systems, fault trees are used to locate problems and provide targeted solutions. To enable fault trees stored as images to be directly processed by large language models, which can assist in tracking and…

Artificial Intelligence · Computer Science 2026-03-25 Yuhui Wang , Zhixiong Yang , Ming Zhang , Shihan Dou , Zhiheng Xi , Enyu Zhou , Senjie Jin , Yujiong Shen , Dingwei Zhu , Yi Dong , Tao Gui , Qi Zhang , Xuanjing Huang

Fault trees are a key model in reliability analysis. Classical static fault trees (SFT) can best be analysed using binary decision diagrams (BDD). State-based techniques are favorable for the more expressive dynamic fault trees (DFT). This…

Software Engineering · Computer Science 2022-03-29 Daniel Basgöze , Matthias Volk , Joost-Pieter Katoen , Shahid Khan , Marielle Stoelinga

Aiming at the group decision - making problem with multi - objective attributes, this study proposes a group decision - making system that integrates fuzzy inference and Bayesian network. A fuzzy rule base is constructed by combining…

Artificial Intelligence · Computer Science 2025-05-01 Shui-jin Rong , Wei Guo , Da-qing Zhang

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

Attack trees are considered a useful tool for security modelling because they support qualitative as well as quantitative analysis. The quantitative approach is based on values associated to each node in the tree, expressing, for instance,…

Cryptography and Security · Computer Science 2019-01-11 Ahto Buldas , Olga Gadyatskaya , Aleksandr Lenin , Sjouke Mauw , Rolando Trujillo-Rasua

In this paper, we introduce a fundamental framework to create a bridge between Probability Theory and Fuzzy Logic. Indeed, our theory formulates a random experiment of selecting crisp elements with the criterion of having a certain fuzzy…

Logic in Computer Science · Computer Science 2022-05-31 Amir Saki , Usef Faghihi

We introduce a fine-grained framework for uncertainty quantification of predictive models under distributional shifts. This framework distinguishes the shift in covariate distributions from that in the conditional relationship between the…

Methodology · Statistics 2025-05-20 Jiahao Ai , Zhimei Ren

We critically assess the robustness of uncertainties on parton distribution functions (PDFs) determined using neural networks from global sets of experimental data collected from multiple experiments. We view the determination of PDFs as an…

High Energy Physics - Phenomenology · Physics 2025-03-25 Andrea Barontini , Mark N. Costantini , Giovanni De Crescenzo , Stefano Forte , Maria Ubiali

Methods for analyzing or learning from "fuzzy data" have attracted increasing attention in recent years. In many cases, however, existing methods (for precise, non-fuzzy data) are extended to the fuzzy case in an ad-hoc manner, and without…

Machine Learning · Computer Science 2017-10-10 Eyke Hüllermeier

Web Effort Estimation is a process of predicting the efforts and cost in terms of money, schedule and staff for any software project system. Many estimation models have been proposed over the last three decades and it is believed that it is…

Software Engineering · Computer Science 2011-11-02 Sanaa Elyassami , Ali Idri

In practical situations, interval-valued fuzzy sets are frequently encountered. In this paper, firstly, we present shadowed sets for interpreting and understanding interval fuzzy sets. We also provide an analytic solution to computing the…

Artificial Intelligence · Computer Science 2014-12-23 Guangming Lang

Decision trees are important both as interpretable models amenable to high-stakes decision-making, and as building blocks of ensemble methods such as random forests and gradient boosting. Their statistical properties, however, are not well…

Machine Learning · Statistics 2021-10-20 Yan Shuo Tan , Abhineet Agarwal , Bin Yu

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

We investigate active learning by pairwise similarity over the leaves of trees originating from hierarchical clustering procedures. In the realizable setting, we provide a full characterization of the number of queries needed to achieve…

Machine Learning · Computer Science 2019-10-15 Fabio Vitale , Anand Rajagopalan , Claudio Gentile

Classical machine learning classifiers tend to be overconfident can be unreliable outside of the laboratory benchmarks. Properly assessing the reliability of the output of the model per sample is instrumental for real-life scenarios where…

Artificial Intelligence · Computer Science 2025-11-07 Javier Fumanal-Idocin , Javier Andreu-Perez
‹ Prev 1 3 4 5 6 7 10 Next ›