作者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