Switch to: References

Add citations

You must login to add citations.
  1. Tractability and the computational mind.Rineke Verbrugge & Jakub Szymanik - 2018 - In Mark Sprevak & Matteo Colombo (eds.), The Routledge Handbook of the Computational Mind. Routledge. pp. 339-353.
    We overview logical and computational explanations of the notion of tractability as applied in cognitive science. We start by introducing the basics of mathematical theories of complexity: computability theory, computational complexity theory, and descriptive complexity theory. Computational philosophy of mind often identifies mental algorithms with computable functions. However, with the development of programming practice it has become apparent that for some computable problems finding effective algorithms is hardly possible. Some problems need too much computational resource, e.g., time or memory, to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Recursion: A Computational Investigation into the Representation and Processing of Language. [REVIEW]Ryan M. Nefdt - 2019 - Philosophical Quarterly 69 (274):206-209.
    Recursion: A Computational Investigation into the Representation and Processing of Language. By Lobina David.
    Download  
     
    Export citation  
     
    Bookmark  
  • Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems.Christian Michaux & Roger Villemaire - 1996 - Annals of Pure and Applied Logic 77 (3):251-277.
    Let be the set of nonnegative integers. We show the two following facts about Presburger's arithmetic:1. 1. Let . If L is not definable in , + then there is an definable in , such that there is no bound on the distance between two consecutive elements of L′. and2. 2. is definable in , + if and only if every subset of which is definable in is definable in , +. These two Theorems are of independent interest but we (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (2 other versions)Descriptive complexity theories.Joerg Flum - 2003 - Theoria 18 (1):47-58.
    In this article we review some of the main results of descriptive complexity theory in order to make the reader familiar with the nature of the investigations in this area. We start by presenting the characterization of automata recognizable languages by monadic second-order logic. Afterwards we explain the characterization of various logics by fIxed-point logics. We assume familiarity with logic but try to keep knowledge of complexity theory to aminimum.
    Download  
     
    Export citation  
     
    Bookmark  
  • Decidability Results for Metric and Layered Temporal Logics.Angelo Montanari & Alberto Policriti - 1996 - Notre Dame Journal of Formal Logic 37 (2):260-282.
    We study the decidability problem for metric and layered temporal logics. The logics we consider are suitable to model time granularity in various contexts, and they allow one to build granular temporal models by referring to the "natural scale" in any component of the model and by properly constraining the interactions between differently-grained components. A monadic second-order language combining operators such as temporal contextualization and projection, together with the usual displacement operator of metric temporal logics, is considered, and the theory (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Ostrowski Numeration Systems, Addition, and Finite Automata.Philipp Hieronymi & Alonza Terry Jr - 2018 - Notre Dame Journal of Formal Logic 59 (2):215-232.
    We present an elementary three-pass algorithm for computing addition in Ostrowski numeration systems. When a is quadratic, addition in the Ostrowski numeration system based on a is recognizable by a finite automaton. We deduce that a subset of X⊆Nn is definable in, where Va is the function that maps a natural number x to the smallest denominator of a convergent of a that appears in the Ostrowski representation based on a of x with a nonzero coefficient if and only if (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Aural Pattern Recognition Experiments and the Subregular Hierarchy.James Rogers & Geoffrey K. Pullum - 2011 - Journal of Logic, Language and Information 20 (3):329-342.
    We explore the formal foundations of recent studies comparing aural pattern recognition capabilities of populations of human and non-human animals. To date, these experiments have focused on the boundary between the Regular and Context-Free stringsets. We argue that experiments directed at distinguishing capabilities with respect to the Subregular Hierarchy, which subdivides the class of Regular stringsets, are likely to provide better evidence about the distinctions between the cognitive mechanisms of humans and those of other species. Moreover, the classes of the (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • The Expressivity of Autosegmental Grammars.Adam Jardine - 2019 - Journal of Logic, Language and Information 28 (1):9-54.
    This paper extends a notion of local grammars in formal language theory to autosegmental representations, in order to develop a sufficiently expressive yet computationally restrictive theory of well-formedness in natural language tone patterns. More specifically, it shows how to define a class ASL\ of stringsets using local grammars over autosegmental representations and a mapping g from strings to autosegmental structures. It then defines a particular class ASL\ using autosegmental representations specific to tone and compares its expressivity to established formal language (...)
    Download  
     
    Export citation  
     
    Bookmark