Results 71 to 80 of about 8,214,233 (250)
International Journal of Computational Intelligence Systems, 2014 Rough set theory gives approximation models of complex knowledge structure. Agents are not present in the definition of the rough sets. Now we will show that a set of conflicting agents or active set can be used to model inconsistent decision in rough ...
Germano Resconi, Chris Hinde
doaj +1 more source
Symmetry‐Guided Multifunctional Acoustic System Based on Mechanically Actuated Sonic Crystals
Advanced Engineering Materials, EarlyView.This study presents the design, simulation, and experimental validation of amultifunctional acoustic metamaterial based on rotationally engineered sonic crystals.By tuning cylinder orientations, controllable band gaps and six distinct functionalities—including switching, topological insulation, beam splitting, and logic operations—areachieved ...
Yuanyan Zhao +2 more
wiley +1 more source
PROBABILISTIC VARIANTS OF RENYI-ULAM ´ GAME AND MANY-VALUED LOGIC
TASK Quarterly, 2005 In this paper we discuss some generalizations of R´enyi-Ulam game with lies: some of them are simply probabilistic variants of it, some others differ from it by the presence of more than one number to guess.
CLAUDIO MARINI, FRANCO MONTAGNA
doaj
Representation Synthesis by Probabilistic Many-Valued Logic Operation in Self-Supervised Learning
IEEE Open Journal of Signal ProcessingIn this paper, we propose a new self-supervised learning (SSL) method for representations that enable logic operations. Representation learning has been applied to various tasks like image generation and retrieval.
Hiroki Nakamura +2 more
doaj +1 more source
Advanced Engineering Materials, EarlyView.Digitalizing electroplating requires both domain knowledge and interoperability. This work introduces PlatOn, a domain ontology for trivalent chromium plating and coating characterization, and a hybrid pipeline that aligns it to a mid‐level reference ontology by combining eight similarity metrics with language model reasoning. Expert‐validated mappings
Janik Harter +10 more
wiley +1 more source
A. A. Zinoviev's Conception of the Many-valued Logic [PDF]
, 1993 The paper seeks to reconstruct A.A. Zinoviev's many-valued logic. In order to construct any system of the many-valued logic it is essential to assume the two-valued logic. The many-valued logic cannot be treated as competitive to the two-valued one.
Lechniak, Marek
core
Boolean-valued second-order logic
, 2015 In so-called full second-order logic, the second-order variables range over all subsets and relations of the domain in question. In so-called Henkin second-order logic, every model is endowed with a set of subsets and relations which will serve as the ...
Väänänen, J., Ikegami, D.
core +1 more source
Advanced Engineering Materials, EarlyView.The OntOMat ontology establishes a structured framework for polymer matrix fiber reinforced composite materials, integrating manufacturing processes, characterization methods, and multiscale design through the VDI/VDE 3682 formalized process description standard.
Nicolas Christ +19 more
wiley +1 more source
Complexity of Many-Valued Logics
, 2002 As is the case for other logics, a number of complexity-related questions can be posed in the context of many-valued logic. Some of these, such as the complexity of the sets of satisfiable and valid formulas in various logics, are completely standard ...
Hähnle, Reiner,
core
Shadowing in Many-Valued Nested Structures
, 2020 Belief shadowing is a relatively recent approach to belief change. In essence, shadowing depends on accepting beliefs of others at the expense of dismissing, perhaps temporarily, some of the own ones.
Barbara Dunin-Keplicz +3 more
core +1 more source