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

Proof as Stories

Avatar for Chris Chris
October 16, 2015
Research
2
730

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
670
Compositional Creativity (ICFP 2017)
Avatar for Chris chrisamaphone
2
790
Anti-Disciplinary: doing a PhD when you like too many things
Avatar for Chris chrisamaphone
1
320
Paper Presentation: A Survey on Story Generation Techniques
Avatar for Chris chrisamaphone
0
2.2k
Principles of Expressive Machines
Avatar for Chris chrisamaphone
1
2.1k
Operationalizing Creative Theories
Avatar for Chris chrisamaphone
0
2.8k
Ceptre: A Language for Modeling Interactive Worlds
Avatar for Chris chrisamaphone
1
230
Programming Interactive Worlds with Linear Logic
Avatar for Chris chrisamaphone
2
1.2k
Proof Theory for Narrative Structure
Avatar for Chris chrisamaphone
2
310

Other Decks in Research

See All in Research
説明可能な機械学習と数理最適化
Avatar for kelicht kelicht
2
1k
Attaques quantiques sur Bitcoin : comment se protéger ?
Avatar for Renaud Lifchitz rlifchitz
0
150
AWSの耐久性のあるRedis互換KVSのMemoryDBについての論文を読んでみた
Avatar for bootjp / ぶーと bootjp
1
500
一般道の交通量減少と速度低下についての全国分析と熊本市におけるケーススタディ（20251122 土木計画学研究発表会）
Avatar for Traffic Brain trafficbrain
0
170
ドメイン知識がない領域での自然言語処理の始め方
Avatar for Hayahide Yamagishi hargon24
1
250
学習型データ構造：機械学習を内包する新しいデータ構造の設計と解析
Avatar for Yusuke Matsui matsui_528
6
3.5k
Satellites Reveal Mobility: A Commuting Origin-destination Flow Generator for Global Cities
Avatar for SatAI.challenge satai
3
570
Ankylosing Spondylitis
Avatar for Charles Holtzkampf ankh2054
0
140
Proposal of an Information Delivery Method for Electronic Paper Signage Using Human Mobility as the Communication Medium / ICCE-Asia 2025
Avatar for yumulab yumulab
0
220
空間音響処理における物理法則に基づく機械学習
Avatar for NII S. Koyama's Lab skoyamalab
0
230
さまざまなAgent FrameworkとAIエージェントの評価
Avatar for Kento.Yamada ymd65536
1
440
Dwangoでの漫画データ活用〜漫画理解と動画作成〜@コミック工学シンポジウム2025
Avatar for kzmssk kzmssk
0
140

Featured

See All Featured
The Straight Up "How To Draw Better" Workshop
Avatar for Dennis Kardys denniskardys
239
140k
Exploring anti-patterns in Rails
Avatar for Elle Meredith aemeredith
2
280
SEO in 2025: How to Prepare for the Future of Search
Avatar for Michael King ipullrank
3
3.3k
Darren the Foodie - Storyboard
Avatar for Kevinho.art khoart
PRO
3
2.6k
How to make the Groovebox
Avatar for あそなす asonas
2
2k
Cheating the UX When There Is Nothing More to Optimize - PixelPioneers
Avatar for Stéphanie Walter stephaniewalter
287
14k
Side Projects
Avatar for Sacha Greif sachag
455
43k
Noah Learner - AI + Me: how we built a GSC Bulk Export data pipeline
Avatar for Tech SEO Connect techseoconnect
PRO
0
120
Six Lessons from altMBA
Avatar for Skipper Chong Warson skipperchong
29
4.2k
Reflections from 52 weeks, 52 projects
Avatar for Jefferson Lam jeffersonlam
356
21k
The Limits of Empathy - UXLibs8
Avatar for Cassini Nazir cassininazir
1
240
Money Talks: Using Revenue to Get Sh*t Done
Avatar for Nikki Halliwell nikkihalliwell
0
170

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