An Approach to Functional Formal Models of Constraint-Based Lexicalized Grammar

• Autorzy: Loukanova, R.
• Języki publikacji: EN

Abstrakty

EN

This paper is a review of the formal definitions of a description language of functional models of Constraint-Based Lexicalized Grammar (CBLG), with a notion of well-formedness, models of linguistic objects, and the corresponding denotation function. The language uses feature-value descriptions. A formalization of CBLG is presented via definitions of several classes of objects by this formal language using mutual recursion. The core engine of the CBLG formal grammar is a hierarchical type system associated with constraints for representation of linguistic information. The constraints are classified as linguistic principles, grammar rules, lexical entries, lexical rules, and semantic representations. The formal system of CBLG targets a computational approach to human language grammar.

Słowa kluczowe

EN

feature-values; functional formalization; grammar models; natural language; types

• Czasopismo: Fundamenta Informaticae
• Rocznik: 2017
• Tom: Vol. 152, nr 4
• Strony: 341--372
• Opis fizyczny: Bibliogr. 38 poz., wykr.

Twórcy

autor

Loukanova, R.

• Department of Mathematics, Stockholm University, Stockholm, Sweden ,

Bibliografia

• [1] Sag IA, Wasow T, Bender EM. Syntactic Theory: A Formal Introduction. CSLI Publications, Stanford, California, 2003.
• [2] Loukanova R. Semantics with the Language of Acyclic Recursion in Constraint-Based Grammar. In: Bel-Enguix G, Jiménez-López DM (eds.), Bio-Inspired Models for Natural and Formal Languages, pp. 103–134. Cambridge Scholars Publishing, 2011. ISBN: 10:1-4438-2725-8, 13:978-1-4438-2725-6.
• [3] Loukanova R. Reference, Co-reference and Antecedent-anaphora in the Type Theory of Acyclic Recursion. In: Bel-Enguix G, Jiménez-López DM (eds.), Bio-Inspired Models for Natural and Formal Languages, pp. 81–102. Cambridge Scholars Publishing, 2011. ISBN: 10:1-4438-2725-8, 13:978-1-4438-2725-6.
• [4] Loukanova R. From Montague’s Rules of Quantification to Minimal Recursion Semantics and the Language of Acyclic Recursion. In: Bel-Enguix G, Dahl V, Jiménez-López MD (eds.), Biology, Computation and Linguistics—New Interdisciplinary Paradigms, volume 228 of Frontiers in Artificial Intelligence and Applications, pp. 200–214. IOS Press, Amsterdam; Berlin; Tokyo; Washington, DC, 2011. ISBN: 978-1-60750-761-1, 978-1-60750-762-8.
• [5] Loukanova R. Algorithmic Granularity with Constraints. In: Imamura K, Usui S, Shirao T, Kasamatsu T, Schwabe L, Zhong N (eds.), Brain and Health Informatics, volume 8211 of Lecture Notes in Computer Science, pp. 399–408. Springer International Publishing, 2013. ISBN: 978-3-319-02752-4.
• [6] Loukanova R. Specification of Underspecified Quantifiers via Question-Answering by the Theory of Acyclic Recursion. In: Andreasen T, Christiansen H, Kacprzyk J, Larsen H, Pasi G, Pivert O, Tré GD, Vila MA, Yazici A, Zadrożny S (eds.), Flexible Query Answering Systems 2015, volume 400 of Advances in Intelligent Systems and Computing, pp. 57–69. Springer International Publishing, 2016. ISBN: 978-3-319-26153-9.
• [7] Loukanova R. Acyclic Recursion with Polymorphic Types and Underspecification. In: van den Herik J, Filipe J (eds.), Proceedings of the 8th International Conference on Agents and Artificial Intelligence, volume 2. SCITEPRESS — Science and Technology Publications, Lda. 2016 pp. 392–399. ISBN: 978-989-758-172-4.
• [8] Loukanova R. Underspecified Quantification by the Theory of Acyclic Recursion. In: de la Prieta F, Escalona JM, Corchuelo R, Mathieu P, Vale Z, Campbell TA, Rossi S, Adam E, Jiménez-López DM, Navarro ME, Moreno NM (eds.), Trends in Practical Applications of Scalable Multi-Agent Systems, the PAAMS Collection, pp. 237–249. Springer International Publishing, Cham, 2016. ISBN: 978-3-319-40159-1.
• [9] Loukanova R. Situation Theory, Situated Information, and Situated Agents. In: Nguyen NT, Kowalczyk R, Fred A, Joaquim F (eds.), Transactions on Computational Collective Intelligence XVII, volume 8790 of Lecture Notes in Computer Science, pp. 145–170. Springer Berlin Heidelberg, 2014. ISBN: 978-3-662-44993-6.
• [10] Loukanova R. Underspecified Relations with a Formal Language of Situation Theory. In: Loiseau S, Filipe J, Duval B, van den Herik J (eds.), Proceedings of the 7th International Conference on Agents and Artificial Intelligence, volume 1. SCITEPRESS — Science and Technology Publications, Lda, 2015 pp. 298–309. ISBN: 978-989-758-073-4.
• [11] Loukanova R. Representing Parametric Concepts with Situation Theory. In: Maria Ganzha MP Leszek Maciaszek (ed.), Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, volume 5 of Annals of Computer Science and Information Systems. IEEE, (Web), 2015 pp. 89–100. ISBN: 978-83-60810-66-8.
• [12] Loukanova R. A Formalization of Generalized Parameters in Situated Information. In: van den Herik J, Filipe J (eds.), Proceedings of the 8th International Conference on Agents and Artificial Intelligence, volume 1. SCITEPRESS — Science and Technology Publications, Lda, 2016 pp. 343–353. ISBN: 978-989-758-172-4.
• [13] Pollard C, Sag IA. Head-Driven Phrase Structure Grammar. University of Chicago Press, Chicago, IL, 1994. ISBN: 0226674479, 9780226674476.
• [14] Bresnan J. Lexical-Functional Syntax. Blackwell Publishers, Oxford, 2001. ISBN: 0631209735.
• [15] Dalrymple M. Lexical Functional Grammar, volume 34 of Syntax and Semantics. Academic Press, New York, 2001. ISBN: 0126135347, 9780126135343.
• [16] Kroeger P. Analyzing Syntax: A Lexical-Functional Approach. Cambridge University Press, Cambridge, 2004. doi:10.1017/CBO9780511801693.
• [17] Carpenter B. The Logic of Typed Feature Structures, volume 32 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992. ISBN: 13:9780521022545, 10:0521022541.
• [18] King PJ. A logical formalism for Head-Driven Phrase Structure Grammar. Ph.D. thesis, University of Manchester, 1989.
• [19] King PJ. An Expanded Logical Formalism for Head-driven Phrase Structure Grammar. Arbeitspapiere des SFB 340 59, Eberhard-Karls-Universität Tübingen, 1994.
• [20] Richter F. A mathematical formalism for linguistic theories with an application in Head-driven Phrase Structure Grammar. Ph.D. thesis, Eberhard Karls Universität Tübingen, 2000.
• [21] Richter F. Closer to the truth: A new model theory for HPSG. Model-theoretic syntax at, 2007;10:99–108.
• [22] Penn GB. The Algebraic Structure of Attributed Type Signatures. Ph.D. thesis, School of Computer Science, Carnegie Mellon University, 2000.
• [23] Deep Linguistic Processing with HPSG (DELPH-IN). URL http://moin.delph-in.net.
• [24] HPSG at Stanford. URL http://hpsg.stanford.edu.
• [25] CSLI Linguistic Grammars Online (LinGO) Lab at Stanford University. URL http://lingo.stanford.edu.
• [26] German Grammar and General Linguistics. URL http://hpsg.fu-berlin.de.
• [27] HPSG in Tübingen. University of Tübingen. URL http://www.sfs.uni-tuebingen.de/hpsg.
• [28] HPSG Web site at The Ohio State University. URL http://www.ling.ohio-state.edu/research/hpsg.
• [29] The Grammatical Framework GF. URL http://www.grammaticalframework.org.
• [30] Ranta A. Grammatical Framework: Programming with Multilingual Grammars. CSLI Publications, Stanford, 2011. ISBN: 10:1575866269, 13:978-1575866260.
• [31] Loukanova R. A New Perspective of Abstract Syntax with the Grammatical Framework GF. In: Ganchev H, Löwe B, Norman D, Soskov I, Soskova M (eds.), CiE 2011: Models of Computation in Context. Abstract and Handout Booklet, pp. 134–144. “St. Kliment Ohridski” University Press, Sofia University. Sofia, 2011. Bulgaria. ISBN: 978-954-07-3232-9.
• [32] Baldwin T, Beavers J, Bender EM, Flickinger D, Kim A, Oepen S. Beauty and the Beast: What running a broad-coverage precision grammar over the BNC taught us about the grammar — and the corpus. In: Kepser S, Reis M (eds.), Linguistic Evidence: Empirical, Theoretical, and Computational Perspectives, pp. 49–70. Mouton de Gruyter, Berlin, 2005.
• [33] Sailer M. Combinatorial Semantics and Idiomatic Expressions in Head-Driven Phrase Structure Grammar. Ph.D. thesis, Dissertation (2000). Arbeitspapiere des SFB 340. 161, Eberhard-Karls-Universität Tübingen, 2003.
• [34] Richter F, Sailer M. Basic concepts of lexical resource semantics. In: ESSLLI. Citeseer, 2003 pp. 87–143. ISBN: 3-901546-00-6.
• [35] Copestake A, Flickinger D, Pollard C, Sag I. Minimal recursion semantics: an introduction. Research on Language and Computation, 2005;3(2):281–332. doi:10.1007/s11168-006-6327-9.
• [36] Barwise J, Perry J. Situations and Attitudes. Cambridge, MA:MIT press, 1983. Republished as [38].
• [37] Hodges W. A shorter model theory. Cambridge university press, 1997. ISBN: 0521587131, 9780521587136.
• [38] Barwise J, Perry J. Situations and Attitudes. The Hume Series. CSLI Publications, Stanford, California, 1999. ISBN: 13:978-1575861937, 10:1575861933.

Identyfikatory

DOI

10.3233/FI-2017-1524