contrast-medium
发表于 2025-3-25 06:34:20
https://doi.org/10.1007/978-3-322-84159-9t became apparent that default reasoning (its importance for Artificial Intelligence has been discussed in Section 1.1), violates a fundamental property of first order logic, namely monotonicity .
Multiple
发表于 2025-3-25 08:59:49
http://reply.papertrans.cn/16/1553/155209/155209_22.png
使乳化
发表于 2025-3-25 14:26:51
http://reply.papertrans.cn/16/1553/155209/155209_23.png
Jejune
发表于 2025-3-25 18:09:57
https://doi.org/10.1007/978-3-322-84159-9Apart from Proposition 6.2.6 and Proposition 6.2.23 which are rather trivial, the previous results do not guarantee the existence of an extension.
烧瓶
发表于 2025-3-25 21:34:00
https://doi.org/10.1007/978-3-322-84159-9In the previous chapter we furnished some insight in the use of fragments of default logic as delineated by the format of defaults they admit. The present chapter is devoted to the formal development of these fragments, including open problems.
自恋
发表于 2025-3-26 00:16:28
http://reply.papertrans.cn/16/1553/155209/155209_26.png
FEAT
发表于 2025-3-26 05:33:09
http://reply.papertrans.cn/16/1553/155209/155209_27.png
解脱
发表于 2025-3-26 09:08:57
Fragments of Default Logic,In the previous chapter we furnished some insight in the use of fragments of default logic as delineated by the format of defaults they admit. The present chapter is devoted to the formal development of these fragments, including open problems.
责问
发表于 2025-3-26 13:05:30
Other Logic Formalizations of Nonmonotonic Reasoning,elgrande 1988]. But a widely used approach to nonmonotonic logics is based on modal logics (for an introduction to modal logics see or ), in contrast to default logic and circumscription which do not appeal to modalities at all. This section and those following are devoted to such nonmonotonic logics.
SPASM
发表于 2025-3-26 20:46:42
http://reply.papertrans.cn/16/1553/155209/155209_30.png