Slack archive

sense

Month: 2018-03

2018-03-01

changyajun 12:07:42
@changyajun has joined the channel

2018-03-03

MavisLiao 11:19:06
@llwblue has joined the channel
ft5ommy 11:20:55
@ft5ommy has joined the channel
Cindy Lo 13:48:39
@cindy28898 has joined the channel
caasi 15:29:32
@aelcenganda 想起這個系列的案子 https://github.com/putianxi/putianxi.github.io

GitHub

putianxi/putianxi.github.io

<http://putianxi.github.io|putianxi.github.io> - 滚蛋吧！莆田系

caasi 15:30:01
冒著生命危險（？）整理莆田系醫院 XD
看起來風向對呀，也跟著黨走
應該沒有太大生命危險 (?)
https://zh.wikipedia.org/zh-tw/%E8%8E%86%E7%94%B0%E7%B3%BB
原來姓黨 XD
Jay 17:25:59
@jiejar has joined the channel

2018-03-04

Peace 23:42:06
@achemistd has joined the channel

2018-03-05

hychen 23:05:57
we finally have a map.
pasted image 0.png
shuyang 23:06:34
我們家凱蘭呢
😳 1
hychen 23:08:37
pasted image 2.png
hychen 23:08:59
在裡面
shuyang 23:12:31
這是哪
hychen 23:13:20
群島
hychen 23:14:02
感謝 @fang @achemistd 遠距協助指導!!!
😊 1
Peace 23:15:43
今天講得急，請多見諒

2018-03-07

caasi 12:01:27
現在在進行 design sprint 的 sticky decision
caasi 12:01:58
大家扮演不同的角色來討論昨天的提案
caasi 12:03:00
Slack for iOS Upload.jpg
caasi 12:03:10
Slack for iOS Upload.jpg
caasi 12:03:14
Slack for iOS Upload.jpg
shuyang 13:43:52
玲媛耶
對的！她被我找來XD
caasi 18:45:04
Slack for iOS Upload.jpg
caasi 18:45:09
Slack for iOS Upload.jpg
caasi 18:46:01
不知道要怎麼砍舊圖
caasi 18:46:28
撞到上限了
hychen 23:51:32
新人第一週 onboard 就要做AI人才培育議題脈絡分析 (沒有人可以做好台灣AI人才培育議題脈絡分析! 你就是沒有人)
5

2018-03-08

hychen 16:26:06
<!channel> Hello, 我們快跑完了 Design Sprint, 做了一個用來做議題釐清，可以連結原始外部資料的 Mindmap 的 prototype.
星期五早上你們有空嗎? 我們去demo prototype 給你們看? 或是 channel 裡其他人有興趣?
週五早上是明天早上嗎 XD
是啊
是幾點啊？
10:00, 群島
了解，明早要看房子 XD
殘念
👍 2

2018-03-09

hychen 23:27:59
annotate_any_pdfaa.gif
hychen 23:29:25
先別管內容, 議題釐清分析只有花1天, 所以沒有很完整。
hychen 23:36:40
大部分是 fake data
ael 23:43:24
五天 Sprint 的便利貼累積
Slack for iOS Upload.jpg

2018-03-10

hychen 00:07:37
context 是 for 開會討論用

2018-03-11

hychen 16:49:57
IMG_2019.JPG
hychen 16:50:09
IMG_2056.JPG

2018-03-14

wenchen.x 12:00:38
@hychen HELP~~~~~~ 幫我加Domain name的TXT record
```
_acme-challenge.sense.tw

tFFfI-aghqsceL46JBrxNceP1dtZ-4G2h6cayYUINF8
```
ronnywang 12:02:00
這是為了 wildcard certificate 嗎？
ronnywang 12:02:29
如果是的話建議不要手動改，要設成自動 hook ，不然之後每三個月就要手動改一次喔
wenchen.x 12:11:29
@ronnywang 我也想，但是domain name的設定 我沒辦法access XD
hychen 12:16:28
@wenchen.x 等我吃個飯
💯 1
wenchen.x 12:18:08
@hychen 沒問題的！
ronnywang 12:21:13
如果是用 cloudflare 的話，可以請 @hychen 生一個 api key 出來讓你那邊接起來，就不需要提供密碼了（雖然 api key 跟密碼的意義很像 XD)
❤️ 1
wenchen.x 12:21:54
希望他是cloudflare
hychen 12:22:00
他是 gandi
ronnywang 12:22:45
https://github.com/lukas2511/dehydrated/wiki/Examples-for-DNS-01-hooks

