Theories or fragments?
نویسندگان
چکیده
منابع مشابه
Theories or fragments?
Lake et al. argue persuasively that modelling human-like intelligence requires flexible, compositional representations in order to embody world knowledge. But human knowledge is too sparse and self-contradictory to be embedded in "intuitive theories." We argue, instead, that knowledge is grounded in exemplar-based learning and generalization, combined with high flexible generalization, a viewpo...
متن کاملUndecidable fragments of elementary theories
We introduce a general framework to prove undecidability of fragments. This is applied to fragments of theories arising in algebra and recursion theory. For instance, the V3V-theories of the class of finite distributive lattices and of the p.o. of recursively enumerable many-one degrees are shown to be undecidable.
متن کاملCombining Theories: The Ackerman and Guarded Fragments
Combination of decision procedures is at the heart of Satisfiability Modulo Theories (SMT) solvers. It provides ways to compose decision procedures for expressive languages which mix symbols from various decidable theories. Typical combinations include (linear) arithmetic, uninterpreted symbols, arrays operators, etc. In [7] we showed that any first-order theory from the Bernays-Schönfinkel-Ram...
متن کاملLogical Theories for Fragments of Elementary Geometry
We survey models and theories of geometric structures of parallelism, orthogonality, incidence, betweenness and order, thus gradually building towards full elementary geometry of Euclidean spaces, in Tarski’s sense. Besides the geometric aspects of such structures we look at their logical (first-order and modal) theories and discuss logical issues such as: expressiveness and definability, axiom...
متن کاملH-theories, fragments of HA and PA-normality
For a classical theory T , H(T ) denotes the intuitionistic theory of T -normal (i.e. locally T ) Kripke structures. S. Buss has asked for a characterization of the theories in the range of H and raised the particular question of whether HA is an H-theory. We show that T i ∈ range(H) iff T i = H(T ). As a corollary, no fragment of HA extending iΠ1 belongs to the range of H. A. Visser has alread...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Behavioral and Brain Sciences
سال: 2017
ISSN: 0140-525X,1469-1825
DOI: 10.1017/s0140525x17000073