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

Proof as Stories

Chris
October 16, 2015
Research
2
660

Proof as Stories

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

Chris

October 16, 2015
Tweet

More Decks by Chris

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

Other Decks in Research

See All in Research
打率7割を実現する、プロダクトディスカバリーの7つの極意(pmconf2024)
geshi0820
0
390
ラムダ計算の拡張に基づく
音楽プログラミング言語mimium
とそのVMの実装
tomoyanonymous
0
420
NLP2025SharedTask翻訳部門
moriokataku
0
220
AIトップカンファレンスからみるData-Centric AIの研究動向 / Research Trends in Data-Centric AI: Insights from Top AI Conferences
tsurubee
3
2k
Evaluating Tool-Augmented Agents in Remote Sensing Platforms
satai
3
180
PetiteSRE_GenAIEraにおけるインフラのあり方観察
ichichi
0
280
Weekly AI Agents News! 11月号 論文のアーカイブ
masatoto
0
310
大規模日本語VLM Asagi-VLMにおける合成データセットの構築とモデル実装
kuehara
5
1.4k
アプリケーションから知るモデルマージ
maguro27
0
280
DeepSeek-R1の論文から読み解く背景技術
personabb
3
410
Segment Any Change
satai
3
250
医療支援AI開発における臨床と情報学の連携を円滑に進めるために
moda0
0
160

Featured

See All Featured
Large-scale JavaScript Application Architecture
addyosmani
511
110k
個人開発の失敗を避けるイケてる考え方 / tips for indie hackers
panda_program
101
18k
Reflections from 52 weeks, 52 projects
jeffersonlam
349
20k
Music & Morning Musume
bryan
46
6.4k
The Power of CSS Pseudo Elements
geoffreycrofte
75
5.7k
Designing for humans not robots
tammielis
250
25k
How GitHub (no longer) Works
holman
314
140k
Code Reviewing Like a Champion
maltzj
521
39k
Six Lessons from altMBA
skipperchong
27
3.6k
Optimizing for Happiness
mojombo
377
70k
Evolution of real-time – Irina Nazarova, EuRuKo, 2024
irinanazarova
6
590
Visualization
eitanlees
146
15k

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