Characterizing Syllable Well-Formedness Using Inviolable Constraints - - PowerPoint PPT Presentation

characterizing syllable well formedness using inviolable
SMART_READER_LITE
LIVE PREVIEW

Characterizing Syllable Well-Formedness Using Inviolable Constraints - - PowerPoint PPT Presentation

Characterizing Syllable Well-Formedness Using Inviolable Constraints over Formal Word Models Kristina Strother-Garcia University of Delaware May 8, 2016 K. Strother-Garcia (UD) NAPhC 2016 May 8, 2016 1 / 84 Outline Motivation 1 Toolkit:


slide-1
SLIDE 1

Characterizing Syllable Well-Formedness Using Inviolable Constraints over Formal Word Models

Kristina Strother-Garcia

University of Delaware

May 8, 2016

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 1 / 84

slide-2
SLIDE 2

Outline

1

Motivation

2

Toolkit: Word Models

3

Universal Constraints Universal Structural Well-Formedness Constraints The Sonority Sequencing Principle

4

Language-Specific Constraints

5

Discussion

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 2 / 84

slide-3
SLIDE 3

Outline

1

Motivation

2

Toolkit: Word Models

3

Universal Constraints Universal Structural Well-Formedness Constraints The Sonority Sequencing Principle

4

Language-Specific Constraints

5

Discussion

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 3 / 84

slide-4
SLIDE 4

The Present Research Program

  • Expresses constraints in formal logic
  • Represents phonological structures using word models and graphs,

in addition to strings

  • Goals:
  • Formalize patterns already described in other frameworks
  • Formalize patterns that have been difficult to capture in other

frameworks

  • Evaluate the relative merits of different formalizations in a

principled way

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 4 / 84

slide-5
SLIDE 5

Why Use These Formalizations?

  • Maximally explicit descriptions make clear, falsifiable predictions
  • Constraints expressed in logical formulae describe established

language classes of known computational power, allowing us to:

  • Make principled distinctions between what is possible (attested)

and impossible (unattested)

  • Evaluate under- and over-generation problems and learnability in

existing theoretical treatments

  • Several theorists have noted the value of formal logic in theoretical

phonology (e.g., Graf, 2010a, 2010b; Heinz, 2011; Potts & Pullum, 2002; Scobbie, 1991)

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 5 / 84

slide-6
SLIDE 6

Computational Locality

  • Computationally local constraints are evaluated over a small

