作者aniox (A smile~)
看板logic
標題[請益] 邏輯自動機
時間Tue Apr 21 20:35:32 2009
標題是隨便取的
我想問的是 有沒有什麼現成的軟體 讓我們可以輸入邏輯化的條件敘述後
軟體會自動列出符合邏輯限制的可能性組合
舉學校的教授排課為例
A教授很隨和 他的課被排在星期幾的任何時段都可以
B教授身兼要職 一個禮拜只有禮拜二下午可以排課
C教授想白天上課 下午做自己的研究 所以希望課排白天 但他也沒有非這樣不可
...
將A、B、C...眾多教授列的條件 寫成軟體懂得邏輯格式
然後軟體就會算出最佳或較佳的排課組合
請問有現成的軟體嗎
thx
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.32.72.51
※ 編輯: aniox 來自: 114.32.72.51 (04/21 20:36)
1F：推 Hseuler:哪種邏輯格式? 04/23 16:36
2F：推 teves:我覺得這個很可能是NPC耶... 04/24 00:44
3F：→ teves:NPC的話實用性大減要找到現成的會比較難 04/24 00:45
4F：→ Hseuler: 恩恩 應該是NPC問題 04/24 10:18