[問題] 邏輯自動機

看板CSSE (電腦科學及軟體工程)作者 (A smile~)時間15年前 (2009/04/21 20:31), 編輯推噓6(602)
留言8則, 8人參與, 最新討論串1/1
標題是隨便取的 我想問的是 有沒有什麼現成的軟體 讓我們可以輸入邏輯化的條件敘述後 軟體會自動列出符合邏輯限制的可能性組合 舉學校的教授排課為例 A教授很隨和 他的課被排在星期幾的任何時段都可以 B教授身兼要職 一個禮拜只有禮拜二下午可以排課 C教授想白天上課 下午做自己的研究 所以希望課排白天 但他也沒有非這樣不可 ... 將A、B、C...眾多教授列的條件 寫成軟體懂得邏輯格式 讓軟體列出較佳的排課組合 請問有現成的軟體嗎 thx -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 114.32.72.51 ※ 編輯: aniox 來自: 114.32.72.51 (04/21 20:31)

04/21 23:12, , 1F
EDK of Evolver
04/21 23:12, 1F

04/22 10:25, , 2F
叫做 model search 或 model building。建議拿 Mace4 試試
04/22 10:25, 2F

04/23 10:50, , 3F
「但他也沒有非這樣不可」這句話怎麼邏輯?0 or 1?
04/23 10:50, 3F

04/23 11:56, , 4F
don't care? @@
04/23 11:56, 4F

04/23 17:57, , 5F
你是想要排課軟體嗎...蠻多研究是這邊的最佳組合問題
04/23 17:57, 5F

04/24 10:37, , 6F
用述詞邏輯可以描述??
04/24 10:37, 6F

04/25 21:26, , 7F
這問題不是NP嗎?
04/25 21:26, 7F

04/28 05:51, , 8F
planner 阿.. google一下一狗票...
04/28 05:51, 8F
文章代碼(AID): #19xRoLEG (CSSE)
文章代碼(AID): #19xRoLEG (CSSE)