window, not globally over the entire word

  • Example: [#bn] is a banned substructure in English
  • To check if a word contains this substructure, we only need to look

at three adjacent positions at a time

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 6 / 84

slide-7
SLIDE 7

Computational Locality

  • Computationally local constraints are evaluated over a small

window, not globally over the entire word

  • Example: [#bn] is a banned substructure in English
  • To check if a word contains this substructure, we only need to look

at three adjacent positions at a time

#bnIk#

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 7 / 84

slide-8
SLIDE 8

Computational Locality

  • Computationally local constraints are evaluated over a small

window, not globally over the entire word

  • Example: [#bn] is a banned substructure in English
  • To check if a word contains this substructure, we only need to look

at three adjacent positions at a time

#bnIk#

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 8 / 84

slide-9
SLIDE 9

Why Locality Matters

  • Shrinks the hypothesis space of phonology to a highly restricted

class of patterns (McNaughton, 1971; Rogers & Pullum, 2011; Rogers et al., 2013; Heinz, 2011; Heinz, Rawal, & Tanner, 2011)

  • Certain types of computationally local patterns have been shown

to be learnable (e.g., Heinz, 2010a, 2010b; Jardine, Chandlee, Eyraud, & Heinz, 2014; Jardine & Heinz, 2016)

  • Prevents counting ad infinitum, which rules out patterns like

Majority Rules (Gainor, Lai, & Heinz, 2012; Lombardi, 1999)

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 9 / 84

slide-10
SLIDE 10

Previous Work on Locality in Phonology

Computationally local1 constraints and functions have already been used to describe:

  • Local (Heinz, 2007, 2009) and long-distance (Heinz, 2010a;

Heinz, Rawal, & Tanner, 2011) phonotactics

  • Transformations from underlying representations to surface forms

(Chandlee, 2014)

  • Tone well-formedness patterns, including some that OT cannot

account for (Jardine, 2016)

1Works referenced here describe constraints and functions that are SL, SP, TSL, LT,

and GSL - not all SL, but local in a principled way.

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 10 / 84

slide-11
SLIDE 11

Case Study: Syllable Well-Formedness

As a step towards improving the exhaustivity of our theory, we offer an account of syllable well-formedness. We have good reason to believe that much of phonology is local, so we would like to do this without referring to any non-local relations. This talk will:

1 Introduce a model-theoretic representation of syllable structure 2 Formalize some universal well-formedness constraints 3 Formalize some language-specific well-formedness constraints

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 11 / 84

slide-12
SLIDE 12

Outline

1

Motivation

2

Toolkit: Word Models

3

Universal Constraints Universal Structural Well-Formedness Constraints The Sonority Sequencing Principle

4

Language-Specific Constraints

5

Discussion

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 12 / 84

slide-13
SLIDE 13

Modeling Syllable Structure

  • We use formal word models to represent syllable structure in the

tradition of ternary branching representations (e.g., Davis, 1985)

  • We focus on surface constraints on the well-formedness of these

structures

  • This framework can, in principle, accommodate a model of the

syllabification process2, but this is not the goal of the present work

2For similar work on UR-SR mappings, see Chandlee, 2014

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 13 / 84

slide-14
SLIDE 14

Elements of the Word Model

σ nuc 2

  • ns

1 cod 3 C 4 V 5 C 6

δ δ δ δ δ δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 14 / 84

slide-15
SLIDE 15

Elements of the Word Model: Alphabet

σ nuc 2

  • ns

1 cod 3 C 4 V 5 C 6

δ δ δ δ δ δ

  • Alphabet, Σ

A set of node labels Σ = {C, V, ons, nuc, cod, σ}

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 15 / 84

slide-16
SLIDE 16

Elements of the Word Model: Domain

σ nuc 2

  • ns

1 cod 3 C 4 V 5 C 6

δ δ δ δ δ δ

  • Domain, D

A set of node positions D = {0, 1, 2, 3, 4, 5, 6}

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 16 / 84

slide-17
SLIDE 17

Elements of the Word Model: Labeling Relations

σ nuc 2

  • ns

1 cod 3 C 4 V 5 C 6

δ δ δ δ δ δ

  • Labeling Relations (unary)
  • σ(x): node x is labeled σ
  • ons(x): node x is labeled ons
  • ...etc.
  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 17 / 84

slide-18
SLIDE 18

Elements of the Word Model: Labeling Examples

σ nuc 2

  • ns

1 cod 3 C 4 V 5 C 6

δ δ δ δ δ δ

  • Examples
  • σ(0): node 0 is labeled σ
  • C(4): node 4 is labeled C
  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 18 / 84

slide-19
SLIDE 19

Elements of the Word Model: Dominance Relation

σ nuc 2

  • ns

1 cod 3 C 4 V 5 C 6

δ δ δ δ δ δ

  • Immediate Dominance Relation

(binary) δ(x, y): x immediately dominates y.

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 19 / 84

slide-20
SLIDE 20

Elements of the Word Model: Dominance Example

σ nuc 2

  • ns

1 cod 3 C 4 V 5 C 6

δ δ δ δ δ δ

  • Example

δ(0, 2): node 0 immediately dominates node 2.

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 20 / 84

slide-21
SLIDE 21

Elements of the Word Model: Precedence Relation

σ nuc 2

  • ns

1 cod 3 C 4 V 5 C 6

δ δ δ δ δ δ

  • Immediate Precedence Relation

(binary) (x, y): x immediately precedes y.

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 21 / 84

slide-22
SLIDE 22

Elements of the Word Model: Precedence Example

σ nuc 2

  • ns

1 cod 3 C 4 V 5 C 6

δ δ δ δ δ δ

  • Example

(4, 5): node 4 immediately precedes node 5.

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 22 / 84

slide-23
SLIDE 23

Simplifying the Visual Representation

For clarity in the remaining graphical representations of word models, we will sometimes omit:

  • Position numbers
  • Immediate precedence edges between ons, nuc, and cod

σ nuc

  • ns

cod C V C

δ δ δ δ δ δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 23 / 84

slide-24
SLIDE 24

Outline

1

Motivation

2

Toolkit: Word Models

3

Universal Constraints Universal Structural Well-Formedness Constraints The Sonority Sequencing Principle

4

Language-Specific Constraints

5

Discussion

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 24 / 84

slide-25
SLIDE 25

Outline

1

Motivation

2

Toolkit: Word Models

3

Universal Constraints Universal Structural Well-Formedness Constraints The Sonority Sequencing Principle

4

Language-Specific Constraints

5

Discussion

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 25 / 84

slide-26
SLIDE 26

Universal Structural Well-Formedness Constraints

Sticking to canonical syllable types for now (e.g., no ambisyllabicity, extrasyllabicity, etc.), we can establish some universal constraints on syllable structure.

  • Every syllable has exactly one nucleus
  • An onset must immediately precede a nucleus
  • A coda must immediately follow a nucleus
  • ...and so on
  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 26 / 84

slide-27
SLIDE 27

Universal Structural Well-Formedness Constraints

Sticking to canonical syllable types for now (e.g., no ambisyllabicity, extrasyllabicity, etc.), we can establish some universal constraints on syllable structure.

  • Every syllable has exactly one nucleus
  • An onset must immediately precede a nucleus
  • A coda must immediately follow a nucleus
  • ...and so on

We will formalize the first of these constraints in detail.

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 27 / 84

slide-28
SLIDE 28

Exactly One Nucleus

This breaks down into two constraints:

1 NUCLEUS REQUIRED 2 NUCLEUS UNIQUE

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 28 / 84

slide-29
SLIDE 29

NUCLEUS REQUIRED

(∀x)[σ(x)] → (∃y)[nuc(y) ∧ δ(x, y)] For all nodes x labeled σ, there exists a node y labeled nuc and x dominates y. σ x nuc y

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 29 / 84

slide-30
SLIDE 30

NUCLEUS REQUIRED

(∀x)[σ(x)] → (∃y)[nuc(y) ∧ δ(x, y)] For all nodes x labeled σ, there exists a node y labeled nuc and x dominates y. σ x nuc y

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 30 / 84

slide-31
SLIDE 31

NUCLEUS REQUIRED

(∀x)[σ(x)] → (∃y)[nuc(y) ∧ δ(x, y)] For all nodes x labeled σ, there exists a node y labeled nuc and x dominates y. σ x nuc y

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 31 / 84

slide-32
SLIDE 32

NUCLEUS REQUIRED

(∀x)[σ(x)] → (∃y)[nuc(y) ∧ δ(x, y)] For all nodes x labeled σ, there exists a node y labeled nuc and x dominates y. σ x nuc y

δ

Note: This constraint refers to a connected subgraph of size 2, which is analogous to a substring of size 2.

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 32 / 84

slide-33
SLIDE 33

NUCLEUS UNIQUE

(∀x, y, z)[σ(x) ∧ nuc(y) ∧ nuc(z) ∧ δ(x, y) ∧ δ(x, z)] → y = z For all nodes x, y, z, if x is labeled sigma, and y is labeled nuc, and z is labeled nuc, and x dominates y, and x dominates z, then y = z. σ x nuc y nuc z

δ δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 33 / 84

slide-34
SLIDE 34

NUCLEUS UNIQUE

(∀x, y, z)[σ(x) ∧ nuc(y) ∧ nuc(z) ∧ δ(x, y) ∧ δ(x, z)] → y = z For all nodes x, y, z, if x is labeled sigma, and y is labeled nuc, and z is labeled nuc, and x dominates y, and x dominates z, then y = z. σ x nuc y nuc z

δ δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 34 / 84

slide-35
SLIDE 35

NUCLEUS UNIQUE

(∀x, y, z)[σ(x) ∧ nuc(y) ∧ nuc(z) ∧ δ(x, y) ∧ δ(x, z)] → y = z For all nodes x, y, z, if x is labeled sigma, and y is labeled nuc, and z is labeled nuc, and x dominates y, and x dominates z, then y = z. σ x nuc y nuc z

δ δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 35 / 84

slide-36
SLIDE 36

NUCLEUS UNIQUE

(∀x, y, z)[σ(x) ∧ nuc(y) ∧ nuc(z) ∧ δ(x, y) ∧ δ(x, z)] → y = z For all nodes x, y, z, if x is labeled sigma, and y is labeled nuc, and z is labeled nuc, and x dominates y, and x dominates z, then y = z. σ x nuc y, z

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 36 / 84

slide-37
SLIDE 37

NUCLEUS UNIQUE

(∀x, y, z)[σ(x) ∧ nuc(y) ∧ nuc(z) ∧ δ(x, y) ∧ δ(x, z)] → y = z For all nodes x, y, z, if x is labeled sigma, and y is labeled nuc, and z is labeled nuc, and x dominates y, and x dominates z, then y = z. σ x nuc y, z

δ

Note: This constraint refers to a connected subgraph of size 3.

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 37 / 84

slide-38
SLIDE 38

Extending This Model

Other structural well-formedness constraints can be formalized in a similar way

  • Given a particular substructure, certain relations must hold and
  • thers must not
  • Certain substructures are banned altogether
  • These types of constraints are all describable in First Order Logic

(or less powerful logics)

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 38 / 84

slide-39
SLIDE 39

Outline

1

Motivation

2

Toolkit: Word Models

3

Universal Constraints Universal Structural Well-Formedness Constraints The Sonority Sequencing Principle

4

Language-Specific Constraints

5

Discussion

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 39 / 84

slide-40
SLIDE 40

Formalizing the Sonority Sequencing Principle

We take the following steps to formalize the SSP:

1 Define a binary sonority relation between segment types that are

  • nly one step away from each other in the sonority hierarchy

2 Extend this to a transitive relation of lesser sonority, in line with

the traditional notion of the sonority hierarchy

3 Develop a set of predicates that enforce rising sonority from onset

to nucleus and falling sonority from nucleus to coda

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 40 / 84

slide-41
SLIDE 41

The Strict Sonority Hierarchy

IMMEDIATELY LESS SONOROUS son(x, y)

def

= [obs(x) ∧ nas(y)] ∨[nas(x) ∧ app(y)] ∨[app(x) ∧ V(y)] x is immediately less sonorous than y if:

  • x is an obstruent and y is a nasal
  • or x is a nasal and y is an approximant
  • or x is an approximant and y is a vowel3

3For brevity, we refer to only these four natural classes

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 41 / 84

slide-42
SLIDE 42

The Strict Sonority Hierarchy

IMMEDIATELY LESS SONOROUS son(x, y)

def

= [obs(x) ∧ nas(y)] ∨[nas(x) ∧ app(y)] ∨[app(x) ∧ V(y)] x is immediately less sonorous than y if:

  • x is an obstruent and y is a nasal
  • or x is a nasal and y is an approximant
  • or x is an approximant and y is a vowel
  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 42 / 84

slide-43
SLIDE 43

The Strict Sonority Hierarchy

IMMEDIATELY LESS SONOROUS son(x, y)

def

= [obs(x) ∧ nas(y)] ∨[nas(x) ∧ app(y)] ∨[app(x) ∧ V(y)] x is immediately less sonorous than y if:

  • x is an obstruent and y is a nasal
  • or x is a nasal and y is an approximant
  • or x is an approximant and y is a vowel
  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 43 / 84

slide-44
SLIDE 44

The Strict Sonority Hierarchy

IMMEDIATELY LESS SONOROUS son(x, y)

def

= [obs(x) ∧ nas(y)] ∨[nas(x) ∧ app(y)] ∨[app(x) ∧ V(y)] x is immediately less sonorous than y if:

  • x is an obstruent and y is a nasal
  • or x is a nasal and y is an approximant
  • or x is an approximant and y is a vowel
  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 44 / 84

slide-45
SLIDE 45

The Strict Sonority Hierarchy

IMMEDIATELY LESS SONOROUS son(x, y)

def

= [obs(x) ∧ nas(y)] ∨[nas(x) ∧ app(y)] ∨[app(x) ∧ V(y)] x is immediately less sonorous than y if:

  • x is an obstruent and y is a nasal
  • or x is a nasal and y is an approximant
  • or x is an approximant and y is a vowel
  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 45 / 84

slide-46
SLIDE 46

The Strict Sonority Hierarchy

IMMEDIATELY LESS SONOROUS son(x, y)

def

= [obs(x) ∧ nas(y)] ∨[nas(x) ∧ app(y)] ∨[app(x) ∧ V(y)] Note: Obstruents are not immediately less sonorous than vowels, for example - we need a transitive relation to describe that.

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 46 / 84

slide-47
SLIDE 47

The Sonority Hierarchy with Transitivity

LESS SONOROUS son<(x, y) is the transitive closure of son(x, y). (∀x, y, z)[son<(x, y) ∧ son<(y, z)] → son<(x, z) For all nodes x, y, z, if x is less sonorous than y, and y is less sonorous than z, then x is less sonorous than z. Example Obstruents are less sonorous than nasals. Nasals are less sonorous than vowels. Therefore, obstruents are less sonorous than vowels.

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 47 / 84

slide-48
SLIDE 48

The Sonority Hierarchy with Transitivity

LESS SONOROUS son<(x, y) is the transitive closure of son(x, y). (∀x, y, z)[son<(x, y) ∧ son<(y, z)] → son<(x, z) For all nodes x, y, z, if x is less sonorous than y, and y is less sonorous than z, then x is less sonorous than z. Example Obstruents are less sonorous than nasals. Nasals are less sonorous than vowels. Therefore, obstruents are less sonorous than vowels.

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 48 / 84

slide-49
SLIDE 49

The Sonority Hierarchy with Transitivity

LESS SONOROUS son<(x, y) is the transitive closure of son(x, y). (∀x, y, z)[son<(x, y) ∧ son<(y, z)] → son<(x, z) For all nodes x, y, z, if x is less sonorous than y, and y is less sonorous than z, then x is less sonorous than z. Example Obstruents are less sonorous than nasals. Nasals are less sonorous than vowels. Therefore, obstruents are less sonorous than vowels.

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 49 / 84

slide-50
SLIDE 50

The Sonority Hierarchy with Transitivity

LESS SONOROUS son<(x, y) is the transitive closure of son(x, y). (∀x, y, z)[son<(x, y) ∧ son<(y, z)] → son<(x, z) For all nodes x, y, z, if x is less sonorous than y, and y is less sonorous than z, then x is less sonorous than z. Example Obstruents are less sonorous than nasals. Nasals are less sonorous than vowels. Therefore, obstruents are less sonorous than vowels.

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 50 / 84

slide-51
SLIDE 51

The SSP

Using son<(x, y) as a starting point, the SSP can be formulated in two parts:

1 SON RISE RIGHT: Sonority must rise rightward from the onset 2 SON RISE LEFT: Sonority must rise leftward from the coda

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 51 / 84

slide-52
SLIDE 52

SON RISE LEFT

(∀x, y, z)[cod(x) ∧ δ(x, y) ∧ (z, y)] → son<(y, z) For all nodes x, y, z, if x is labeled cod, and x dominates y, and z precedes y, then y is less sonorous than z. cod x y z

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 52 / 84

slide-53
SLIDE 53

SON RISE LEFT

(∀x, y, z)[cod(x) ∧ δ(x, y) ∧ (z, y)] → son<(y, z) For all nodes x, y, z, if x is labeled cod, and x dominates y, and z precedes y, then y is less sonorous than z. cod x y z

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 53 / 84

slide-54
SLIDE 54

SON RISE LEFT

(∀x, y, z)[cod(x) ∧ δ(x, y) ∧ (z, y)] → son<(y, z) For all nodes x, y, z, if x is labeled cod, and x dominates y, and z precedes y, then y is less sonorous than z. cod x y z

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 54 / 84

slide-55
SLIDE 55

SON RISE LEFT

(∀x, y, z)[cod(x) ∧ δ(x, y) ∧ (z, y)] → son<(y, z) For all nodes x, y, z, if x is labeled cod, and x dominates y, and z precedes y, then y is less sonorous than z. cod x y z

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 55 / 84

slide-56
SLIDE 56

SON RISE RIGHT

(∀x, y, z)[ons(x) ∧ δ(x, y) ∧ (y, z)] → son<(y, z) For all nodes x, y, z, if x is labeled ons, and x dominates y, and y precedes z, then y is less sonorous than z.

  • ns

x y z

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 56 / 84

slide-57
SLIDE 57

SON RISE RIGHT

(∀x, y, z)[ons(x) ∧ δ(x, y) ∧ (y, z)] → son<(y, z) For all nodes x, y, z, if x is labeled ons, and x dominates y, and y precedes z, then y is less sonorous than z. nuc x y z

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 57 / 84

slide-58
SLIDE 58

SON RISE RIGHT

(∀x, y, z)[ons(x) ∧ δ(x, y) ∧ (y, z)] → son<(y, z) For all nodes x, y, z, if x is labeled ons, and x dominates y, and y precedes z, then y is less sonorous than z.

  • ns

x y z

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 58 / 84

slide-59
SLIDE 59

SON RISE RIGHT

(∀x, y, z)[ons(x) ∧ δ(x, y) ∧ (y, z)] → son<(y, z) For all nodes x, y, z, if x is labeled ons, and x dominates y, and y precedes z, then y is less sonorous than z.

  • ns

x y z

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 59 / 84

slide-60
SLIDE 60

Outline

1

Motivation

2

Toolkit: Word Models

3

Universal Constraints Universal Structural Well-Formedness Constraints The Sonority Sequencing Principle

4

Language-Specific Constraints

5

Discussion

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 60 / 84

slide-61
SLIDE 61

CV Phonology

Key insights from previous accounts of CV phonology (e.g., Clements, 1983; Jakobson, 1962; McCarthy, 1985):

  • Some languages have onsets, some have codas, and some have

both or neither

  • No languages ban onsets
  • No languages require codas
  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 61 / 84

slide-62
SLIDE 62

Language-Specific Structural Well-Formedness Constraints

In every language, one, both, or neither of these constraints holds at the surface level.

  • ONSET REQUIRED
  • CODA FORBIDDEN

Note: These differ from OT ONSET and NOCODA in that they are inviolable constraints. Combinations of ONSET REQUIRED and CODA FORBIDDEN describe formal graph sets that may be extensionally identical to those produced from a certain ranking of violable constraints.

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 62 / 84

slide-63
SLIDE 63

ONSET REQUIRED

(∀x)[σ(x)] → (∃y)[ons(y) ∧ δ(x, y)] For all nodes x labeled σ, there exists a node y labeled ons and x dominates y. σ x

  • ns

y

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 63 / 84

slide-64
SLIDE 64

ONSET REQUIRED

(∀x)[σ(x)] → (∃y)[ons(y) ∧ δ(x, y)] For all nodes x labeled σ, there exists a node y labeled ons and x dominates y. σ x

  • ns

y

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 64 / 84

slide-65
SLIDE 65

ONSET REQUIRED

(∀x)[σ(x)] → (∃y)[ons(y) ∧ δ(x, y)] For all nodes x labeled σ, there exists a node y labeled ons and x dominates y. σ x

  • ns

y

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 65 / 84

slide-66
SLIDE 66

CODA FORBIDDEN

(∀x)[σ(x)] → (¬∃y)[cod(y) ∧ δ(x, y)] For all nodes x labeled σ, there does not exist a node y labeled cod such that x dominates y. σ x cod y

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 66 / 84

slide-67
SLIDE 67

CODA FORBIDDEN

(∀x)[σ(x)] → (¬∃y)[cod(y) ∧ δ(x, y)] For all nodes x labeled σ, there does not exist a node y labeled cod such that x dominates y. σ x cod y

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 67 / 84

slide-68
SLIDE 68

CODA FORBIDDEN

(∀x)[σ(x)] → (¬∃y)[cod(y) ∧ δ(x, y)] For all nodes x labeled σ, there does not exist a node y labeled cod such that x dominates y. σ x cod y

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 68 / 84

slide-69
SLIDE 69

4-way CV Typology

The four logically possible combinations of these two constraints yield four language types (as in Blevins, 1995). ONSET REQUIRED ONSET NOT REQUIRED CODA FORBIDDEN CV (C)V CODA NOT FORBIDDEN CV(C) (C)V(C)

Table 1: Possible syllable types in basic CV typology

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 69 / 84

slide-70
SLIDE 70

Outline

1

Motivation

2

Toolkit: Word Models

3

Universal Constraints Universal Structural Well-Formedness Constraints The Sonority Sequencing Principle

4

Language-Specific Constraints

5

Discussion

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 70 / 84

slide-71
SLIDE 71

Putting It All Together

Universal constraints (structural well-formedness & SSP) + Selection of ONSET REQUIRED and CODA FORBIDDEN = Language-specific syllable well-formedness

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 71 / 84

slide-72
SLIDE 72

Bigger Picture Example

The nonce word [arn.tjo] does not violate any of the given universal constraints.4 σ nuc cod

  • ns

nuc σ a r n t j

  • δ

δ δ δ δ δ δ δ δ δ

  • 4This is not the only well-formed way to syllabifiy this word with the given

constraints - more on this later.

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 72 / 84

slide-73
SLIDE 73

Bigger Picture Example

NUCLEUS REQUIRED NUCLEUS UNIQUE σ nuc cod

  • ns

nuc σ a r n t j

  • δ

δ δ δ δ δ δ δ

  • δ

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 73 / 84

slide-74
SLIDE 74

Bigger Picture Example

SON RISE LEFT σ nuc cod

  • ns

nuc σ a r n t j

  • δ

δ δ δ δ δ δ δ δ

  • δ
  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 74 / 84

slide-75
SLIDE 75

Bigger Picture Example

SON RISE LEFT σ nuc cod

  • ns

nuc σ a r n t j

  • δ

δ δ δ δ δ δ δ δ

  • δ
  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 75 / 84

slide-76
SLIDE 76

Bigger Picture Example

SON RISE RIGHT σ nuc cod

  • ns

nuc σ a r n t j

  • δ

δ δ δ δ δ δ δ δ

  • δ
  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 76 / 84

slide-77
SLIDE 77

Bigger Picture Example

SON RISE RIGHT σ nuc cod

  • ns

nuc σ a r n t j

  • δ

δ δ δ δ δ δ δ δ

  • δ
  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 77 / 84

slide-78
SLIDE 78

Language-Specific Differences

  • A language with ONSET REQUIRED and/or CODA FORBIDDEN

would not allow this form to surface

  • The exact processes that repair ill-formed syllable structures (e.g.,

epenthesis, deletion, etc.) must be guided by additional language-specific principles

  • Regardless of the nature of the repair processes, the necessity of

such repairs can be determined by evaluating surface forms with respect to inviolable constraints

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 78 / 84

slide-79
SLIDE 79

Conclusion

  • Word models provide a maximally explicit representation of

syllable structure

  • Structural well-formedness constraints and the SSP can be

formalized in FO logic

  • A combination of universal and language-specific constraints (all

inviolable) can formally describe syllable well-formedness

  • The posited constraints likely describe a restricted class of graph

sets because they all refer to subgraphs of size 3 or smaller

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 79 / 84

slide-80
SLIDE 80

Future Work

  • Simplify the logical characterizations as much as possible and

formally establish the local nature of these constraints

  • Account for non-canonical syllable types: (apparent) exceptions to

the SSP, extrasyllabicity, ambisyllabicity, etc.

  • Formalize the onset preference in terms of inviolable surface

constraints

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 80 / 84

slide-81
SLIDE 81

Why We Need the Onset Preference

σ nuc cod

  • ns

nuc σ a r n t j

  • δ

δ δ δ δ δ δ δ δ

  • δ

δ

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 81 / 84

slide-82
SLIDE 82

References

Clements, G. N., & Keyser, S. J. (1983). CV phonology: A generative theory of the syllable. Cambridge, MA: MIT Press. Chandlee, J. (2014). Strictly local phonological processes. (Doctoral dissertation, University of Delaware). Davis, S. (1985). Topics in syllable geometry. (Doctoral dissertation). University of Arizona. Gainor, B., Lai, R., & Heinz, J. (2012). Computational characterizations of vowel harmony patterns and pathologies. In The Proceedings of the 29th West Coast Conference on Formal Linguistics (pp. 63-71). Graf, T. (2010a). Comparing incomparable frameworks: A model theoretic approach to phonology. University of Pennsylvania Working Papers in Linguistics, 16(1), 10. Graf, T. (2010b). Logics of phonological reasoning. (Master’s thesis). University of California, Los Angeles. Heinz, J. N. (2007). Inductive learning of phonotactic patterns. (Doctoral dissertation). University of California, Los Angeles. Heinz, J. (2009). On the role of locality in learning stress patterns. Phonology, 26(02), 303-351. Heinz, J. (2010a). Learning long-distance phonotactics. Linguistic Inquiry, 41(4), 623-661. Heinz, J. (2010b). String extension learning. In Proceedings of the 48th annual meeting of the association for computational linguistics (pp. 897-906). Association for Computational Linguistics. Heinz, J. (2011). Computational Phonology–Part I: Foundations. Language and Linguistics Compass, 5(4), 140-152. Heinz, J., Rawal, C., & Tanner, H. G. (2011). Tier-based strictly local constraints for phonology. In Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies: short papers-Volume 2 (pp. 58-64). Association for Computational Linguistics. Jakobson, R. (1962). Selected writings 1: Phonological studies. The Hague: Mouton. Jardine, A., Chandlee, J., Eyraud, R., & Heinz, J. (2014, September). Very efficient learning of structured classes of subsequential functions from positive data. In The 12th International Conference on Grammatical Inference (Vol. 34, pp. 94-108). Jardine, A., & Heinz, J. (2016). Learning Tier-based Strictly 2-Local Languages. Transactions of the Association for Computational Linguistics, 4, 87-98. Kenstowicz, M. J. (1994). Phonology in generative grammar. Cambridge, MA: Blackwell. Lombardi, L. (1999). Positional faithfulness and voicing assimilation in Optimality Theory. Natural Language & Linguistic Theory, 17(2), 267-302. McCarthy, J. (1979). Formal problems in semitic phonology and morphology. (Doctoral dissertation). MIT, Cambridge, MA. McNaughton, R., & Papert, S. A. (1971). Counter-Free Automata (MIT research monograph no. 65). The MIT Press. Potts, C., & Pullum, G. K. (2002). Model theory and the content of OT constraints. Phonology, 19(03), 361-393. Prince, A., & Smolensky, P. (1993). Optimality theory: Constraint interaction in generative grammar. New Brunswick, NJ: Rutgers Center for Cognitive Science, Rutgers, the State University of New Jersey. Rogers, J., Heinz, J., Fero, M., Hurst, J., Lambert, D., & Wibel, S. (2013). Cognitive and sub-regular complexity. In Formal Grammar (pp. 90-108). Springer Berlin Heidelberg. Rogers, J., & Pullum, G. K. (2011). Aural pattern recognition experiments and the subregular hierarchy. Journal of Logic, Language and Information, 20(3), 329-342 Scobbie, J. M. (1991). Towards declarative phonology.

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 82 / 84

slide-83
SLIDE 83

Thanks!

Special thanks to Jeff Heinz, Adam Jardine, Taylor Miller, and the rest

  • f the UD Speech, Phonetics, and Phonology Lab group for comments,

questions, and encouragements. Thanks to Eric Bakovic, Kevin McMullin, and the entire NAPhC 2016 audience for their insightful feedback. Contact Info kmsg@udel.edu sites.udel.edu/kmsg

  • K. Strother-Garcia (UD)

NAPhC 2016 May 8, 2016 83 / 84