English
Related papers

Related papers: Some thoughts upon axiomatized languages with este…

200 papers

I am presenting a first-ever scientific collection of short sayings on probability and statistics expressed by most various men of science, many classics included, from antiquity to Kepler to our time. Quite understandably, the reader will…

History and Overview · Mathematics 2021-07-07 Oscar Sheynin

The evolution of grammatical systems of syntactic and semantic composition is modeled here with a novel application of reinforcement learning theory. To test the functionalist thesis that speakers' expressive purposes shape their language,…

Computation and Language · Computer Science 2025-03-04 Stephen Wechsler , James W. Shearer , Katrin Erk

Traditional linguistic theories have largely regard language as a formal system composed of rigid rules. However, their failures in processing real language, the recent successes in statistical natural language processing, and the findings…

Computation and Language · Computer Science 2020-12-02 Shuiyuan Yu , Chunshan Xu , Haitao Liu

This paper proposes a connection method \`a la Bibel for an exception-tolerant family of description logics (DLs). As for the language, we assume the DL $\mathcal{ALCH}$ extended with two typicality operators: one on (complex) concepts and…

Logic in Computer Science · Computer Science 2023-06-23 Renan Fernandes , Fred Freitas , Ivan Varzinczak , Pedro PM Farias

We start by revisiting the derivation of the variational formulae for the functional assigning to a bounded regular domain in a Riemannian manifold its first Dirichlet eigenvalue and extend it to (not necessarily bounded) domains in certain…

Differential Geometry · Mathematics 2024-10-11 Levi Lopes de Lima

Elliptic functions considered by Dixon in the nineteenth century and related to Fermat's cubic, $x^3+y^3=1$, lead to a new set of continued fraction expansions with sextic numerators and cubic denominators. The functions and the fractions…

Combinatorics · Mathematics 2007-05-23 Eric van Fossen Conrad , Philippe Flajolet

Math is widely considered as a powerful tool and its strong appeal depends on the high level of abstraction it allows in modelling a huge number of heterogeneous phenomena and problems, spanning from the static of buildings to the flight of…

History and Overview · Mathematics 2019-04-25 Tiziana Castellano , Pietro Boccadoro

In Probabilistic Logic Nilsson uses the device of a probability distribution over a set of possible worlds to assign probabilities to the sentences of a logical language. In his paper Nilsson concentrated on inference and associated…

Artificial Intelligence · Computer Science 2013-04-10 Fahiem Bacchus

We study the error calculus from a mathematical point of view, in particular for the infinite dimensional models met in stochastic analysis. Gauss was the first to propose an error calculus. It can be reinforced by an extension principle…

Probability · Mathematics 2007-05-23 Nicolas Bouleau

Kolmogorov's first axiom of probability is probability takes values between 0 and 1; however, in Cox's derivation of probability having a maximum value of unity is arbitrary since he derives probability as a tool to rank degrees of…

Quantum Physics · Physics 2016-12-05 Kevin Vanslette

Dirichlet processes and their extensions have reached a great popularity in Bayesian nonparametric statistics. They have also been introduced for spatial and spatio-temporal data, as a tool to analyze and predict surfaces. A popular…

Statistics Theory · Mathematics 2023-03-31 Clara Grazian

We consider the question of extending propositional logic to a logic of plausible reasoning, and posit four requirements that any such extension should satisfy. Each is a requirement that some property of classical propositional logic be…

Artificial Intelligence · Computer Science 2017-07-07 Kevin S. Van Horn

Probabilistic argumentation allows reasoning about argumentation problems in a way that is well-founded by probability theory. However, in practice, this approach can be severely limited by the fact that probabilities are defined by adding…

Artificial Intelligence · Computer Science 2019-03-07 Nico Potyka

This paper investigates the possibility of performing automated reasoning in probabilistic logic when probabilities are expressed by means of linguistic quantifiers. Each linguistic term is expressed as a prescribed interval of proportions.…

Artificial Intelligence · Computer Science 2013-03-25 Didier Dubois , Henri Prade , Lluis Godo , Ramon Lopez de Mantaras

In the last ten years, the employment of symbolic methods has substantially extended both the theory and the applications of statistics and probability. This survey reviews the development of a symbolic technique arising from classical…

Statistics Theory · Mathematics 2015-12-29 Elvira Di Nardo

We present a new approach to formal language theory using Kolmogorov complexity. The main results presented here are an alternative for pumping lemma(s), a new characterization for regular languages, and a new method to separate…

Computational Complexity · Computer Science 2007-05-23 Ming Li , Paul Vitanyi

This chapter collects several probabilistic tools that proved to be useful in the analysis of randomized search heuristics. This includes classic material like Markov, Chebyshev and Chernoff inequalities, but also lesser known topics like…

Data Structures and Algorithms · Computer Science 2021-09-22 Benjamin Doerr

Kolmogorov's axioms of probability theory are extended to conditional probabilities among distinct (and sometimes intertwining) contexts. Formally, this amounts to row stochastic matrices whose entries characterize the conditional…

Quantum Physics · Physics 2023-11-16 Karl Svozil

We propose a formalization of the three-tier causal hierarchy of association, intervention, and counterfactuals as a series of probabilistic logical languages. Our languages are of strictly increasing expressivity, the first capable of…

Logic in Computer Science · Computer Science 2021-06-03 Duligur Ibeling , Thomas Icard

In this paper we address the decision problem for a fragment of set theory with restricted quantification which extends the language studied in [4] with pair related quantifiers and constructs, in view of possible applications in the field…

Logic in Computer Science · Computer Science 2012-10-10 Domenico Cantone , Cristiano Longo