GitHub

lukas2511/dehydrated

dehydrated - letsencrypt/acme client implemented as a shell-script – just add water

1
ronnywang 12:23:14
我是用 dehydrated ，現在也正在測試自動接 wildcard certificate 中
hychen 16:37:57
@wenchen.x done
ronnywang 16:47:18
我今天也把我的 middle2.me 和 hackpad.tw 的 wildcard ssl 設好了，建議還是要設定自動更新，不然三個月手動一次也滿累的，忘了更新網站還會掛幾天
wenchen.x 17:09:44
好喔，我等他生效 @hychen
hychen 17:12:31
我要出門了
hychen 17:12:36
前往 vTaiwan
❤️ 1 1
shuyang 17:25:07
下次換我們去找你們
😃 1
shuyang 17:25:20
so much fun
wenchen.x 17:56:41
怪，還沒有紀錄，gandi是不是 TXT record 有問題啊? :S
wenchen.x 21:20:39
@hychen 沒找到TXT record, 你確定有設定正確嗎:Q
hychen 23:20:20
let me see see
hychen 23:52:39
我覺得 gandi 超麻煩…=.=
ronnywang 23:52:58
我也是 domain 在 gandi 註冊的，但是設定在 cloudflare
ronnywang 23:53:06
gandi 真的是我這輩子用過界面最難用的
ronnywang 23:53:26
cloudflare 只拿來當 dns 管理用的話不需要錢

2018-03-15

wenchen.x 11:44:41
er … 還是沒有，是不是預設TTL太長？30d?
hychen 11:50:22
let me check
hychen 12:41:31
知道哪弄錯了, update setup
🎉 1
wenchen.x 12:43:45
🎉 看到了 ～～～水喔！👍👍👍👍👍
wenchen.x 12:59:09
@hychen 可以幫我改TXT 為 6L5vA3OhfL-FA2tvB5XY_wjo4_eglAPGCQFxFCxz8XE 嗎
hychen 13:04:51
@wenchen.x update
ael 13:40:40
這是現在沒有 https 的原因嗎
wenchen.x 13:59:01
我修我修 XD
hychen 14:02:37
@caasi ping
wenchen.x 14:08:10
https 修正了
caasi 14:29:09
@hychen pong
1

2018-03-17

superbil 15:36:22
@superbil has joined the channel

2018-03-18

hychen 00:16:40
@hychen set the channel topic: 協作網站: http://sense.tw/about | 我們完蛋了嗎？ 科技社群如何自救？
😱 1

2018-03-19

Aiya 00:29:13
@aiya has joined the channel
shuyang 11:54:19
hello, 3/29 3.30pm 小班有約 @fang 要 demo, 我跟 @naxus 也會一起過去～地點在你們那邊嗎？群島樓上？
naxus 12:19:53
@naxus has joined the channel
ael 12:33:21
@sylin 還沒約地點欸，也可以約你們那邊
shuyang 12:42:43
oh~~我都可以，我還沒去過你們那邊，所以挺好奇的，而且想看一下你們牆上的便利貼（如過還在的話）
ael 12:43:35
當然不在了 XD 群島是社群的科技藝術空間
@sylin 很熟啊 XD
原來是在群島XD 我以為是群島樓上
便利貼有拍起來，應該整理一下可以丟出來
好喔，我們剛 PDIS 工作會議全辦公室一起看了一下影片，感覺跟我們協作會議會用到的工具 (ibm) 接得不錯。
ibm 可不可以錄一個影片來看啊
@sylin 群島樓上是人家家
chihao 12:49:04
3/31第二次OP松，要來demo嗎？ @hychen @pm5
❤️ 2
chihao 12:49:25
https://www.facebook.com/events/216098348968597/

facebook.com

OP松 #2

▌提案、偷跑、短講報名 <https://goo.gl/WXHyrD> #開放參與松​是個能夠吃吃喝喝、輕鬆聊天、產生連結的地方。沃草的開發者們會在這裡與一起coding、聊天、分享經驗。 ▌我們關心的主題 1、用傳播媒體的力量繼續推動開放透明、公民參與。 2、定義設計及軟體開發在當代的新聞媒體的價值。...

