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

Proof as Stories

Chris
October 16, 2015
Research
2
650

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
420
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
260

Other Decks in Research

See All in Research
Weekly AI Agents News! 10月号 プロダクト/ニュースのアーカイブ
masatoto
1
190
KDD論文読み会2024: False Positive in A/B Tests
ryotoitoi
0
280
チュートリアル：Mamba, Vision Mamba (Vim)
hf149
6
2k
Composed image retrieval for remote sensing

satai
2
150
文書画像のデータ化における VLM活用 / Use of VLM in document image data conversion
sansan_randd
2
450
機械学習による言語パフォーマンスの評価
langstat
6
880
LLM 시대의 Compliance: Safety & Security
huffon
0
540
Weekly AI Agents News! 12月号 プロダクト/ニュースのアーカイブ
masatoto
0
280
NeurIPS 2024 参加報告 & 論文紹介 (SACPO, Ctrl-G)
reisato12345
0
270
リモートワークにおけるパッシブ疲労
matsumoto_r
PRO
7
4.9k
Weekly AI Agents News! 11月号 論文のアーカイブ
masatoto
0
280
文化が形作る音楽推薦の消費と、その逆
kuri8ive
0
220

Featured

See All Featured
jQuery: Nuts, Bolts and Bling
dougneiner
63
7.6k
4 Signs Your Business is Dying
shpigford
182
22k
Helping Users Find Their Own Way: Creating Modern Search Experiences
danielanewman
29
2.4k
GraphQLの誤解/rethinking-graphql
sonatard
68
10k
Documentation Writing (for coders)
carmenintech
67
4.6k
VelocityConf: Rendering Performance Case Studies
addyosmani
327
24k
We Have a Design System, Now What?
morganepeng
51
7.4k
Bash Introduction
62gerente
610
210k
The Illustrated Children's Guide to Kubernetes
chrisshort
48
49k
Practical Tips for Bootstrapping Information Extraction Pipelines
honnibal
PRO
11
900
It's Worth the Effort
3n
184
28k
10 Git Anti Patterns You Should be Aware of
lemiorhan
PRO
656
59k

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