作者查詢 / catso

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

作者 catso 的總覽 (PTT發文,留言,暱稱)

發文數量: 5

收到的『推』: 1 (11.1%)

收到的『→』: 8 (88.9%)

收到的『噓』: 0 (0.0%)

留言數量: 19

送出的『推』: 1 (5.3%)

送出的『→』: 18 (94.7%)

送出的『噓』: 0 (0.0%)

使用過的暱稱: 1

catso 在 PTT 最新的發文, 共 5 篇

[心得] 推荐一本教材

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

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

Re: [討論] 這句話有沒有問題？

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

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

Re: [請益] 有個邏輯寶箱問題

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

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

Re: [請益] 有個邏輯寶箱問題

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

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

Re: [請益] 有個邏輯寶箱問題

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

作者: catso - 發表於 2005/10/04 11:42(20年前)

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

Re: [請益] 有個邏輯寶箱問題

[ 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

Re: [請益] 有個邏輯寶箱問題

[ 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

Re: [請益] 有個邏輯寶箱問題

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

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

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

catso 在 PTT 的暱稱紀錄, 共 1 個

暱稱：catso

文章數量：5