hychen 12:49:38
好像不錯
chihao 12:50:06
也想聊聊關於藝文政策審議（？）的想法
hychen 12:53:19
ok
hychen 12:55:13
@hychen set the channel topic: 協作網站: http://sense.tw/about | 我們完蛋了嗎？ 科技社群如何自救對抗這部還在工業時代的國家機器？
chihao 12:56:34
✌️
hychen 12:59:50
@chihao 我有跟 pm5 提到把議題釐清協作變成一次群眾運動(movement)，大概就是把開放政府協作會議那樣轉成民間版遍地開花，初始想法是看是不是放在 OP 松做這件事
💯 3 3 👍 1
hychen 13:00:45
@hychen set the channel topic: 協作網站: http://sense.tw/about | 我們完蛋了嗎？ 走在時代尖端的人如何自救對抗這部還在工業時代的國家機器？
hychen 17:16:56
@sylin 問一下做IBM的RD方便牽一下線嗎? 我們這邊想參考你們那邊有哪些欄位，這樣之後的 data 比較好整合。 @pm5 目前 lead 整個tiddlymap+trello+hyphosis的開發
shuyang 17:19:48
ibm: ibm.pdis.tw by @naxus
🖖 2

2018-03-20

Kanail 16:05:28
嗨 All
這張圖是我們定義出自 design sprint 後發展出來的工具應有的關鍵操作流程。
Sense.tw是一個協助回歸文本整理issue的工具，所以我們希望操作步驟可以對應一般人做資料整理時的行為。
這張圖包含了我們這個sprint想做的prototype規劃設定，以及工具功能在規劃上需要再思考、定義清楚的部分。希望大家可以給予feedback，協助我們在工具規劃上想得更透徹吶
toolprocess.png
Kanail 16:08:21
tool.png
hychen 16:21:14
@sylin ^^
1
hychen 17:35:11
@wenchen.x blog.sense.tw 不太容易連的到
hychen 17:35:19
it seems not stable.
wenchen.x 17:43:49
@hychen CPU使用率不正常飆高，我正在調查QQ
hychen 17:44:22
@wenchen.x 應該是 instance 等級太低
hychen 17:49:55
@wenchen.x 直接調整到下一級就好
wenchen.x 17:52:14
我先scale一台出來比較快 XD
wenchen.x 17:52:31
已經把部分服務丟到第二台server了
hychen 18:02:25
@wenchen.x 接下來要開始做 content building/link building。 所以 blog 不能掛。
wenchen.x 18:14:35
OK!
wenchen.x 18:34:56
我抓到兇手了-_- k8s的dashboard爛掉不停地重啟，產生大量log讓主機自帶的fluentd忙死吃光資源

2018-03-21

au 09:19:25
剛看到 MermaidJS (hackmd 內建支援) 好像很適合用來做 IBM 和 Sense 的上層心智圖 preview /cc @naxus https://hackmd.io/2aZtwrB8RQWvWpYYYUyG5A?view#

hackmd.io

Ubernomics: Marketplace Monopolies and What To Do About Them - HackMD

6 5
hychen 13:07:51
@pm5 ^
yingshin 15:01:44
@yslee has joined the channel
hychen 23:00:47
I think we can not apply it.

2018-03-22

ael 00:06:40
超莫名的，端傳媒的香港員工表示聽到三個人講到 sense.tw （還是其實是同溫層太厚）
ael 00:06:52
但還是來撒一下花了（撒花）
🎉 7 🌼 6
hychen 00:20:35
同溫層太厚
hychen 01:14:50
@wenchen.x but my startup could apply it.
1
Chan 12:01:44
@a047752832 has joined the channel
hychen 13:50:46
去他的KPI~~~~~~ (在這邊我很敢講)
hychen 13:52:56
google design sprint 其實滿適合拿來找政策執行中的關鍵瓶頸節點 (我覺得)
hychen 13:54:10
但五天實在太久
tboydar 20:27:57
@tboydar has joined the channel
1
Kanail 22:11:11
Hi ~ 阿達學長！

<@U9THHK02U> has joined the channel

nonumpa 23:07:14
@acerxp511 has joined the channel

2018-03-23

swpave 07:52:08
@swpave has joined the channel
shuyang 14:30:21
你們是怎麼用 trello 的？

