作者查詢 / catso

總覽項目：發文 | 留言 | 暱稱

作者 catso 在 PTT 全部看板的留言(推文), 共19則

限定看板：全部

看板排序：

首頁

尾頁

[ logic ]2 留言, 推噓總分: 0

作者: catso - 發表於 2006/04/21 18:38(20年前)

2^F→catso:是的04/28 18:41

[ logic ]23 留言, 推噓總分: +8

作者: UltraSeven - 發表於 2006/03/08 14:12(20年前)

23^F→catso:一尺之槌，日取一半，無窮盡焉。04/21 10:34

[ logic ]6 留言, 推噓總分: 0

作者: catso - 發表於 2005/10/07 01:45(20年前)

1^F→catso:我的編輯是否把你的推文覆蓋掉了？10/07 02:09

2^F→catso:另回你問，我是大陸人，在澳洲，做知識表達的研究，10/07 02:18

3^F→catso:可以說是邏輯學專業吧。一只想找個有邏輯版的大學生中文bbs10/07 02:21

4^F→catso:可能在術語表達上略有不同10/07 02:23

[ logic ]17 留言, 推噓總分: +1

作者: aletheia - 發表於 2005/10/06 13:41(20年前)

2^F→catso:可否解釋你的(1)-(4)是如何來的呢？10/07 00:48

3^F→catso:至于我的形式化方法可見FOL或HCL的相關教材和練習，10/07 00:50

4^F→catso:是自然語言的直接翻譯。10/07 00:52

5^F推catso:至于對于對命題的真值判定可參考closed world assumption10/07 00:56

7^F→catso:open world assumption 和 local closed world assumption10/07 00:58

8^F→catso:prolog的程式編寫資料也會有幫助10/07 01:00

11^F→catso:首先要說明的是此題并不涉及liar paradox，為何如下：10/07 01:14

13^F→catso:在lp中，須單命題或多個命題間有必然自逆現象，注意“必然”10/07 01:15

14^F→catso:而此題中加入了“是否有黃金“這一條件10/07 01:18

15^F→catso:故在命題的逆反中存在析取式(disjunction)10/07 01:19

16^F→catso:所以打破了自逆的必然性，可排除lp的干扰。（結束）10/07 01:20

17^F→catso:對不起，才看到你的直接回文...10/07 01:21

[ logic ]7 留言, 推噓總分: 0

作者: washcar - 發表於 2005/10/04 21:55(20年前)

1^F→catso:一個具体問題為何搞到了如此形而上的地步？！10/05 00:54

首頁

尾頁