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 = {Kristina Strother-Garcia and Jerey Heinz and Hyun Jin Hwangbo}, booktitle = {Proceedings of The 13th International Conference on Grammatical Inference}, pages = {66--78}, year = {2017}, editor = {Sicco Verwer and Menno van Zaanen and Rick Smetsers}, 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 %J Proceedings of Machine Learning Research %P 66--78 %U http://proceedings.mlr.press %V 57 %W PMLR %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 PY - 2017/01/16 DA - 2017/01/16 ED - Sicco Verwer ED - Menno van Zaanen ED - Rick Smetsers ID - pmlr-v57-strother-garcia16 PB - PMLR SP - 66 DP - PMLR 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 PMLR 57:66-78

Related Material