<@U2PUXG69E> 問一下做IBM的RD方便牽一下線嗎? 我們這邊想參考你們那邊有哪些欄位，這樣之後的 data 比較好整合。 <@U0384RCFD> 目前 lead 整個tiddlymap+trello+hyphosis的開發

shuyang 14:31:04
你們是怎麼用 trello 的？

<@U2PUXG69E> 問一下做IBM的RD方便牽一下線嗎? 我們這邊想參考你們那邊有哪些欄位，這樣之後的 data 比較好整合。 <@U0384RCFD> 目前 lead 整個tiddlymap+trello+hyphosis的開發

我們把 hypothesis 標註完的quote，export 丟到 Trello 變成卡，卡片在 Trello 的list 排完之後，一個 list 變成一個心智圖上的 Node。
誰可以進 trello?
For prototype, so far everyone
喔喔～有趣！那請問 user 也可以進 trello 改東西嗎？因為如果 user 沒照你們的格式寫的話，要怎麼自動轉成心智圖？
hychen 14:50:02
trello 目前拿來做蒐集連結的 inbox，跟 grouping 連結
hychen 14:50:21
一個 list 就是一個 category
chihao 15:35:22
paperjs 🙌
ael 15:36:19
我們把 hypothesis 標註完的quote，export 丟到 Trello 變成卡，卡片在 Trello 的list 排完之後，一個 list 變成一個心智圖上的 Node。
hychen 15:38:00
@pm5
```<iframe src="https://trello.com/c/OKVduwHL.html" frameBorder="0" width="340" height="220"></iframe>
```
hychen 15:45:17
@chihao 等操作動線確定後，會開始刻 editor。
好期待
剛想到個功能是可以新增一個底圖(市區規劃圖)，然後可以去把相關政策抱/怨跟規劃圖關聯應該滿不錯。
inbox 跟 grouping 可能也還是要自己弄
hychen 17:06:27
我這邊會先設計 API server 的 data model.
danielscw 17:51:08
@neant76 has joined the channel
clkao 19:28:24
MIC 幫資策會做的抄襲偵測系統就這樣做的

2018-03-24

hychen 15:11:32
https://www.canner.io/

canner.io

CannerIO - One CMS build for Firebase, Parse and GraphQL

Worrying about building CMS for Firebase? Canner is a platform that provide power for developers to build CMS on top of applications in one schema.

hychen 15:11:43
backend 好像可以用這個，可以快速客製化不同的後台介面，這樣 sense 可以依據不同的 workshop 設計不同的表單介面
🔮 1
hychen 15:41:18
跟 howard chi 說了後面如果能解決 i18n 的問題會很威。
hychen 15:52:03
5月份他們要 release open source framwork
hychen 15:59:41
下星期來試用看看
hychen 16:03:22
Howard 說下星期會上 markdown editor component (cool)
hychen 16:06:01
請他之後加個 latex editor component
theacat 17:22:16
@theacat has joined the channel
clkao 17:23:08
++

2018-03-25

Fang 14:05:44
@hychen 我們有針對這件事規劃了一個工作坊，目的在把現有的東西調整成大家都可以自行調整、擴充的版本，所以也符合民間版遍地開花的scope，下禮拜四可以show給你們看，可以大家一起討論！

<@U03CX883V> 我有跟 pm5 提到把議題釐清協作變成一次群眾運動(movement)，大概就是把開放政府協作會議那樣轉成民間版遍地開花，初始想法是看是不是放在 OP 松做這件事

@fang 週六⋯啊，你有事 XD
@chihao 對啊，要主持這個議題的協作會議 https://join.gov.tw/idea/detail/7d9bdd7c-6b9a-4105-851d-8d75d74d2a8b
買個台灣大地圖貼在牆壁上，開始放可以遍地開花的基地點!!!!
@hychen 🤨
我是說我想在我家的牆壁貼一張這個
XD
🎉 5 👍 2

2018-03-27

2018-03-28

2018-03-29

hychen 21:36:27
@shawn111 ^^^
hychen 21:36:49
@shawn111 你可以看一下前面的討論
👍 1
hychen 21:37:01
@fang workshop 的draft 何時可以 public?
hychen 21:38:34
可以讓 @shawn111 自己 run 看看
👍 1
shawn111 21:39:59
@hychen workshop 的draft 是指你們上次五天的討論嗎?
shawn111 21:40:26
@hychen 還是 https://www.canner.io/ 這個?

canner.io

CannerIO - One CMS build for Firebase, Parse and GraphQL

