$30 off During Our Annual Pro Sale. View Details »

Proof as Stories

Avatar for Chris Chris
October 16, 2015
Research
2
710

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
600
Compositional Creativity (ICFP 2017)
Avatar for Chris chrisamaphone
2
780
Anti-Disciplinary: doing a PhD when you like too many things
Avatar for Chris chrisamaphone
1
310
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.7k
Ceptre: A Language for Modeling Interactive Worlds
Avatar for Chris chrisamaphone
1
220
Programming Interactive Worlds with Linear Logic
Avatar for Chris chrisamaphone
2
1.2k
Proof Theory for Narrative Structure
Avatar for Chris chrisamaphone
2
300

Other Decks in Research

See All in Research
論文紹介：Safety Alignment Should be Made More Than Just a Few Tokens Deep
Avatar for Kazutoshi Shinoda kazutoshishinoda
0
150
学習型データ構造：機械学習を内包する新しいデータ構造の設計と解析
Avatar for Yusuke Matsui matsui_528
4
2.1k
その推薦システムの評価指標、ユーザーの感覚とズレてるかも
Avatar for kuri8ive kuri8ive
1
280
論文紹介：Not All Tokens Are What You Need for Pretraining
Avatar for Kosuke Nishida kosuken
1
220
HoliTracer:Holistic Vectorization of Geographic Objects from Large-Size Remote Sensing Imagery
Avatar for SatAI.challenge satai
3
330
GPUを利用したStein Particle Filterによる点群6自由度モンテカルロSLAM
Avatar for TakumiNakao takuminakao
0
640
「リアル×スキマ時間」​を活用したUXリサーチ ​〜新規事業を前に進めるためのUXリサーチプロセスの設計〜
Avatar for PERSOL CAREER Dev | techtekt techtekt
PRO
0
180
SkySense V2: A Unified Foundation Model for Multi-modal Remote Sensing
Avatar for SatAI.challenge satai
3
170
Unsupervised Domain Adaptation Architecture Search with Self-Training for Land Cover Mapping
Avatar for SatAI.challenge satai
3
390
さまざまなAgent FrameworkとAIエージェントの評価
Avatar for Kento.Yamada ymd65536
1
360
J-RAGBench: 日本語RAGにおける Generator評価ベンチマークの構築
Avatar for Koki Itai koki_itai
0
1.1k
第二言語習得研究における 明示的・暗示的知識の再検討：この分類は何に役に立つか，何に役に立たないか
Avatar for Yu Tamura tam07pb915
0
400

Featured

See All Featured
Fight the Zombie Pattern Library - RWD Summit 2016
Avatar for Marcelo Somers marcelosomers
234
17k
GraphQLの誤解/rethinking-graphql
Avatar for sonatard sonatard
73
11k
The Psychology of Web Performance [Beyond Tellerrand 2023]
Avatar for Tammy Everts tammyeverts
49
3.2k
Put a Button on it: Removing Barriers to Going Fast.
Avatar for kastner kastner
60
4.1k
The Illustrated Children's Guide to Kubernetes
Avatar for Chris Short chrisshort
51
51k
The Invisible Side of Design
Avatar for Vitaly Friedman smashingmag
302
51k
How STYLIGHT went responsive
Avatar for nonsquared nonsquared
100
6k
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
Avatar for Vitaly Friedman smashingmag
254
22k
Designing Dashboards & Data Visualisations in Web Apps
Avatar for Des Traynor destraynor
231
54k
Claude Code のすすめ
Avatar for schroneko schroneko
65
200k
Why Our Code Smells
Avatar for Brandon Keepers bkeepers
PRO
340
57k
Hiding What from Whom? A Critical Review of the History of Programming languages for Music
Avatar for Tomoya Matsuura tomoyanonymous
0
280

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