12,898 research outputs found
A temporal semantics for Nilpotent Minimum logic
In [Ban97] a connection among rough sets (in particular, pre-rough algebras)
and three-valued {\L}ukasiewicz logic {\L}3 is pointed out. In this paper we
present a temporal like semantics for Nilpotent Minimum logic NM ([Fod95,
EG01]), in which the logic of every instant is given by {\L}3: a completeness
theorem will be shown. This is the prosecution of the work initiated in [AGM08]
and [ABM09], in which the authors construct a temporal semantics for the
many-valued logics of G\"odel ([G\"od32], [Dum59]) and Basic Logic ([H\'aj98]).Comment: 19 pages, 2 table
Probabilistic Programming Concepts
A multitude of different probabilistic programming languages exists today,
all extending a traditional programming language with primitives to support
modeling of complex, structured probability distributions. Each of these
languages employs its own probabilistic primitives, and comes with a particular
syntax, semantics and inference procedure. This makes it hard to understand the
underlying programming concepts and appreciate the differences between the
different languages. To obtain a better understanding of probabilistic
programming, we identify a number of core programming concepts underlying the
primitives used by various probabilistic languages, discuss the execution
mechanisms that they require and use these to position state-of-the-art
probabilistic languages and their implementation. While doing so, we focus on
probabilistic extensions of logic programming languages such as Prolog, which
have been developed since more than 20 years
Assessing forensic evidence by computing belief functions
We first discuss certain problems with the classical probabilistic approach
for assessing forensic evidence, in particular its inability to distinguish
between lack of belief and disbelief, and its inability to model complete
ignorance within a given population. We then discuss Shafer belief functions, a
generalization of probability distributions, which can deal with both these
objections. We use a calculus of belief functions which does not use the much
criticized Dempster rule of combination, but only the very natural
Dempster-Shafer conditioning. We then apply this calculus to some classical
forensic problems like the various island problems and the problem of parental
identification. If we impose no prior knowledge apart from assuming that the
culprit or parent belongs to a given population (something which is possible in
our setting), then our answers differ from the classical ones when uniform or
other priors are imposed. We can actually retrieve the classical answers by
imposing the relevant priors, so our setup can and should be interpreted as a
generalization of the classical methodology, allowing more flexibility. We show
how our calculus can be used to develop an analogue of Bayes' rule, with belief
functions instead of classical probabilities. We also discuss consequences of
our theory for legal practice.Comment: arXiv admin note: text overlap with arXiv:1512.01249. Accepted for
publication in Law, Probability and Ris
Testing formula satisfaction
We study the query complexity of testing for properties defined by read once formulae, as instances of massively parametrized properties, and prove several testability and non-testability results. First we prove the testability of any property accepted by a Boolean read-once formula involving any bounded arity gates, with a number of queries exponential in \epsilon and independent of all other parameters. When the gates are limited to being monotone, we prove that there is an estimation algorithm, that outputs an approximation of the distance of the input from
satisfying the property. For formulae only involving And/Or gates, we provide a more efficient test whose query complexity is only quasi-polynomial in \epsilon. On the other hand we show that such testability results do not hold in general for formulae over non-Boolean alphabets; specifically we construct a property defined by a read-once arity 2 (non-Boolean) formula over alphabets of size 4, such that any 1/4-test for it requires a number of queries depending on the formula size
Ancient Indian Logic and Analogy
B.K.Matilal, and earlier J.F.Staal, have suggested a reading of the `Nyaya five limb schema' (also sometimes referred to as the Indian Schema or Hindu Syllogism) from Gotama's Nyaya-Sutra in terms of a binary occurrence relation. In this paper we provide a rational justification of a version of this reading as Analogical Reasoning within the framework of Polyadic Pure Inductive Logic
- …