Worrying about building CMS for Firebase? Canner is a platform that provide power for developers to build CMS on top of applications in one schema.

pm5 21:52:33
@shawn111 workshop 是指 PDIS @fang 想設計的議題討論工作坊
pm5 21:53:18
我們上次五天討論的是 sense.tw，今天有拿去跟 PDIS 討論未來合作的可能
pm5 21:53:49
canner.io 是我們可能之後用來做 sense.tw backend 的服務（評估中）
shawn111 21:55:06
@pm5 感謝說明...
hychen 22:04:38
@shawn111 你先看一下開放政府協作會議的影片
hychen 22:04:57
我們想把它轉成民間可以自己run 的版本
shawn111 22:06:33
@hychen https://www.youtube.com/watch?v=ncHuA23F7to 你指像這個嗎
shawn111 22:15:05
@hychen https://www.youtube.com/watch?v=BGdnLEJkp6w 好的好的...我想我找到了...

2018-03-30

Fang 09:46:39
@hychen @shawn111 已在文件最後加入cc授權條款，已可公開，workshop plan 如下 https://goo.gl/jaf3kW
請問 @shawn111 何時會想試run看看呢？我和@sylin也許可以協助。

<@U3NT8U4K0> workshop 的draft 何時可以 public?

hychen 15:43:58
可能是8月的 coscup 社群軌
hychen 15:44:28
但科技藝術社群也有興趣去做藝術相關政策的審議
@hychen 酷耶，對藝術相關政策有興趣，這方面的domain knowledge也比較多一些
這個審議是 @chihao 他想call的
Call call call
🙌 1
Kanail 16:59:09
（之前整理的 map 更新一下）謝謝芳睿呀～
https://drive.google.com/open?id=18LEAjF4uOnZhtv9rqZlpydoxoeA9Pa7O
Kanail 16:59:13
Flow.png
shuyang 22:47:27
issue-analysis-mapping-3.pdf
shuyang 22:49:17
我先提供一下上次說要分享出來的資料～
shuyang 22:49:47
然後借了 4/11下午1pm-6pm在空總發夢源
同一時間
❤️ 3
shuyang 22:50:02
在開放廚房會是 vTaiwan 小松
shuyang 22:50:26
歡迎兩邊跑，發夢源的好處就是多了兩個白板

2018-03-31

hychen 00:08:16
@sylin https://g0v.hackpad.tw/--mynkDCEAXgc

g0v.hackpad.tw

鄉民關心你 - 專案介紹

什麼是鄉民關心你(Kuansim) 一個企圖處理蒐集，整理，串連，行動，追蹤的去中心化群眾參與社會議題的平台。 是串接事件和人的媒介，是對話的一個窗口，它存在的目的，最基礎是備忘，其次是串聯和關注，更積極的是通往後續的「行動」，整套都接通了，才是鄉民關心你的全貌。 *有沒有考慮要加入所謂帶狀責任的概念進去??因為是追蹤各種事件或政策延續的發展，其實也可以清楚去回溯到久遠以前，某件"政績"或"事件"是橫跨世代、政黨輪替、好幾個官員或原本就是政務官一般性工作的內容，一直持續累積發生的(或是遠因)，其責任(或政績)不是只有某個人應該100%全有的，鄉民關心你或許也可以突現出"帶狀責任"的概念

hychen 00:08:38
@sylin 我以前寫的從民間看過來的議題釐清需求
hychen 00:11:46
@aelcenganda @daphnemaca 我以前定義的資料結構。 目前 sense 這邊的 Card 接近事件, Cluster 接近(Category)

