3,357 research outputs found
The problem of artificial precision in theories of vagueness: a note on the role of maximal consistency
The problem of artificial precision is a major objection to any theory of
vagueness based on real numbers as degrees of truth. Suppose you are willing to
admit that, under sufficiently specified circumstances, a predication of "is
red" receives a unique, exact number from the real unit interval [0,1]. You
should then be committed to explain what is it that determines that value,
settling for instance that my coat is red to degree 0.322 rather than 0.321. In
this note I revisit the problem in the important case of {\L}ukasiewicz
infinite-valued propositional logic that brings to the foreground the role of
maximally consistent theories. I argue that the problem of artificial
precision, as commonly conceived of in the literature, actually conflates two
distinct problems of a very different nature.Comment: 11 pages, 2 table
Encoding Markov Logic Networks in Possibilistic Logic
Markov logic uses weighted formulas to compactly encode a probability
distribution over possible worlds. Despite the use of logical formulas, Markov
logic networks (MLNs) can be difficult to interpret, due to the often
counter-intuitive meaning of their weights. To address this issue, we propose a
method to construct a possibilistic logic theory that exactly captures what can
be derived from a given MLN using maximum a posteriori (MAP) inference.
Unfortunately, the size of this theory is exponential in general. We therefore
also propose two methods which can derive compact theories that still capture
MAP inference, but only for specific types of evidence. These theories can be
used, among others, to make explicit the hidden assumptions underlying an MLN
or to explain the predictions it makes.Comment: Extended version of a paper appearing in UAI 201
Weighted logics for artificial intelligence : an introductory discussion
International audienceBefore presenting the contents of the special issue, we propose a structured introductory overview of a landscape of the weighted logics (in a general sense) that can be found in the Artificial Intelligence literature, highlighting their fundamental differences and their application areas
Reducing fuzzy answer set programming to model finding in fuzzy logics
In recent years, answer set programming (ASP) has been extended to deal with multivalued predicates. The resulting formalisms allow for the modeling of continuous problems as elegantly as ASP allows for the modeling of discrete problems, by combining the stable model semantics underlying ASP with fuzzy logics. However, contrary to the case of classical ASP where many efficient solvers have been constructed, to date there is no efficient fuzzy ASP solver. A well-known technique for classical ASP consists of translating an ASP program P to a propositional theory whose models exactly correspond to the answer sets of P. In this paper, we show how this idea can be extended to fuzzy ASP, paving the way to implement efficient fuzzy ASP solvers that can take advantage of existing fuzzy logic reasoners
- …