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

Proof as Stories

Avatar for Chris Chris
October 16, 2015
Research
2
730

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
670
Compositional Creativity (ICFP 2017)
Avatar for Chris chrisamaphone
2
790
Anti-Disciplinary: doing a PhD when you like too many things
Avatar for Chris chrisamaphone
1
330
Paper Presentation: A Survey on Story Generation Techniques
Avatar for Chris chrisamaphone
0
2.2k
Principles of Expressive Machines
Avatar for Chris chrisamaphone
1
2.1k
Operationalizing Creative Theories
Avatar for Chris chrisamaphone
0
2.8k
Ceptre: A Language for Modeling Interactive Worlds
Avatar for Chris chrisamaphone
1
230
Programming Interactive Worlds with Linear Logic
Avatar for Chris chrisamaphone
2
1.2k
Proof Theory for Narrative Structure
Avatar for Chris chrisamaphone
2
320

Other Decks in Research

See All in Research
台湾モデルに学ぶ詐欺広告対策：市民参加の必要性
Avatar for DD2030 dd2030
0
260
病院向け生成AIプロダクト開発の実践と課題
Avatar for Takashi Nishibayashi hagino3000
0
580
業界横断 副業コンプライアンス調査 三者（副業者・本業先・発注者）におけるトラブル認知ギャップの構造分析
Avatar for fkske fkske
0
1.2k
Upgrading Multi-Agent Pathfinding for the Real World
Avatar for Keisuke Okumura | 奥村圭祐 kei18
0
490
ウェブ・ソーシャルメディア論文読み会 第36回: The Stepwise Deception: Simulating the Evolution from True News to Fake News with LLM Agents (EMNLP, 2025)
Avatar for taichi_murayama hkefka385
0
200
[SITA2025 Workshop] 空中計算による高速・低遅延な分散回帰分析
Avatar for Koya SATO k_sato
0
130
その推薦システムの評価指標、ユーザーの感覚とズレてるかも
Avatar for kuri8ive kuri8ive
1
350
空間音響処理における物理法則に基づく機械学習
Avatar for NII S. Koyama's Lab skoyamalab
0
240
When Learned Data Structures Meet Computer Vision
Avatar for Yusuke Matsui matsui_528
1
4.2k
さまざまなAgent FrameworkとAIエージェントの評価
Avatar for Kento.Yamada ymd65536
1
460
AWSの耐久性のあるRedis互換KVSのMemoryDBについての論文を読んでみた
Avatar for bootjp / ぶーと bootjp
1
550
【SIGGRAPH Asia 2025】Lo-Fi Photograph with Lo-Fi Communication
Avatar for Chinatsu Ozawa toremolo72
0
130

Featured

See All Featured
VelocityConf: Rendering Performance Case Studies
Avatar for Addy Osmani addyosmani
333
24k
Sharpening the Axe: The Primacy of Toolmaking
Avatar for Bryan Cantrill bcantrill
46
2.7k
Helping Users Find Their Own Way: Creating Modern Search Experiences
Avatar for Dan Newman danielanewman
31
3.1k
Deep Space Network (abreviated)
Avatar for Tony Rice tonyrice
0
92
Large-scale JavaScript Application Architecture
Avatar for Addy Osmani addyosmani
515
110k
Claude Code どこまでも/ Claude Code Everywhere
Avatar for nwiizo nwiizo
64
53k
The Language of Interfaces
Avatar for Des Traynor destraynor
162
26k
State of Search Keynote: SEO is Dead Long Live SEO
Avatar for Ryan Jones ryanjones
0
150
What does AI have to do with Human Rights?
Avatar for Per Axbom axbom
PRO
1
2k
The AI Search Optimization Roadmap by Aleyda Solis
Avatar for Aleyda Solis aleyda
1
5.4k
The Hidden Cost of Media on the Web [PixelPalooza 2025]
Avatar for Tammy Everts tammyeverts
2
250
Practical Tips for Bootstrapping Information Extraction Pipelines
Avatar for Matthew Honnibal honnibal
25
1.8k

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