※ 引述《aniox (A smile~)》之銘言： : 標題是隨便取的 : 我想問的是 有沒有什麼現成的軟體 讓我們可以輸入邏輯化的條件敘述後 : 軟體會自動列出符合邏輯限制的可能性組合 : 舉學校的教授排課為例 : A教授很隨和 他的課被排在星期幾的任何時段都可以 : B教授身兼要職 一個禮拜只有禮拜二下午可以排課 : C教授想白天上課 下午做自己的研究 所以希望課排白天 但他也沒有非這樣不可 : ... : 將A、B、C...眾多教授列的條件 寫成軟體懂得邏輯格式 : 然後軟體就會算出最佳或較佳的排課組合 : 請問有現成的軟體嗎 : thx 你的意思是說，有沒有軟體輸入邏輯條件(對於任何問題) 然後就自動解出符合條件的解？ 一個問題是，你要用什麼邏輯語言描述他? 如果你真的可以用命題邏輯或是述詞邏輯的話 下面有兩個自動證明器。 http://0rz.tw/XxIsR http://0rz.tw/7Uvzm 不過他都是證明 |-Ω是一個tautology 似乎對你的問題沒有什麼用處。 我覺得你還是要動手寫一隻程式去run 一，問題看起來不難，只要選定教授排課的優先權就可以。 二，要是這麼好，很多運籌學問題就不用學者辛苦的跑去解決了XDD 舉例來說，對於背包問題 我只要給訂目標函數和限制函數 n 目標函數Max Σ Profit(i)*Xi 0<=Xi<=1 i=1 n 限制函數Max Σ Weight(i)*Xi<=M 0<=Xi<=1 i=1 然後給那個邏輯程式跑一跑 答案就出來了 但即使做的出來 1.通常都是數值解 2.效率會很差。 像上面那個問題可以帶進Mathematica算。 但如果問題是離散且不可窮舉的，通常就沒有這麼簡單。 而且從你那問題看，你還要告訴電腦一個禮拜有星期一到星期日， 一天有多少堂課..如果想要用形式語言來描述還蠻麻煩的。 如果你只是想要解決排課問題， 其實已經有現成的方法了。 http://0rz.tw/hr5Vg 像這個論文就是用基因演算法來找近似最佳解 不過他考慮的比較複雜，不只有教授的授課時段優先順序。 至於你說的 輸入目標條件 然後尋求解 我有到相關的論文 http://0rz.tw/GdICf 是台大資工的項潔教授 用命題邏輯來解決一些計數問題 例如N皇后問題。 不過我沒有仔細看 你可以研究一下 --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 118.169.225.171 ※ 編輯: Hseuler 來自: 118.169.225.171 (04/23 18:36)