Order:
Disambiguations
Sean A. Fulop [4]Sean Fulop [1]
  1.  38
    Semantic Bootstrapping of Type-Logical Grammar.Sean A. Fulop - 2004 - Journal of Logic, Language and Information 14 (1):49-86.
    A two-stage procedure is described which induces type-logical grammar lexicons from sentences annotated with skeletal terms of the simply typed lambda calculus. First, a generalized formulae-as-types correspondence is exploited to obtain all the type-logical proofs of the sample sentences from their lambda terms. The resulting lexicons are then optimally unified. The first stage constitutes the semantic bootstrapping (Pinker, Language Learnability and Language Development, Harvard University Press, 1984), while the unification procedure of Buszkowski and Penn represents a first attempt at structure-dependent (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  73
    Editors' Introduction: Why Formal Learning Theory Matters for Cognitive Science.Sean Fulop & Nick Chater - 2013 - Topics in Cognitive Science 5 (1):3-12.
    This article reviews a number of different areas in the foundations of formal learning theory. After outlining the general framework for formal models of learning, the Bayesian approach to learning is summarized. This leads to a discussion of Solomonoff's Universal Prior Distribution for Bayesian learning. Gold's model of identification in the limit is also outlined. We next discuss a number of aspects of learning theory raised in contributed papers, related to both computational and representational complexity. The article concludes with a (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  3.  8
    Erratum To: Grammar Induction by Unification of Type-Logical Lexicons. [REVIEW]Sean A. Fulop - 2011 - Journal of Logic, Language and Information 20 (1):135-136.
  4.  35
    Grammar Induction by Unification of Type-Logical Lexicons.Sean A. Fulop - 2010 - Journal of Logic, Language and Information 19 (3):353-381.
    A method is described for inducing a type-logical grammar from a sample of bare sentence trees which are annotated by lambda terms, called term-labelled trees . Any type logic from a permitted class of multimodal logics may be specified for use with the procedure, which induces the lexicon of the grammar including the grammatical categories. A first stage of semantic bootstrapping is performed, which induces a general form lexicon from the sample of term-labelled trees using Fulop’s (J Log Lang Inf (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  16
    Semantic Bootstrapping of Type-Logical Grammar.Sean A. Fulop - 2004 - Journal of Logic, Language and Information 14 (1):49-86.
    A two-stage procedure is described which induces type-logical grammar lexicons from sentences annotated with skeletal terms of the simply typed lambda calculus. First, a generalized formulae-as-types correspondence is exploited to obtain all the type-logical proofs of the sample sentences from their lambda terms. The resulting lexicons are then optimally unified. The first stage constitutes the semantic bootstrapping, while the unification procedure of Buszkowski and Penn represents a first attempt at structure-dependent distributional learning of the syntactic and semantic categories. This effort (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark