Results 11 to 20 of about 7,115 (216)

Minimally inconsistent reasoning in Semantic Web. [PDF]

open access: yesPLoS ONE, 2017
Reasoning with inconsistencies is an important issue for Semantic Web as imperfect information is unavoidable in real applications. For this, different paraconsistent approaches, due to their capacity to draw as nontrivial conclusions by tolerating ...
Xiaowang Zhang
doaj   +1 more source

Logiques dialogiques ‘multivalentes’

open access: yesPhilosophia Scientiæ, 2004
Aim of this paper is to show how so-called multi-valued logics can be formulated within the framework of Dialogical Logic. In order to formulate the particle rules for multi-valued logics the concept of different assertion modes is introduced.
Helge Rückert
doaj   +1 more source

Function of One Regular Separable Relation Set Decided for the Minimal Covering in Multiple Valued Logic

open access: yesMATEC Web of Conferences, 2016
Multiple-valued logic is an important branch of the computer science and technology. Multiple-valued logic studies the theory, multiple-valued circuit & multiple-valued system, and the applications of multiple-valued logic included.In the theory of ...
Liu Yu Zhen   +3 more
doaj   +1 more source

On Stability of Multi-Valued Nonlinear Feedback Shift Registers

open access: yesComplexity, 2019
Nonlinear feedback shift registers (NFSRs) are the main building blocks in many convolutional decoders, and a stable NFSR can limit decoding error propagation.
Haiyan Wang   +7 more
doaj   +1 more source

Comments on “High-Performance and Energy-Efficient CNFET-Based Designs for Ternary Logic Circuits”

open access: yesIEEE Access, 2020
In the above article [1], R. A. Jaber et al. present the designs of ternary logic circuits based on CNTFET technology. The motivation for designing ternary gates is based on the following assumption quoted in the abstract: “Moreover, multi-valued ...
Daniel Etiemble
doaj   +1 more source

Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic

open access: yesInternational Journal of Computational Intelligence Systems, 2018
Due to the need of the logical foundation for uncertain information processing, development of efficient automated reasoning system based on non-classical logics is always an active research area.
Yang Xu   +4 more
doaj   +1 more source

Calculation of the number of branches of multi-valued decision trees in computer aided importance rank of parameters

open access: yesITM Web of Conferences, 2017
An elaborated digital computer programme supporting the time-consuming process of selecting the importance rank of construction and operation parameters by means of stating optimum sets is based on the Quine – McCluskey algorithm of minimizing individual
Tiszbierek Agnieszka
doaj   +1 more source

Application of the Methodology of Multi-Valued Logic Trees with Weighting Factors in the Optimization of a Proportional Valve

open access: yesAxioms, 2022
Hydraulic valves are used to determine the set values of hydraulic quantities (flow rate, pressure, or pressure difference) in a hydraulic system or its part.
Adam Deptuła   +6 more
doaj   +1 more source

Identification of Influence of Part Tolerances of 3PWR-SE Pump On Its Total Efficiency Taking Into Consideration Multi-Valued Logic Trees

open access: yesPolish Maritime Research, 2017
This paper presents the way of identifying the influence of the tolerance of model pumps (TYPE 3PWR-SE) construction on the total efficiency. The identification of sensitive control dimensions (Value/Tolerance) of examined pumps has been made by means of
Deptuła Adam   +2 more
doaj   +1 more source

Bounds of non-monotone complexity for the multi-valued logic functions

open access: yesУчёные записки Казанского университета: Серия Физико-математические науки, 2020
The non-monotone complexity of realization of k-valued logic functions by circuits in a special basis was investigated. The basis consists of elements of two types: the first type comprises all monotone functions (with respect to the order 0 < 1 < 2
V.V. Kochergin, A.V. Mikhailovich
doaj   +1 more source

Home - About - Disclaimer - Privacy