作者aniox (A smile~)
看板CSSE
標題[問題] 邏輯自動機
時間Tue Apr 21 20:31:16 2009
標題是隨便取的
我想問的是 有沒有什麼現成的軟體 讓我們可以輸入邏輯化的條件敘述後
軟體會自動列出符合邏輯限制的可能性組合
舉學校的教授排課為例
A教授很隨和 他的課被排在星期幾的任何時段都可以
B教授身兼要職 一個禮拜只有禮拜二下午可以排課
C教授想白天上課 下午做自己的研究 所以希望課排白天 但他也沒有非這樣不可
...
將A、B、C...眾多教授列的條件 寫成軟體懂得邏輯格式
讓軟體列出較佳的排課組合
請問有現成的軟體嗎
thx
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.32.72.51
※ 編輯: aniox 來自: 114.32.72.51 (04/21 20:31)
1F：推 costbook:EDK of Evolver 04/21 23:12
2F：推 ccshan:叫做 model search 或 model building。建議拿 Mace4 試試 04/22 10:25
3F：→ messiah0910:「但他也沒有非這樣不可」這句話怎麼邏輯？0 or 1? 04/23 10:50
4F：→ rexrainbow:don't care? @@ 04/23 11:56
5F：推 cjoe:你是想要排課軟體嗎...蠻多研究是這邊的最佳組合問題 04/23 17:57
6F：推 Hseuler:用述詞邏輯可以描述?? 04/24 10:37
7F：推 vintw:這問題不是NP嗎？ 04/25 21:26
8F：推 yoco315:planner 阿.. google一下一狗票... 04/28 05:51