Results 61 to 70 of about 385,766 (333)
A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam +2 more
wiley +1 more source
Proposal for the Formalization of Dialectical Logic
Mathematics, 2016 Classical logic is typically concerned with abstract analysis. The problem for a synthetic logic is to transcend and unify available data to reconstruct the object as a totality. Three rules are proposed to pass from classic logic to synthetic logic.
José Luis Usó-Doménech +2 more
doaj +1 more source
Toward Quaternary QCA: Novel Majority and XOR Fuzzy Gates
IEEE Access, 2022 As an emerging nanotechnology, quantum-dot cellular automata (QCA) has been considered an alternative to CMOS technology that suffers from problems such as leakage current.
Reza Akbari-Hasanjani +2 more
doaj +1 more source
A map of dependencies among three-valued logics [PDF]
, 2013 International audienceThree-valued logics arise in several fields of computer science, both inspired by concrete problems (such as in the management of the null value in databases) and theoretical considerations.
Adamatzky +58 more
core +4 more sources
International Journal of Adaptive Control and Signal Processing, EarlyView.This paper proposes two projector‐based Hopfield neural network (HNN) estimators for online, constrained parameter estimation under time‐varying data, additive disturbances, and slowly drifting physical parameters. The first is a constraint‐aware HNN that enforces linear equalities and inequalities (via slack neurons) and continuously tracks the ...
Miguel Pedro Silva
wiley +1 more source
Um novo sistema de axiomas para a l´ogica paraconsistente J3
CQD Revista Eletrônica Paulista de Matemática, 2022 We investigate the paraconsistent logic J3. As original result we propose a new sistem of axioms for J3 and present results of soundness and completeness (adequacy) evolving the original three valued matrix semantic for J3.
H´ercules de Araujo Feitosa +2 more
doaj
Transforming acyclic programs [PDF]
, 1993 An unfold/fold transformation system is a source-to-source rewriting methodology devised to improve the efficiency of a program. Any such transformation should preserve the main properties of the initial program: among them, termination.
Bossi, Annalisa, Etalle, Sandro
core +6 more sources
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
Natural three-valued logics and classical logic
Логические исследования, 2013 In this paper implicative fragments of natural threevalued logic are investigated. It is proved that some fragments are equivalent by set of tautologies to implicative fragment of classical logic. It is also shown that some natural three-valued logics verify all tautologies of classical propositional logic.
openaire +4 more sources
A Complete Axiomatization of the Three valued Completion of Logic Programs [PDF]
, 2017 We prove the completeness of extended SLDNF-resolution for the new class of e-programs with respect to the three-valued completion of a logic program.
STÄRK, ROBERT F.
core