无火无烟，无烟无火。
用 Prolog 程序识别上述语句的结论和条件。在答案中，结论必须是，如果有火，就有烟，如果有烟，就一定有火。
我该怎么做呢？
请解释答案。
问问题
302 次
2 回答
2
两者都是可能的，因为有人可能会争辩说，没有火就不可能有烟，没有烟就不可能有火。
但是在没有关于火和烟的先验知识的情况下，您只能得出结论，只有在有火的情况下才会有烟。所以烟雾是条件，因为“如果你看到烟雾（条件）”你“知道有火（结论）”。但是，如果您知道有火，则仅给出这句话，您不能确定有烟。
于 2018-01-22T11:58:43.413 回答
0
我假设这个问题是关于如何根据有关某些原子的其他已知事实来创建暗示事实是真实的合理规则。如果位置“a”在冒烟，则位置“a”一定有火，因此“a”有火。
smoke(a).
smoke(b).
fire(c).
fire(X) :- smoke(X).
smoke(X) :- fire(X).
?- fire(a).
true
?- fire(b).
true
?- fire(c).
true
?- smoke(c).
true
如果您想专门检查某物是否着火或冒烟：
isFire(X) :- fire(X);smoke(X).
isSmoke(X) :- smoke(X);fire(X).
例子：
?- isFire(asbestos), smoke(asbestos).
false <- the first statement is never true so the second never gets called
该;符号表示 OR，所以如果火或烟对于给定的事实为真，它将返回真。
于 2018-01-26T11:10:37.413 回答