Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Proof Theory for Narrative Structure

Chris
June 22, 2015
210

Proof Theory for Narrative Structure

10 min talk on representing narrative structure for FDG doctoral consortium.

Chris

June 22, 2015
Tweet

Transcript

  1. Proof Theory for
    Narrative Structure
    Chris Martens

    Carnegie Mellon University

    Computer Science Department

    !
    Foundations of Digital Games 2015

    Doctoral Consortium, Sunday, June 21

    View Slide

  2. Proof Theory for
    Narrative Structure
    Chris Martens

    Carnegie Mellon University

    Computer Science Department

    !
    Foundations of Digital Games 2015

    Doctoral Consortium, Sunday, June 21

    View Slide

  3. Research Goal
    Bridge narrative theory with systems understanding

    via conceptual and computational tools.
    3

    View Slide

  4. resource flow

    physics

    puzzles

    emergent behavior

    strategic choices
    characters

    backstory

    plot

    dialogue

    moral choices
    System and Narrative
    4

    View Slide

  5. resource flow

    physics

    puzzles

    emergent behavior

    strategic choices
    characters

    backstory

    plot

    dialogue

    moral choices
    System and Narrative
    5

    View Slide

  6. Important research
    subquestion:
    How do we understand narrative structure?
    6
    If narratives have several parts,

    what are they,

    and how do they connect to one another?

    View Slide

  7. Important research
    subquestion:
    How do we understand narrative structure?
    7
    If narratives have several parts,

    what are they,

    and how do they connect to one another?

    View Slide

  8. Important research
    subquestion:
    How do we understand narrative structure?
    8
    If narratives have several parts,

    what are they,

    and how do they connect to one another?

    View Slide

  9. Take 1: Potential Narratives
    Twine node map
    9

    View Slide

  10. Example: Three Little Pigs
    There are three little pigs and a big bad wolf.

    !
    One pig builds a house out of straw, one builds a house out of sticks
    and one builds a house out of bricks.

    !
    The big bad wolf visits the straw house, blows the house down, and
    eats the pig.

    !
    The big bad wolf visits the stick house, blows the house down, and
    eats the pig.

    !
    The big bad wolf visits the brick house and fails to blow it down.
    10

    View Slide

  11. NARRATIVE STRUCTURE
    Twine node map
    11

    View Slide

  12. NARRATIVE STRUCTURE
    Twine node map
    12

    View Slide

  13. One of three little pigs builds a house out of straw.

    !
    A wolf appears at the door...

    !
    "Little pig, little Pig, let me come in."

    "No, no, not by the hair on my chinny chin chin."

    "Then I'll huff, and I'll puff, and I'll blow your house in.."

    !
    And she does, and she eats the little pig!
    One of three little pigs builds a house out of bricks.

    !
    A wolf appears at the door...

    !
    "Little pig, little Pig, let me come in."

    "No, no, not by the hair on my chinny chin chin."

    "Then I'll huff, and I'll puff, and I'll blow your house in.."

    !
    But she can’t!
    One of three little pigs builds a house out of sticks.

    !
    A wolf appears at the door...

    !
    "Little pig, little Pig, let me come in."

    "No, no, not by the hair on my chinny chin chin."

    "Then I'll huff, and I'll puff, and I'll blow your house in.."

    !
    And she does, and she eats the little pig!
    13

    View Slide

  14. Take 2: Timelines
    xkcd.com/657
    14

    View Slide

  15. 15

    View Slide

  16. NARRATIVE STRUCTURE
    Twine nodemap expands to many possible stories

    =

    simultaneous representation of multiple narratives
    16

    View Slide

  17. NARRATIVE STRUCTURE
    LOTR graph expands to multiple “tellings”/directorial choices

    =

    representation of multiple simultaneous narratives
    17

    View Slide

  18. NARRATIVE STRUCTURE
    choice vs. simultaneity
    18

    View Slide

  19. Linear Logic:
    A logic of choice & simultaneity
    - A is simultaneous with B

    !
    - choice between A and B
    19

    View Slide

  20. Linear Logic
    - it is possible to transform A into B
    20

    View Slide

  21. Potential Narrative version of Three Little Pigs
    21
    Possible to prove:

    View Slide

  22. Multiple Timelines version of Three Little Pigs
    22

    View Slide

  23. Multiple Timelines version of Three Little Pigs
    23
    Possible to prove

    View Slide

  24. Simultaneity in Three Little Pigs
    24
    RKI
    RKI
    RKI
    YQNH
    UVTCY
    DTKEMU
    UVKEMU
    UVTCYAJQWUG
    UVKEMAJQWUG
    DTKEMAJQWUG
    T

    DWKNFUVTCY
    JQWUG
    T

    DWKNFUVKEM
    JQWUG
    T

    YQNHXUDTKEMU
    T

    DWKNFDTKEM
    JQWUG
    T

    YQNHXUUVKEMU
    T

    YQNHXUUVTCY
    YQNH
    YQNH
    DTKEMAJQWUG

    View Slide

  25. Reed/Garbe “combinatorial narrative”
    — Jacob Garbe, Gamasutra post “The Narrative Engine Driving Ice-Bound: A
    Novel of Reconfiguration”
    25

    View Slide

  26. monolithic story state

    vs

    composable story components
    26

    View Slide

  27. Proof theory makes a useful unifying formalism

    for narrative structure and interactive systems.
    27
    Research Hypothesis:

    View Slide

  28. narrative generation [Martens et al., INT 2014]

    !
    prototyping language for interactive narrative mechanics

    [Ceptre, publication in progress]

    !
    analysis tools (discovering possible stories and state invariants)

    [work in progress]
    Evidence of usefulness:
    28

    View Slide

  29. Thesis Statement
    Linear logic and its theory of proof are a useful conceptual and
    computational framework for bridging narrative theory with
    systems understanding.
    29

    View Slide

  30. CYO Discussion
    Works of interactive fiction with compositional state (slide 31)
    !
    Turning these ideas into a programming language (slide 33)
    !
    Related work in story validation (slide 36)
    !
    Related work in game description languages (slide 38)
    !
    How does a proof represent a story? (slide 42)
    30

    View Slide

  31. Discussion Slides
    31

    View Slide

  32. Other IF with multiplicative state
    32

    View Slide

  33. Other IF with multiplicative state
    33

    View Slide

  34. Ceptre
    34
    stage = set of rules

    r : A -o B

    !
    program =

    set of stages

    + stage control flow

    + initial state

    6 6¶
    6R6¶

    U6R6¶


    Q

    /RJLF3URJUDP
    LQLWLDOVWDWH

    View Slide

  35. Ceptre
    35

    View Slide

  36. 36
    Ceptre

    View Slide

  37. Related Work
    37

    View Slide

  38. Related Work
    38

    View Slide

  39. Related Work
    39

    View Slide

  40. Related Work
    40

    View Slide

  41. Related Work
    41

    View Slide

  42. Related Work
    42

    View Slide

  43. Story Derivation for Choice-Based Three Little Pigs
    43

    View Slide

  44. Story Derivation of Simultaneity in Three Little Pigs
    44

    View Slide

  45. Thanks!
    Ceptre language:
    github.com/chrisamaphone/interactive-lp
    !
    Me (web): http://www.cs.cmu.edu/~cmartens
    !
    Me (Twitter): @chrisamaphone
    45

    View Slide

  46. other discussion points?
    Other IS concerns:
    Drama Management
    Narrative Drive
    Reactive Planning
    !
    Tellings informed by player/reader knowledge state
    (stuff like “Memento” or scenes told out-of-causal-order)
    46

    View Slide