9 found
Sort by:
  1. Robin Cooper & Aarne Ranta, Natural Languages as Collections of Resources.
    We propose a shift in perspective from the view of natural languages as formal languages to natural languages as a collection of resources for constructing local languages for use in particular situations. This is suggested by our experience constructing natural language grammars for particular applications using the Grammatical Framework. It points to a research programme investigating how such resources play a role in linguistic innovation by agents constructing situation-specific local languages and how they can be made dynamic, modified by the (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Krasimir Angelov, Björn Bringert & Aarne Ranta (2010). Pgf: A Portable Run-Time Format for Type-Theoretical Grammars. [REVIEW] Journal of Logic, Language and Information 19 (2):201-228.
    Portable Grammar Format (PGF) is a core language for type-theoretical grammars. It is the target language to which grammars written in the high-level formalism Grammatical Framework (GF) are compiled. Low-level and simple, PGF is easy to reason about, so that its language-theoretic properties can be established. It is also easy to write interpreters that perform parsing and generation with PGF grammars, and compilers converting PGF to other formats. This paper gives a concise description of PGF, covering syntax, semantics, and parser (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Aarne Ranta (2009). Type Theory and Universal Grammar. Philosophia Scientiae:115-131.
    The paper takes a look at the history of the idea of universal grammar and compares it with multilingual grammars, as formalized in the Grammatical Framework, GF. The constructivist idea of formalizing math- ematics piece by piece, in a weak logical framework, rather than trying to reduce everything to one single strong theory, is the model that guides the development of grammars in GF.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Muhammad Humayoun, Harald Hammarström & Aarne Ranta (2007). Implementing Urdu Grammar as Open Source Software. Corpus 1:23-696.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Aarne Ranta & Robin Cooper (2004). Dialogue Systems as Proof Editors. Journal of Logic, Language and Information 13 (2):225-240.
    This paper shows how a dialogue system for information-seekingdialogues can be implemented in a type-theory-based syntax editor,originally developed for editing mathematical proofs.The implementation gives a simple logical metatheory tosuch dialogue systems and also suggests new functions forthem, e.g., a local undo operation. The method developed provides alogically based declarative way of implementing simple dialoguesystems that is easy to port to new domains.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Aarne Ranta (1998). Syntactic Calculus with Dependent Types. Journal of Logic, Language and Information 7 (4):413-431.
    The aim of this study is to look at the the syntactic calculus of Bar-Hillel and Lambek, including semantic interpretation, from the point of view of constructive type theory. The syntactic calculus is given a formalization that makes it possible to implement it in a type-theoretical proof editor. Such an implementation combines formal syntax and formal semantics, and makes the type-theoretical tools of automatic and interactive reasoning available in grammar.In the formalization, the use of the dependent types of constructive type (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Aarne Ranta (1991). Constructing Possible Worlds. Theoria 57 (1-2):77-99.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Aarne Ranta (1991). Intuitionistic Categorial Grammar. Linguistics and Philosophy 14 (2):203 - 239.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  9. Aarne Ranta (1988). Propositions as Games as Types. Synthese 76 (3):377 - 395.
    Without violating the spirit of Game-Theoretical semantics, its results can be re-worked in Martin-Löf''s Constructive Type Theory by interpreting games as types of Myself''s winning strategies. The philosophical ideas behind Game-Theoretical Semantics in fact highly recommend restricting strategies to effective ones, which is the only controversial step in our interpretation. What is gained, then, is a direct connection between linguistic semantics and computer programming.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation