ADOPT
发表于 2025-3-23 10:41:32
http://reply.papertrans.cn/16/1553/155209/155209_11.png
教义
发表于 2025-3-23 14:51:19
Further Topics in Default Logic,ed to formalize default reasoning. In this respect, our immediate concern is about the meaning and the nature of defaults. We first treat this matter from a formal point of view. We then try to provide defaults with an application-oriented meaning, in a systematic way.
EXALT
发表于 2025-3-23 21:36:50
http://reply.papertrans.cn/16/1553/155209/155209_13.png
弯曲道理
发表于 2025-3-24 01:26:21
http://reply.papertrans.cn/16/1553/155209/155209_14.png
outskirts
发表于 2025-3-24 02:37:32
https://doi.org/10.1007/978-3-322-84159-9allows an agent (electronic here) to reason. So, a prior endeavour is to determine the forms of reasoning that such a process (hence its model of reasoning) should display if the corresponding agent is to be considered intelligent.
BIAS
发表于 2025-3-24 09:42:16
http://reply.papertrans.cn/16/1553/155209/155209_16.png
清晰
发表于 2025-3-24 13:04:21
https://doi.org/10.1007/978-3-322-84159-9ather those “most reliable conclusions” contradict the justification of each default of the theory! Let us illustrate this with the aid of an example inspired from Lukaszewicz . Assume that on Sundays I go fishing unless I do not wake up early and represent it by the following semi-normal default.
deriver
发表于 2025-3-24 16:29:26
Default Reasoning,allows an agent (electronic here) to reason. So, a prior endeavour is to determine the forms of reasoning that such a process (hence its model of reasoning) should display if the corresponding agent is to be considered intelligent.
木质
发表于 2025-3-24 20:23:30
Formal Logic as a Knowledge Representation Scheme,alsehood. Logic, too, concerns these relationships. In these respects, logic constitutes in and of itself an approach to the problem of knowledge representation because logic relies on a language, namely a means to represent information.
mucous-membrane
发表于 2025-3-25 02:39:58
Problems with Default Logic,ather those “most reliable conclusions” contradict the justification of each default of the theory! Let us illustrate this with the aid of an example inspired from Lukaszewicz . Assume that on Sundays I go fishing unless I do not wake up early and represent it by the following semi-normal default.