Results 81 to 90 of about 506 (185)

Axiomatizing Causal Reasoning

Journal of Artificial Intelligence Research, 2000
Causal models defined in terms of a collection of equations, as defined by Pearl, are axiomatized here. Axiomatizations are provided for three successively more general classes of causal models: (1) the class of recursive theories (those without feedback), (2) the class of theories where the solutions to the equations are unique, (3 ...
openaire   +6 more sources

Monotonic Entropies

Scientific Annals of Computer Science
We introduce an axiomatization of entropy that generates, as special cases, novel entropy types. These entropies generalize Shannon’s entropy and allow the introduction of entropy for partitions of sets of objects located in metric spaces, and for ...
Dan Simovici
doaj   +1 more source

SEMIOTICS- INTEGRAL PART OF THE ECONOMIC HERMENEUTICS [PDF]

Analele Universităţii Constantin Brâncuşi din Târgu Jiu : Seria Economie, 2016
Although a social science, economy makes use of the tools of numbers and precise data. Should we not include semiotics in the theory of economic interpretation, the axiomatization of the economic science would be impossible and furthermore the ...
ANDA- LAURA LUNGU
doaj  

Non-Additive Entropy Formulas: Motivation and Derivations. [PDF]

Entropy (Basel), 2023
Biró TS, Deppman A.
europepmc   +1 more source

THE ROLE OF AXIOMATIZATION IN THE PROCESS OF MATHEMATICAL THEORY CONSTRUCTION

Advanced Engineering Research, 2007
The article covers one of the formalization forms - axiomatization - and its role in the process of construction of mathematical theory and its foundations (abstract mathematical objects).
S.I. MASALOVA
doaj  

The Axiomatization of Propositional Logic

Formalized Mathematics, 2016
Summary This article introduces propositional logic as a formal system ([14], [10], [11]). The formulae of the language are as follows φ ::= ⊥ | p | φ → φ. Other connectives are introduced as abbrevations. The notions of model and satisfaction in model are defined. The axioms are all the formulae of the following schemes
openaire   +3 more sources

Revealed desirability: a novel instrument for social welfare. [PDF]

Theory Decis, 2022
Barokas G.
europepmc   +1 more source

Automatic differentiation of uncertainties: an interval computational differentiation for first and higher derivatives with implementation. [PDF]

PeerJ Comput Sci, 2023
Dawood H, Megahed N.
europepmc   +1 more source

Deleuze, axiomatized

Tábano
This work aims to analyse Alain Badiou’s critique of Gilles Deleuze’s Logic of Sense and theory of the event in Logics of Worlds. This is done under the hypothesis that Badiou axiomatizes Deleuze to mathematically scrutinize the mainframe of Logic of ...
Felipe A. Matti
doaj   +1 more source

Axiomatization of Approximate Exclusion

Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning
We define and axiomatize approximate exclusion atoms in the team semantic setting. A team is a set of assignments, which can be seen as a mathematical model of a uni-relational database. We say that an approximate exclusion atom is satisfied in a team if the corresponding usual exclusion atom is satisfied in a large enough subteam.
openaire   +3 more sources