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

Proof as Stories

Avatar for Chris Chris
October 16, 2015
Research
2
700

Proof as Stories

Abstract: http://www.cs.cmu.edu/~cmartens/uconn-abstract.txt

Avatar for Chris

Chris

October 16, 2015
Tweet

More Decks by Chris

See All by Chris
How to think like a system: Puzzles, Problems, and Programs
Avatar for Chris chrisamaphone
0
550
Compositional Creativity (ICFP 2017)
Avatar for Chris chrisamaphone
2
770
Anti-Disciplinary: doing a PhD when you like too many things
Avatar for Chris chrisamaphone
1
290
Paper Presentation: A Survey on Story Generation Techniques
Avatar for Chris chrisamaphone
0
2.1k
Principles of Expressive Machines
Avatar for Chris chrisamaphone
1
2.1k
Operationalizing Creative Theories
Avatar for Chris chrisamaphone
0
2.7k
Ceptre: A Language for Modeling Interactive Worlds
Avatar for Chris chrisamaphone
1
210
Programming Interactive Worlds with Linear Logic
Avatar for Chris chrisamaphone
2
1.2k
Proof Theory for Narrative Structure
Avatar for Chris chrisamaphone
2
290

Other Decks in Research

See All in Research
論文読み会 SNLP2025 Learning Dynamics of LLM Finetuning. In: ICLR 2025
Avatar for S s_mizuki_nlp
0
280
「どう育てるか」より「どう働きたいか」〜スクラムマスターの最初の一歩〜
Avatar for hirakawa hirakawa51
0
930
言語モデルの地図：確率分布と 情報幾何による類似性の可視化
Avatar for Hidetoshi Shimodaira shimosan
7
1.8k
スキマバイトサービスにおける現場起点でのデザインアプローチ
Avatar for 眞行寺由郎 yoshioshingyouji
0
250
まずはここから：Overleaf共同執筆・CopilotでAIコーディング入門・Codespacesで独立環境
Avatar for Yusuke Matsui matsui_528
2
620
Creation and environmental applications of 15-year daily inundation and vegetation maps for Siberia by integrating satellite and meteorological datasets
Avatar for SatAI.challenge satai
3
400
機械学習と数理最適化の融合 (MOAI) による革新
Avatar for MIKIO KUBO mickey_kubo
1
390
RHO-1: Not All Tokens Are What You Need
Avatar for Sansan R&D sansan_randd
1
190
引力・斥力を制御可能なランダム部分集合の確率分布
Avatar for Takahiro Kawashima wasyro
0
260
Generative Models 2025
Avatar for Hiroshi Takahashi takahashihiroshi
25
14k
超高速データサイエンス
Avatar for Yusuke Matsui matsui_528
1
150
[論文紹介] Intuitive Fine-Tuning
Avatar for Ryokan RI ryou0634
0
130

Featured

See All Featured
The Pragmatic Product Professional
Avatar for Laura Van Doore lauravandoore
36
6.9k
Building a Modern Day 
E-commerce SEO Strategy
Avatar for Aleyda Solis aleyda
44
7.8k
Designing Experiences People Love
Avatar for Jonathan Moore moore
142
24k
How to Think Like a Performance Engineer
Avatar for Harry Roberts csswizardry
27
2k
Designing for Performance
Avatar for Lara Hogan lara
610
69k
Understanding Cognitive Biases in Performance Measurement
Avatar for Philip Tellis bluesmoon
31
2.7k
Typedesign – Prime Four
Avatar for Hannes Fritz hannesfritz
42
2.8k
Java REST API Framework Comparison - PWX 2021
Avatar for Matt Raible mraible
34
8.9k
Embracing the Ebb and Flow
Avatar for Simon Collison colly
88
4.8k
ReactJS: Keep Simple. Everything can be a component!
Avatar for Pedro Nauck pedronauck
667
120k
Writing Fast Ruby
Avatar for Erik Berlin sferik
629
62k
Intergalactic Javascript Robots from Outer Space
Avatar for Vicent Martí tanoku
273
27k

Transcript

  1. None
  2. None

  3. 3

  4. 4

  5. 5

  6. 6

  7. 7

  8. 8

  9. 9

  10. 10

  11. 11

  12. 12

  13. 13

  14. 14

  15. 15

  16. 16

  17. 17

  18. 18

  19. 19

  20. 20

  21. 21

  22. 22

  23. xkcd.com/657 23

  24. 24

  25. 25

  26. 26

  27. 27

  28. 28

  29. 29

  30. 30

  31. 31

  32. 32

  33. 33

  34. 34

  35. 35

  36. 36

  37. 37

  38. None

  39. Related Work 39

  40. Related Work 40

  41. 41 If narratives have several parts, what are they, and

    how do they connect to one another?

  42. Ceptre 42 stage = set of rules r : A

    -o B ! program = set of stages + stage control flow + initial state 6 6¶ 6R6¶  U6R6¶    Q  /RJLF3URJUDP LQLWLDOVWDWH

  43. Linear Logic Programming 43 signature: set of rules program: signature

    + initial state 6 6¶ 6R6¶  U6R6¶    Q  /RJLF3URJUDP LQLWLDOVWDWH