```
名詞定義

1. 事件(Event): 有時序的資料，可以是新聞、公文、社群網路討論串、公聽會等等。
2. 標籤(Tag): 資料集的屬性。
3. 分類(Category): 互斥的資料集 。
4. 立場(Position): 對特定議題的觀點。
5. 問題(Problem): 通常由行政官僚，政策分析師等提出對策
6. 議題(Issue): 政客，媒體，政治顧問透過分析、界定、區格與標籤等手段將問題轉化成"對社會真實的爭辯。 p.123, 公關政治學
"問題是必須加以解決的，而議題卻只是政治人物用來混淆選民以追求本身仕途的工具" ~ Dirty Politics, Kathleen H. Jamieson
7. 議題設定: 指大眾傳播媒介通過報導內容的方向及數量，對一個議題進行強調。
8. 議題框架效應: 一個問題用兩種說法，兩種說法在邏輯意義上其實是相似的，然而卻導致了不同的決策判斷。
9. 期望結果: 群眾判斷要不要對特定議題繼續爭辯的準則。
10 信任網路(Trust Network): http://en.wikipedia.org/wiki/Wikipedia:Trust_network
11 同溫層 Filter Bubble: a result state in which a website algorithm selectively guesses what information a user would like to see based on information about the user (such as location, past click behaviour and search history) and, as a result, users become separated from information that disagrees with their viewpoints, effectively isolating them in their own cultural or ideological bubbles.
12. Garbge Information: <--- 我忘了這是什麼
```
hychen 00:28:49
@sylin 所以人的部分，之前有一份通訊錄專案, 是 @superbil 處理
hychen 00:28:56
IOS app 版在這 https://github.com/g0v/addressbook-iOS

GitHub

g0v/addressbook-iOS

addressbook-iOS - 政府公開通訊錄 iOS 版

superbil 00:30:33
嗯…網頁版的好像比較完整 iOS 版已經停止開發4年了
hychen 00:30:51
格式是 follow popolo
http://hackfoldr.org/kuansim/4FYtOSv9vl6
shuyang 10:49:57
Screenshot 2018-03-31 10.47.58.png
shuyang 10:50:03
我們目前的格式很簡單
shuyang 10:50:38
比較詳細資料結構 @naxus 補充
clkao 13:03:54
@hychen 你們有陳老師電話嗎？
pm5 13:31:07
這個名字好熟啊
ael 13:32:19
@clkao 我沒有，我不知道 hychen 有沒有。今天要上班，應該可以打到辦公室問助理
ael 13:32:40
@pm5 我們要做 HAL！
pm5 13:34:08
那就要改變底層的技術方向了 https://www.youtube.com/watch?v=JepKVUym9Fg

YouTube

If HAL9000 was Amazon.com's Alexa

❤️ 1 🤖 1
pm5 15:47:35
@ronnywang 像這種分析圖可能有用 https://medium.com/bender-and-paper/towards-an-argument-interchange-format-e9ac3f77d493

Medium

Towards an argument interchange format (2006) – 彎曲論報 – Medium

提出 Argument Interchange Format（AIF）的論文[1]。AIF 是一個發展中的概念模型，其目標是做為一種通用的、交換論點（argument）的格式，這有助於開發實用的論辯系統，無論是要自動化地檢驗結論或是操作論點架構。後續的研究也有用 RDF…

🙌 2
hychen 15:53:53
@sylin 我覺得初期不要弄得太複雜。 先簡單確認幾個重要的欄位就好。
3
naxus 16:45:58
@sylin 背景資料可能也要限制字數跟補充說明 其他的都跟我們討論的差不多
hychen 19:48:42
@clkao 我沒有
hychen 19:58:53
ronny 說審計處那邊有很多的數據。 我覺得這類的數據應該要可以跟政策裡面的數據關聯。
hychen 20:00:39
我 api 先定義在這邊，但後面會考慮用 graphql
hychen 20:27:47
https://medium.com/bender-and-paper/a-review-of-argumentation-for-the-social-semantic-web-2013-2e84bb55ee15

Medium

A review of argumentation for the Social Semantic Web (2013)

這是一篇 review 文章[1]，很大部份的重點放在社交語意網（Social Semantic Web），整理了 14 個論辯（argumentation）的理論模型、14 個論辯的語意網模型（即 ontology）、37 個把論辯過程展現在 web 上的工具。

@null 20:31:07
@hychen commented on @sylin’s file Screenshot 2018-03-31 10.47.58.png: 資源的定義是什麼？
Screenshot 2018-03-31 10.47.58.png
hychen 20:40:57
@pm5 他這些模型跟 model checking 這個 model 的東西有關嗎?
pm5 23:10:48
model checking 的 model 會有嚴格的邏輯描述，這樣才能用檢驗它有沒有某個 property，也就是「有 structure M 與 initial state s 結果會是 p」這種性質。這比較像 AIF 裡的 scheme 想要描述的概念。而 argumentation theory 的 model 例如 AIF 裡用的 directed graph 比較像 abstract syntax tree，想要把口語的論述變成像語法樹的結構，再來檢驗或操作它。
👍 1