非单调逻辑:困境与出路

Non-monotonic Logic:Difficult Position and the Outlet

非单调逻辑是能够处理人工智能等领域中不确定性推理问题的重要的非经典逻辑分支。在经典逻辑中,前提的增加一定会导致结论的增加,结论是确定的;在非单调逻辑中,随着前提的增加,结论却是不确定的。解决常识推理的一个新思路是如何区分和表达加强前提集的相容和不相容问题。

Non - monotonic logic is an important non - classical logic branch of which can settle the uncertainty reasoning in artificial intelligence. In classical logic, the increase of premise can certainly cause the increase of the conclusion, but in non - monotonic logic, the conclusion is uncertainty with the increase of premise. A new train of thought of solving the commonsense reasoning is how to discriminate and express the compatible and the incompatible of the premise set.