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
540
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
20250605_新交通システム推進議連_熊本都市圏「車1割削減、渋滞半減、公共交通2倍」から考える地方都市交通政策
Avatar for Traffic Brain trafficbrain
0
830
ロボット学習における大規模検索技術の展開と応用
Avatar for Mai Nishimura denkiwakame
1
130
AWSで実現した大規模日本語VLM学習用データセット "MOMIJI" 構築パイプライン/buiding-momiji
Avatar for 開発室Graph studio_graph
2
630
ip71_contraflow_reconfiguration
Avatar for SatokiMasuda stkmsd
0
110
AlphaEarth Foundations: An embedding field model for accurate and efficient global mapping from sparse label data
Avatar for SatAI.challenge satai
3
310
世界の人気アプリ100個を分析して見えたペイウォール設計の心得
Avatar for Akihiro Kokubo akihiro_kokubo
PRO
62
30k
[輪講] SigLIP 2: Multilingual Vision-Language Encoders with Improved Semantic Understanding, Localization, and Dense Features
Avatar for Naoki Kato nk35jk
2
1.1k
最適化と機械学習による問題解決
Avatar for MIKIO KUBO mickey_kubo
0
180
集合間Bregmanダイバージェンスと置換不変NNによるその学習
Avatar for Takahiro Kawashima wasyro
0
150
電通総研の生成AI・エージェントの取り組み エンジニアリング業務向けAI活用事例紹介
Avatar for AITC - DENTSU SOKEN isidaitc
1
1k
EcoWikiRS: Learning Ecological Representation of Satellite Images from Weak Supervision with Species Observation and Wikipedia
Avatar for SatAI.challenge satai
3
230
カスタマーサクセスの視点からAWS Summitの展示を考える～製品開発で活用できる勘所～
Avatar for モブエンジニア（Masaki Okuda） masakiokuda
2
210

Featured

See All Featured
Build your cross-platform service in a week with App Engine
Avatar for Jose L jlugia
232
18k
Speed Design
Avatar for Sergey Chernyshev sergeychernyshev
32
1.1k
GraphQLとの向き合い方2022年版
Avatar for Yosuke Kurami quramy
49
14k
Code Reviewing Like a Champion
Avatar for maltzj maltzj
525
40k
Facilitating Awesome Meetings
Avatar for Lara Hogan lara
56
6.6k
jQuery: Nuts, Bolts and Bling
Avatar for Doug Neiner dougneiner
64
7.9k
Bootstrapping a Software Product
Avatar for Garrett Dimon garrettdimon
PRO
307
110k
Fireside Chat
Avatar for paigeccino paigeccino
40
3.7k
Scaling GitHub
Avatar for Zach Holman holman
463
140k
Keith and Marios Guide to Fast Websites
Avatar for Keith Pitt keithpitt
411
22k
Documentation Writing (for coders)
Avatar for Carmen Chung carmenintech
75
5k
Rebuilding a faster, lazier Slack
Avatar for samanthasiow samanthasiow
84
9.2k

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