Results 21 to 30 of about 28,929 (280)
Some Implicational Semilinear Gaggle Logics: (Dual) Residuated-Connected Logics
Axioms, 2022 Implicational partial Galois logics and some of their semilinear extensions, such as semilinear extensions satisfying abstract Galois and dual Galois connection properties, have been introduced together with their relational semantics.
Eunsuk Yang
doaj +1 more source
Probabilistic Justification Logic
Philosophies, 2018 Justification logics are constructive analogues of modal logics. They are often used as epistemic logics, particularly as models of evidentialist justification.
Joseph Lurie
doaj +1 more source
Interval-valued algebras and fuzzy logics [PDF]
, 2010 In this chapter, we present a propositional calculus for several interval-valued fuzzy logics, i.e., logics having intervals as truth values. More precisely, the truth values are preferably subintervals of the unit interval.
Cornelis, Chris +2 more
core +2 more sources
Filters in Strong BI-Algebras and Residuated Pseudo-SBI-Algebras
Mathematics, 2020 The concept of basic implication algebra (BI-algebra) has been proposed to describe general non-classical implicative logics (such as associative or non-associative fuzzy logic, commutative or non-commutative fuzzy logic, quantum logic).
Xiaohong Zhang, Xiangyu Ma, Xuejiao Wang
doaj +1 more source
The Varieties of Ought-implies-Can and Deontic STIT Logic [PDF]
, 2021 STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role.
Lyon, Tim, van Berkel, Kees
core
Fuzzy logic foundations of optimal inference [PDF]
Computer Science Journal of Moldova, 1994 In this paper we propose to solve the problem of the optimal fuzzy model designing for the dynamic systems controlling, to develop new mathematical models of fuzzy inference, logical schemes of hardware support based on these models, software support ...
A. Averkin, I. Perfilyeva
doaj
Algorithms for Instance Retrieval and Realization in Fuzzy Ontologies
Mathematics, 2020 Fuzzy description logics, the formalism behind fuzzy ontologies, are an important mathematical method with applications in many artificial intelligence scenarios. This paper proposes the first specific algorithms to solve two reasoning tasks with respect
Ignacio Huitzil +2 more
doaj +1 more source
Developing a Maritime Safety Index using Fuzzy Logics [PDF]
TransNav, 2017 Safe shipping is essential for society and different measures are taken to improve maritime safety, for example through implementation of traffic separation schemes, radar surveillance and traffic management concepts.
Fredrik Olindersson +3 more
doaj +1 more source
E3S Web of Conferences, 2017 This paper presents the multipurpose approach to evaluation of research and innovation projects based on the method of analysis of hierarchies and fuzzy logics for the mining industry.
Pimonov Alexander +2 more
doaj +1 more source
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
International Journal of Computational Intelligence Systems, 2020 This paper is a contribution to the study of two distinct kinds of logics for modelling uncertainty. Both approaches use logics with a two-layered modal syntax, but while one employs classical logic on both levels and infinitely-many multimodal operators,
Paolo Baldi +2 more
doaj +1 more source