1,337 research outputs found
A decidable subclass of finitary programs
Answer set programming - the most popular problem solving paradigm based on
logic programs - has been recently extended to support uninterpreted function
symbols. All of these approaches have some limitation. In this paper we propose
a class of programs called FP2 that enjoys a different trade-off between
expressiveness and complexity. FP2 programs enjoy the following unique
combination of properties: (i) the ability of expressing predicates with
infinite extensions; (ii) full support for predicates with arbitrary arity;
(iii) decidability of FP2 membership checking; (iv) decidability of skeptical
and credulous stable model reasoning for call-safe queries. Odd cycles are
supported by composing FP2 programs with argument restricted programs
Partial Preferences for Mediated Bargaining
In this work we generalize standard Decision Theory by assuming that two
outcomes can also be incomparable. Two motivating scenarios show how
incomparability may be helpful to represent those situations where, due to lack
of information, the decision maker would like to maintain different options
alive and defer the final decision. In particular, a new axiomatization is
given which turns out to be a weakening of the classical set of axioms used in
Decision Theory. Preliminary results show how preferences involving complex
distributions are related to judgments on single alternatives.Comment: In Proceedings SR 2014, arXiv:1404.041
On finitely recursive programs
Disjunctive finitary programs are a class of logic programs admitting
function symbols and hence infinite domains. They have very good computational
properties, for example ground queries are decidable while in the general case
the stable model semantics is highly undecidable. In this paper we prove that a
larger class of programs, called finitely recursive programs, preserves most of
the good properties of finitary programs under the stable model semantics,
namely: (i) finitely recursive programs enjoy a compactness property; (ii)
inconsistency checking and skeptical reasoning are semidecidable; (iii)
skeptical resolution is complete for normal finitely recursive programs.
Moreover, we show how to check inconsistency and answer skeptical queries using
finite subsets of the ground program instantiation. We achieve this by
extending the splitting sequence theorem by Lifschitz and Turner: We prove that
if the input program P is finitely recursive, then the partial stable models
determined by any smooth splitting omega-sequence converge to a stable model of
P.Comment: 26 pages, Preliminary version in Proc. of ICLP 2007, Best paper awar
Creation of blenders in the conservative setting
In this work we prove that each C^r conservative diffeomorphism with a pair
of hyperbolic periodic points of co-index one can be C^1-approximated by C^r
conservative diffeomorphisms having a blender.Comment: 4 figures, 16 figure
Rigidity for actions on the interval arising from hyperbolicity I: solvable groups
We consider Abelian-by-cyclic groups for which the cyclic factor acts by
hyperbolic automorphisms on the Abelian subgroup. We show that if such a group
acts faithfully by diffeomorphisms of the closed interval with no global
fixed point at the interior, then the action is topologically conjugated to
that of an affine group. Moreover, in case of non-Abelian image, we show a
rigidity result concerning the multipliers of the homotheties, despite the fact
that the conjugacy is not necessarily smooth. Some consequences for
non-solvable groups are proposed. In particular, we give new proofs/examples
yielding the existence of finitely-generated, locally-indicable groups with no
faithful action by diffeomorphisms of the interval.Comment: A more detailed proof of Proposition 4.15 adde
Big Data and Analytics in the Age of the GDPR
The new European General Data Protection Regulation places stringent restrictions on the processing of personally identifiable data. The GDPR does not only affect European companies, as the regulation applies to all the organizations that track or provide services to European citizens. Free exploratory data analysis is permitted only on anonymous data, at the cost of some legal risks.We argue that for the other kinds of personal data processing, the most flexible and safe legal basis is explicit consent. We illustrate the approach to consent management and compliance with the GDPR being developed by the European H2020 project SPECIAL, and highlight some related big data aspects
Recommended from our members
Category-based grouping in working memory and multiple object tracking
Two prominent cognitive capacity limitations are the maximal number of objects we can place in working memory (WM) and the maximal number of objects we can track in a display. Both are believed to have a numeric value of 3 or 4, which has led to the proposal that we have a general cognitive capacity, and that this capacity is most likely linked to limitations of how many objects we can attend simultaneously. Based on previous results showing that we can memorize more objects if they come from different categories than if they come from the same category (e.g., Feigenson & Halberda, 2008; Wood, 2008; Wong, Peterson, & Thompson, 2008), we compare how category-based grouping affects performance for WM and multiple object tracking (MOT). We present participants with either âpureâ displays of either cars or faces, or with âmixedâ displays of cars and faces. Overall, the effects of category are weak. In some analyses but not others, we replicate the mixed advantage for WM, albeit with a small effect size. In contrast, we observe a weak pure advantage for MOT tasks, at least in a meta-analysis of five experiments, but not in all experiments. Accordingly, WM and MOT tasks differed significantly in their sensitivity to category membership. We also find that WM is slightly better for faces than for cars, but that no such difference exists for MOT. We tentatively suggest that cognitive capacity limitations in different domains are at least partially due to limitations of distinct mechanisms
- âŠ