推 KanoLoa:我想推Prolog ! 04/24 22:16
推 Sinful:N-Queen Problem?! 是謝老大?! XD 04/25 07:11
推 hermitwhite:這主題有趣；我先想知道有沒有能夠把邏輯化的敘述格式 05/11 08:34
→ hermitwhite:和自然語言互換的軟體？我目前需要從自然語言抽出邏輯 05/11 08:36
→ Hseuler:要和自然語言互換很困難吧.. 05/11 11:19
※ 引述《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)