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
2k
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
電通総研の生成AI・エージェントの取り組み エンジニアリング業務向けAI活用事例紹介
Avatar for AITC - DENTSU SOKEN isidaitc
1
120
SSII2025 [SS1] レンズレスカメラ
Avatar for 画像センシングシンポジウム ssii
PRO
2
880
Transparency to sustain open science infrastructure - Printemps Couperin
Avatar for Maxence Larrieu mlarrieu
1
170
作業記憶の発達的特性が言語獲得の臨界期を形成する（NLP2025）
Avatar for Masato Mita chemical_tree
2
580
Adaptive fusion of multi-modal remote sensing data for optimal sub-field crop yield prediction
Avatar for SatAI.challenge satai
3
210
TRIPOD+AI Expandedチェックリスト 有志翻訳による日本語版 version.1.1
Avatar for Shuntaro Sato shuntaros
0
170
ｳｯﾄﾞｽﾀｯｸﾁｬﾝ：木材を用いた小型エージェントロボットの開発と印象評価 / ec75-sato
Avatar for yumulab yumulab
1
360
SSII2025 [TS2] リモートセンシング画像処理の最前線
Avatar for 画像センシングシンポジウム ssii
PRO
7
2.7k
研究テーマのデザインと研究遂行の方法論
Avatar for Hisashi Ishihara hisashiishihara
5
1.3k
3D Gaussian Splattingによる高効率な新規視点合成技術とその応用
Avatar for Hide Matsuki muskie82
5
2.3k
Large Language Model Agent: A Survey on Methodology, Applications and Challenges
Avatar for Shunsuke KITADA shunk031
11
7.6k
大規模日本語VLM Asagi-VLMにおける合成データセットの構築とモデル実装
Avatar for Kohei Uehara kuehara
5
2.3k

Featured

See All Featured
Agile that works and the tools we love
Avatar for Rasmus Luckow-Nielsen rasmusluckow
329
21k
GraphQLとの向き合い方2022年版
Avatar for Yosuke Kurami quramy
46
14k
Learning to Love Humans: Emotional Interface Design
Avatar for Aarron Walter aarron
273
40k
Practical Orchestrator
Avatar for Shlomi Noach shlominoach
188
11k
Designing Dashboards & Data Visualisations in Web Apps
Avatar for Des Traynor destraynor
231
53k
Templates, Plugins, & Blocks: Oh My! Creating the theme that thinks of everything
Avatar for Michelle Schulp Hunt marktimemedia
31
2.4k
Fashionably flexible responsive web design (full day workshop)
Avatar for Andy Clarke malarkey
407
66k
[RailsConf 2023 Opening Keynote] The Magic of Rails
Avatar for Eileen M. Uchitelle eileencodes
29
9.5k
Java REST API Framework Comparison - PWX 2021
Avatar for Matt Raible mraible
31
8.6k
The Invisible Side of Design
Avatar for Vitaly Friedman smashingmag
299
50k
Building an army of robots
Avatar for Kyle Neath kneath
306
45k
Reflections from 52 weeks, 52 projects
Avatar for Jefferson Lam jeffersonlam
349
20k

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