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

Proof as Stories

Avatar for Chris Chris
October 16, 2015
Research
2
680

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
510
Compositional Creativity (ICFP 2017)
Avatar for Chris chrisamaphone
2
760
Anti-Disciplinary: doing a PhD when you like too many things
Avatar for Chris chrisamaphone
1
250
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
200
Programming Interactive Worlds with Linear Logic
Avatar for Chris chrisamaphone
2
1.1k
Proof Theory for Narrative Structure
Avatar for Chris chrisamaphone
2
280

Other Decks in Research

See All in Research
学生向けアンケート＜データサイエンティストについて＞
Avatar for The Japan DataScientist Society datascientistsociety
PRO
0
2.6k
データサイエンティストの採用に関するアンケート
Avatar for The Japan DataScientist Society datascientistsociety
PRO
0
930
Principled AI ～深層学習時代における課題解決の方法論～
Avatar for Tatsunori Taniai taniai
3
1.2k
20250502_ABEJA_論文読み会_スライド
Avatar for Tomoki Fujihara flatton
0
160
90 分で学ぶ P 対 NP 問題
Avatar for E869120 e869120
17
7.4k
時系列データに対する解釈可能な 決定木クラスタリング
Avatar for MIKIO KUBO mickey_kubo
2
620
LLM-as-a-Judge: 文章をLLMで評価する@教育機関DXシンポ
Avatar for Kouta Nakayama k141303
3
800
線形判別分析のPU学習による 朝日歌壇短歌の分析
Avatar for MasaKat0 masakat0
0
130
When Submarine Cables Go Dark: Examining the Web Services Resilience Amid Global Internet Disruptions
Avatar for Irvin Chen irvin
0
120
電力システム最適化入門
Avatar for MIKIO KUBO mickey_kubo
1
600
大規模な2値整数計画問題に対する 効率的な重み付き局所探索法
Avatar for MIKIO KUBO mickey_kubo
1
200
言語モデルによるAI創薬の進展 / Advancements in AI-Driven Drug Discovery Using Language Models
Avatar for tsurubee tsurubee
2
370

Featured

See All Featured
Bootstrapping a Software Product
Avatar for Garrett Dimon garrettdimon
PRO
307
110k
Code Review Best Practice
Avatar for Trisha Gee trishagee
68
18k
How to Think Like a Performance Engineer
Avatar for Harry Roberts csswizardry
24
1.7k
Building an army of robots
Avatar for Kyle Neath kneath
306
45k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
Avatar for Marc Duiker marcduiker
30
2.1k
Practical Tips for Bootstrapping Information Extraction Pipelines
Avatar for Matthew Honnibal honnibal
PRO
20
1.3k
How to Ace a Technical Interview
Avatar for Jacob Kaplan-Moss jacobian
276
23k
The Art of Delivering Value - GDevCon NA Keynote
Avatar for David Neal reverentgeek
14
1.5k
実際に使うSQLの書き方 徹底解説 / pgcon21j-tutorial
Avatar for soudai sone soudai
PRO
181
53k
Automating Front-end Workflow
Avatar for Addy Osmani addyosmani
1370
200k
Git: the NoSQL Database
Avatar for Brandon Keepers bkeepers
PRO
430
65k
Speed Design
Avatar for Sergey Chernyshev sergeychernyshev
30
990

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