Results 51 to 60 of about 416,627 (195)
Deductive Verification of the Sliding Window Protocol
Моделирование и анализ информационных систем, 2015 We consider the well-known Sliding Window Protocol which provides reliable and efficient transmission of data over unreliable channels. A formal proof of correctness for this protocol faces substantial difficulties caused by a high degree of parallelism ...
D. A. Chkliaev, V. A. Nepomniaschy
doaj +3 more sources
Symbolic Deductive Reasoning using Connectionist Models [PDF]
Computer Science Journal of Moldova, 2004 In this paper, we try to combine the possibility of symbolic deductive reasoning with the learning capability of the connectionist models. We introduce several algorithms for learning relations between concepts and finding paths in a transitive manner ...
Mihai Horia Zaharia +2 more
doaj
On Fuzzy Deductive Systems of Hilbert Algebras
Journal of Mathematics, 2020 In this paper, we study fuzzy deductive systems of Hilbert algebras whose truth values are in a complete lattice satisfying the infinite meet distributive law.
Gezahagne Mulat Addis +1 more
doaj +1 more source
This essay presents deductive arguments to an introductory-level audience via a discussion of Aristotle's three types of rhetoric, the goals of and differences between deductive and non-deductive arguments, and the major features of deductive arguments ...
Wright, Jake
core
Forward Invariant Cuts to Simplify Proofs of Safety
, 2015 The use of deductive techniques, such as theorem provers, has several advantages in safety verification of hybrid sys- tems; however, state-of-the-art theorem provers require ex- tensive manual intervention.
Arechiga, Nikos +4 more
core +1 more source
An Axiomatic Approach to Liveness for Differential Equations
, 2019 This paper presents an approach for deductive liveness verification for ordinary differential equations (ODEs) with differential dynamic logic. Numerous subtleties complicate the generalization of well-known discrete liveness verification techniques ...
A Abate +23 more
core +1 more source
Exploring Qualitatively-Derived Concepts: Inductive—Deductive Pitfalls
International Journal of Qualitative Methods, 2002 Analytic induction is a sacred tenet of qualitative inquiry. 1 Therefore, when one begins a project focusing on concept of interest (rather than allowing the concepts to emerge from the data per se), how does one maintain a valid approach?
Janice M. Morse, Carl Mitcham
doaj +1 more source
The Metaphoric Fallacy to a Deductive Inference
Informal Logic, 2010 Our article identifies and describes the metaphoric fallacy to a deductive inference (MFDI) that is an example of incorrect reasoning along the lines of the false analogy fallacy.
Michael P Berman, Brian A Lightbody
doaj +1 more source
Intrinsic, deductive, explicit, and algorithmic characterization of the Szekeres-Szafron solutions
, 2018 We write the known invariant definition of the Szekeres-Szafron family of solutions in an intrinsic, deductive, explicit and algorithmic form. We also intrinsically characterize the two commonly considered subfamilies, and analyze other subclasses, also ...
Ferrando, Joan Josep +1 more
core +1 more source
Imaging Deductive Reasoning and the New Paradigm
Frontiers in Human Neuroscience, 2015 There has been a great expansion of research into human reasoning at all of Marr’s explanatory levels. There is a tendency for this work to progress within a level largely ignoring the others which can lead to slippage between levels (Chater, Oaksford ...
Mike eOaksford
doaj +1 more source