Upgrade to Pro — share decks privately, control downloads, hide ads and more …
Sign up for free

Proof as Stories

Sponsored · Your Podcast. Everywhere. Effortlessly. Share. Educate. Inspire. Entertain. You do you. We'll handle the rest. →
Avatar for Chris Chris
October 16, 2015
Research
760
2

Proof as Stories

Abstract: http://www.cs.cmu.edu/~cmartens/uconn-abstract.txt

Avatar for Chris

Chris

October 16, 2015

More Decks by Chris

See All by Chris
How to think like a system: Puzzles, Problems, and Programs
Avatar for Chris chrisamaphone
0
720
Compositional Creativity (ICFP 2017)
Avatar for Chris chrisamaphone
2
820
Anti-Disciplinary: doing a PhD when you like too many things
Avatar for Chris chrisamaphone
1
360
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.2k
Operationalizing Creative Theories
Avatar for Chris chrisamaphone
0
2.8k
Ceptre: A Language for Modeling Interactive Worlds
Avatar for Chris chrisamaphone
1
260
Programming Interactive Worlds with Linear Logic
Avatar for Chris chrisamaphone
2
1.2k
Proof Theory for Narrative Structure
Avatar for Chris chrisamaphone
2
370

Other Decks in Research

See All in Research
Détecter les vulnérabilités dans un environnement souverain
Avatar for hellosct1 hellosct1
0
110
【中間報告】国会議員の立法・政策実務を支える環境を巡る現状と課題
Avatar for 株式会社PoliPoli/PoliPoli.Inc polipoli
0
820
Prithvi-EO-2.0
Avatar for SatAI.challenge satai
3
110
視覚若手の会LENSって何？？
Avatar for 小島瑞貴 mickey_0226
0
370
Bilan travail en élevage : première restitution des enquêtes 2025-2026
Avatar for Idele institutdelelevage
PRO
0
120
GeoAgent勉強会 論文紹介と強い推論モデルが与えるインパクト
Avatar for SatAI.challenge satai
5
410
A new deal for disabled people
Avatar for Resolution Foundation resolutionfoundation
0
320
研究室単位での自律的 IPv6接続性確立に向けたAS共同運用モデルの提案と実証
Avatar for Hiroki (REO) Kashiwazaki reokashiwa
PRO
0
240
Les émissions de méthane entérique en élevage laitier : Enjeux et travaux menés en Afrique de l’Ouest et en France
Avatar for Idele institutdelelevage
PRO
0
140
ros2-perf-multihost: 分散システムにおける客観的なアーキテクチャ評価フレームワーク
Avatar for takasehideki takasehideki
0
310
Sleuthcon Keynote - How Cybercriminals (ab)use AI
Avatar for Thomas Roccia fr0gger
0
400
Empreinte carbone des ovins : une approche globale (technique, économique, environnementale) – 4 années de résultats avec LIFE GREEN SHEEP
Avatar for Idele institutdelelevage
PRO
0
120

Featured

See All Featured
Mind Mapping
Avatar for Hélio Medeiros helmedeiros
1
410
Designing for humans not robots
Avatar for Tammie Lister tammielis
254
26k
Why You Should Never Use an ORM
Avatar for John Nunemaker jnunemaker
PRO
61
10k
How to Grow Your eCommerce with AI & Automation
Avatar for Katarina Dahlin katarinadahlin
PRO
2
330
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
Avatar for Eileen M. Uchitelle eileencodes
38
3.1k
Design in an AI World
Avatar for tapps tapps
1
360
Keith and Marios Guide to Fast Websites
Avatar for Keith Pitt keithpitt
413
23k
HU Berlin: Industrial-Strength Natural Language Processing with spaCy and Prodigy
Avatar for Ines Montani inesmontani
PRO
0
760
16th Malabo Montpellier Forum Presentation
Avatar for AKADEMIYA2063 akademiya2063
PRO
0
420
Technical Leadership for Architectural Decision Making
Avatar for Kenny Baas-Schwegler baasie
3
610
30 Presentation Tips
Avatar for Ian Lurie portentint
PRO
1
440
Bootstrapping a Software Product
Avatar for Garrett Dimon garrettdimon
PRO
306
120k

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