Minimal Recursion Semantics and the Language of Acyclic Recursion

Roussanka Loukanova

2011

Abstract

Moschovakis (2003-2006) developed a logical calculus of the formal language Lλar of acyclic recursion, which is a type-theoretical work with many potential applications. On the implementation side, large-scale grammars for human languages, e.g. versions of HPSG, have been using semantic representations casted in the feature-value language Minimal Recursion Semantics (MRS).While lacking strict formalization, MRS represents successfully ambiguous quantifier scoping. In this paper, we introduce the basic definitions of MRS by reflecting on possibilities for formalization of MRS with a version of the language Lλar .

References

  1. Barwise, J., Perry, J.: Situations and Attitudes. Cambridge, MA: MIT press. Republished in 1999 by The David Hume Series of Philosophy and Cognitive Science Reissues. (1983)
  2. Bunt, H.: Semantic Underspecification: Which Technique for What Purpose? In: Bunt, H., Muskens, R. (eds.): Computing Meaning, Vol. 3. Studies in Linguistics and Philosophy 83. Springer, Dordrecht (2007) 55-85
  3. Copestake, A., Flickinger, D., Pollard, C., Sag, I. A.: Minimal Recursion Semantics: an Introduction. Research on Language and Computation 3.4 (2006) 281-332
  4. Loukanova, R.: Generalized Quantification in Situation Semantics. In: Gelbukh, A. (ed.): Computational Linguistics and Intelligent Text Processing. Lecture Notes in Computer Science, Vol. 2276. Springer Berlin Heidelberg (2002) 173-210
  5. Loukanova, R.: Typed Lambda Language of Acyclic Recursion and Scope Underspecification. In: Muskens R. (Ed.) Workshop on New Directions in Type-theoretic Grammars. (2007) 73-89
  6. Loukanova, R.: Constraint Based Grammar and Semantic Representation with The Language of Acyclic Recursion. In: Bel-Enguix, G., Jiménez-L ópez M.D. (Eds.): Proceedings of the International Workshop on Non-classical Formal Languages in Linguistics. (2008) 57-70
  7. Loukanova, R.: Semantics with the Language of Acyclic Recursion in Constraint-Based Grammar. In: Bel-Enguix, G., Jiménez-L ópez M. D. (Eds.): Bio-Inspired Models for Natural and Formal Languages. Cambridge Scholars Publishing. (to appear)
  8. Montague, R.: Formal Philosophy. Thomason, R. H. (ed.): Selected papers of Richard Montague. Yale University Press. New Haven and London. (1974)
  9. Moschovakis, Y. N.: A logical calculus of meaning and synonymy. Linguistics and Philosophy, Vol. 29 (2006) 27-89
  10. Muskens, R.: Underspecified semantics. In: Egli, U, von Heusinger, K. (ed.): Reference and Anaphoric Relations. Studies in Linguistics and Philosophy, Vol. 72. Kluwer (1999) 311-338
  11. Pollard, C., Sag, I. A.: Head-Driven Phrase Structure Grammar. Chicago: University of Chicago Press (1994)
  12. Ranta, A.: Grammatical framework: A type-theoretical grammar formalism. Journal of Functional Programming, 44 (2004) 12-36
  13. Ranta, A.: The GF Resource Grammar Library. Linguistic Issues in Language Technology, 2(2). (2009)
  14. Sag, I. A., Wasow, Th., Bender, E. M.: Syntactic Theory - A Formal Introduction. 2nd edn. Stanford: CSLI Publications (2003)
Download


Paper Citation


in Harvard Style

Loukanova R. (2011). Minimal Recursion Semantics and the Language of Acyclic Recursion . In Proceedings of the 1st International Workshop on AI Methods for Interdisciplinary Research in Language and Biology - Volume 1: BILC, (ICAART 2011) ISBN 978-989-8425-42-3, pages 88-97. DOI: 10.5220/0003309800880097


in Bibtex Style

@conference{bilc11,
author={Roussanka Loukanova},
title={Minimal Recursion Semantics and the Language of Acyclic Recursion},
booktitle={Proceedings of the 1st International Workshop on AI Methods for Interdisciplinary Research in Language and Biology - Volume 1: BILC, (ICAART 2011)},
year={2011},
pages={88-97},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003309800880097},
isbn={978-989-8425-42-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Workshop on AI Methods for Interdisciplinary Research in Language and Biology - Volume 1: BILC, (ICAART 2011)
TI - Minimal Recursion Semantics and the Language of Acyclic Recursion
SN - 978-989-8425-42-3
AU - Loukanova R.
PY - 2011
SP - 88
EP - 97
DO - 10.5220/0003309800880097