From Proof Nets to the Free *-Autonomous Category [PDF]
Logical Methods in Computer Science, 2006 In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the well-known theory of unit-free multiplicative proof nets.
Francois Lamarche, Lutz Strassburger
doaj +10 more sources
Integrating Fuzzy Set Theory with Pandora Temporal Fault Trees for Dynamic Failure Analysis of Complex Systems [PDF]
Pandora temporal fault tree, as one notable extension of the fault tree, introduces temporal gates and temporal laws. Pandora Temporal Fault Tree(TFT) enhances the capability of fault trees and enables the modeling of system failure behavior that depends on sequences.
Khungla, Hitesh, Kumar, Mohit
openaire +3 more sources
About the Strange Tree Paradox and Possible Inconsistency of Set Theory
Advances in Pure Mathematics, 2023 Yury M. Volin
openaire +3 more sources
Constructing Minimal Spanning Tree Based on Rough Set Theory for Gene Selection
International Journal of Artificial Intelligence & Applications, 2013 Soumen Kumar Pati, Asit Kumar Das
openaire +2 more sources
Overcoming the uncertainty in a research reactor LOCA in level-1 PSA; Fuzzy based fault-tree/event-tree analysis [PDF]
Journal of Optimization in Industrial Engineering, 2020 Probabilistic safety assessment (PSA) which plays a crucial role in risk evaluation is a quantitative approach intended to demonstrate how a nuclear reactor meets the safety margins as part of the licensing process.
Masoud Mohsendokht +1 more
doaj +1 more source
Meta-Tree Random Forest: Probabilistic Data-Generative Model and Bayes Optimal Prediction
Entropy, 2021 This paper deals with a prediction problem of a new targeting variable corresponding to a new explanatory variable given a training dataset. To predict the targeting variable, we consider a model tree, which is used to represent a conditional ...
Nao Dobashi +3 more
doaj +1 more source
Revisiting Call-by-value B\"ohm trees in light of their Taylor expansion [PDF]
Logical Methods in Computer Science, 2020 The call-by-value lambda calculus can be endowed with permutation rules, arising from linear logic proof-nets, having the advantage of unblocking some redexes that otherwise get stuck during the reduction.
Emma Kerinec +2 more
doaj +1 more source
Бінарна класифікація на основі поєднання теорії приблизних множин і дерев рішень
Сучасний стан наукових досліджень та технологій в промисловості, 2023 Предмет дослідження – підвищення точності та ефективності алгоритмів класифікації на основі дерев рішень за допомогою інтеграції принципів теорії приблизних множин (Rough Set), математичного підходу до апроксимації множин. Мета дослідження – розроблення
Dmytro Chernyshov, Dmytro Sytnikov
doaj +3 more sources
On Laws of Thought—A Quantum-like Machine Learning Approach
Entropy, 2023 Incorporating insights from quantum theory, we propose a machine learning-based decision-making model, including a logic tree and a value tree; a genetic programming algorithm is applied to optimize both the logic tree and value tree.
Lizhi Xin, Kevin Xin, Houwen Xin
doaj +1 more source
Construction of a local location program on the basis of “decision tree” [PDF]
Biuletyn Wojskowej Akademii Technicznej, 2019 The article presents the problems of building a damage location program in a technical facility based on the theory of the “decision tree”. The basis in such a decision-making process is the functional and diagnostic analysis of the tested technical ...
Przemysław Duer +2 more
doaj +1 more source