Using Model Theory for Grammatical Inference: a Case Study from Phonology

Kristina Strother-Garcia, Jerey Heinz, Hyun Jin Hwangbo
Proceedings of The 13th International Conference on Grammatical Inference, PMLR 57:66-78, 2017.

Abstract

This paper examines the characterization and learning of grammars defined by conjunctions of negative and positive literals (CNPL) where the literals correspond to structures in an enriched model theory of strings. CNPL logic represents an intermediate between conjunctions of negative literals (CNL) and a propositional-style logic, both of which have been well-studied in terms of the language classes they describe. Model-theoretic approaches to formal language theory have traditionally assumed that each position in a string belongs to exactly one unary relation. Using enriched models (which do no satisfy this assumption) presents a new avenue for investigation with potential applications in several fields including linguistics, planning and control, and molecular biology. We demonstrate the value of such structures and CNPL logic with a particular learning problem in phonology.

Cite this Paper

BibTeX
@InProceedings{pmlr-v57-strother-garcia16, title = {Using Model Theory for Grammatical Inference: a Case Study from Phonology}, author = {Strother-Garcia, Kristina and Heinz, Jerey and Hwangbo, Hyun Jin}, booktitle = {Proceedings of The 13th International Conference on Grammatical Inference}, pages = {66--78}, year = {2017}, editor = {Verwer, Sicco and Zaanen, Menno van and Smetsers, Rick}, volume = {57}, series = {Proceedings of Machine Learning Research}, address = {Delft, The Netherlands}, month = {05--07 Oct}, publisher = {PMLR}, pdf = {http://proceedings.mlr.press/v57/strother-garcia16.pdf}, url = {http://proceedings.mlr.press/v57/strother-garcia16.html}, abstract = {This paper examines the characterization and learning of grammars defined by conjunctions of negative and positive literals (CNPL) where the literals correspond to structures in an enriched model theory of strings. CNPL logic represents an intermediate between conjunctions of negative literals (CNL) and a propositional-style logic, both of which have been well-studied in terms of the language classes they describe. Model-theoretic approaches to formal language theory have traditionally assumed that each position in a string belongs to exactly one unary relation. Using enriched models (which do no satisfy this assumption) presents a new avenue for investigation with potential applications in several fields including linguistics, planning and control, and molecular biology. We demonstrate the value of such structures and CNPL logic with a particular learning problem in phonology.} }
Endnote
%0 Conference Paper %T Using Model Theory for Grammatical Inference: a Case Study from Phonology %A Kristina Strother-Garcia %A Jerey Heinz %A Hyun Jin Hwangbo %B Proceedings of The 13th International Conference on Grammatical Inference %C Proceedings of Machine Learning Research %D 2017 %E Sicco Verwer %E Menno van Zaanen %E Rick Smetsers %F pmlr-v57-strother-garcia16 %I PMLR %P 66--78 %U http://proceedings.mlr.press/v57/strother-garcia16.html %V 57 %X This paper examines the characterization and learning of grammars defined by conjunctions of negative and positive literals (CNPL) where the literals correspond to structures in an enriched model theory of strings. CNPL logic represents an intermediate between conjunctions of negative literals (CNL) and a propositional-style logic, both of which have been well-studied in terms of the language classes they describe. Model-theoretic approaches to formal language theory have traditionally assumed that each position in a string belongs to exactly one unary relation. Using enriched models (which do no satisfy this assumption) presents a new avenue for investigation with potential applications in several fields including linguistics, planning and control, and molecular biology. We demonstrate the value of such structures and CNPL logic with a particular learning problem in phonology.
RIS
TY - CPAPER TI - Using Model Theory for Grammatical Inference: a Case Study from Phonology AU - Kristina Strother-Garcia AU - Jerey Heinz AU - Hyun Jin Hwangbo BT - Proceedings of The 13th International Conference on Grammatical Inference DA - 2017/01/16 ED - Sicco Verwer ED - Menno van Zaanen ED - Rick Smetsers ID - pmlr-v57-strother-garcia16 PB - PMLR DP - Proceedings of Machine Learning Research VL - 57 SP - 66 EP - 78 L1 - http://proceedings.mlr.press/v57/strother-garcia16.pdf UR - http://proceedings.mlr.press/v57/strother-garcia16.html AB - This paper examines the characterization and learning of grammars defined by conjunctions of negative and positive literals (CNPL) where the literals correspond to structures in an enriched model theory of strings. CNPL logic represents an intermediate between conjunctions of negative literals (CNL) and a propositional-style logic, both of which have been well-studied in terms of the language classes they describe. Model-theoretic approaches to formal language theory have traditionally assumed that each position in a string belongs to exactly one unary relation. Using enriched models (which do no satisfy this assumption) presents a new avenue for investigation with potential applications in several fields including linguistics, planning and control, and molecular biology. We demonstrate the value of such structures and CNPL logic with a particular learning problem in phonology. ER -
APA
Strother-Garcia, K., Heinz, J. & Hwangbo, H.J.. (2017). Using Model Theory for Grammatical Inference: a Case Study from Phonology. Proceedings of The 13th International Conference on Grammatical Inference, in Proceedings of Machine Learning Research 57:66-78 Available from http://proceedings.mlr.press/v57/strother-garcia16.html.

Related Material