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
530
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
280
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.1k
Proof Theory for Narrative Structure
Avatar for Chris chrisamaphone
2
290

Other Decks in Research

See All in Research
単施設でできる臨床研究の考え方
Avatar for Shuntaro Sato shuntaros
0
2.6k
Trust No Bot? Forging Confidence in AI for Software Engineering
Avatar for Thomas Zimmermann tomzimmermann
1
260
IMC の細かすぎる話 2025
Avatar for @smly smly
2
600
20250624_熊本経済同友会6月例会講演
Avatar for Traffic Brain trafficbrain
1
590
能動適応的実験計画
Avatar for MasaKat0 masakat0
2
800
Submeter-level land cover mapping of Japan
Avatar for SatAI.challenge satai
3
270
最適決定木を用いた処方的価格最適化
Avatar for MIKIO KUBO mickey_kubo
4
1.8k
EOGS: Gaussian Splatting for Efficient Satellite Image Photogrammetry
Avatar for SatAI.challenge satai
4
480
論文読み会 SNLP2025 Learning Dynamics of LLM Finetuning. In: ICLR 2025
Avatar for S s_mizuki_nlp
0
180
SSII2025 [TS2] リモートセンシング画像処理の最前線
Avatar for 画像センシングシンポジウム ssii
PRO
7
3.1k
20250605_新交通システム推進議連_熊本都市圏「車1割削減、渋滞半減、公共交通2倍」から考える地方都市交通政策
Avatar for Traffic Brain trafficbrain
0
730
カスタマーサクセスの視点からAWS Summitの展示を考える～製品開発で活用できる勘所～
Avatar for モブエンジニア（Masaki Okuda） masakiokuda
2
190

Featured

See All Featured
Mobile First: as difficult as doing things right
Avatar for Swwweet swwweet
224
9.9k
Six Lessons from altMBA
Avatar for Skipper Chong Warson skipperchong
28
4k
Git: the NoSQL Database
Avatar for Brandon Keepers bkeepers
PRO
431
66k
It's Worth the Effort
Avatar for 3n 3n
187
28k
Fashionably flexible responsive web design (full day workshop)
Avatar for Andy Clarke malarkey
407
66k
I Don’t Have Time: Getting Over the Fear to Launch Your Podcast
Avatar for Joe Casabona jcasabona
33
2.4k
A designer walks into a library…
Avatar for Paul Jervis Heath pauljervisheath
207
24k
Facilitating Awesome Meetings
Avatar for Lara Hogan lara
55
6.5k
Docker and Python
Avatar for Tania Allard trallard
45
3.5k
VelocityConf: Rendering Performance Case Studies
Avatar for Addy Osmani addyosmani
332
24k
Java REST API Framework Comparison - PWX 2021
Avatar for Matt Raible mraible
33
8.8k
Producing Creativity
Avatar for Steve Smith orderedlist
PRO
347
40k

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