Results 241 to 250 of about 966,425 (288)
Digital OTAs: Conventional Designs Versus Emerging Concept
Akbari M, Covi E, Gibertini P.
europepmc +1 more source
New Mathematics and Natural Computation, 2006 Fuzzy logic is extended toward dynamic adaptation of the degree of fuzziness. The motivation is to explain the process of learning as a joint model improvement and fuzziness reduction. A learning system with fuzzy models is introduced. Initially, the system is in a highly fuzzy state of uncertain knowledge, and it dynamically evolves into a low-fuzzy ...
openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
International Journal of Foundations of Computer Science, 2023
We introduce a weighted linear dynamic logic (weighted LDL for short) and show the expressive equivalence of its formulas to weighted rational expressions. This adds a new characterization for recognizable series to the fundamental Schützenberger theorem. Surprisingly, the equivalence does not require any restriction to our weighted LDL.
Droste, Manfred +2 more
openaire +1 more source
We introduce a weighted linear dynamic logic (weighted LDL for short) and show the expressive equivalence of its formulas to weighted rational expressions. This adds a new characterization for recognizable series to the fundamental Schützenberger theorem. Surprisingly, the equivalence does not require any restriction to our weighted LDL.
Droste, Manfred +2 more
openaire +1 more source
Default Logic as Dynamic Doxastic Logic
Erkenntnis, 1999zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
2000
This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms.
David Harel, Dexter Kozen, Jerzy Tiuryn
openaire +1 more source
This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms.
David Harel, Dexter Kozen, Jerzy Tiuryn
openaire +1 more source
Probabilistic Dynamic Epistemic Logic
Journal of Logic, Language and Information, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
2011
Evidence is the underpinning of beliefs and knowledge. Modeling evidence for an agent requires a more fine-grained semantics than possible worlds models. We do this in the form of "neighbourhood models", originally proposed for weak modal logics.
van Benthem, J., Pacuit, E.
openaire +3 more sources
Evidence is the underpinning of beliefs and knowledge. Modeling evidence for an agent requires a more fine-grained semantics than possible worlds models. We do this in the form of "neighbourhood models", originally proposed for weak modal logics.
van Benthem, J., Pacuit, E.
openaire +3 more sources
Journal of Logic, Language and Information, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Bulletin of Mathematical Biology, 2010
The ability of the human brain to carry out logical reasoning can be interpreted, in general, as a by-product of adaptive capacities of complex neural networks. Thus, we seek to base abstract logical operations in the general properties of neural networks designed as learning modules. We show that logical operations executable by McCulloch-Pitts binary
Mizraji, Eduardo, Lin, Juan
openaire +2 more sources
The ability of the human brain to carry out logical reasoning can be interpreted, in general, as a by-product of adaptive capacities of complex neural networks. Thus, we seek to base abstract logical operations in the general properties of neural networks designed as learning modules. We show that logical operations executable by McCulloch-Pitts binary
Mizraji, Eduardo, Lin, Juan
openaire +2 more sources