標(biāo)題: Titlebook: An Introduction to Default Logic; Philippe Besnard Book 1989 Springer-Verlag Berlin Heidelberg 1989 Default Logic.Extension.Künstliche Int [打印本頁] 作者: 味覺沒有 時(shí)間: 2025-3-21 19:16
書目名稱An Introduction to Default Logic影響因子(影響力)
書目名稱An Introduction to Default Logic影響因子(影響力)學(xué)科排名
書目名稱An Introduction to Default Logic網(wǎng)絡(luò)公開度
書目名稱An Introduction to Default Logic網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱An Introduction to Default Logic被引頻次
書目名稱An Introduction to Default Logic被引頻次學(xué)科排名
書目名稱An Introduction to Default Logic年度引用
書目名稱An Introduction to Default Logic年度引用學(xué)科排名
書目名稱An Introduction to Default Logic讀者反饋
書目名稱An Introduction to Default Logic讀者反饋學(xué)科排名
作者: Fracture 時(shí)間: 2025-3-21 23:01 作者: 遣返回國 時(shí)間: 2025-3-22 01:11 作者: Tractable 時(shí)間: 2025-3-22 06:35
https://doi.org/10.1007/978-3-322-84159-9 default amounts to “protecting” its justification as well as deriving its consequent. Such a protection can be assured by systematically blocking the application of any default whose consequent, by being introduced into the set of sentences derivable by default, contradicts the justification of an 作者: 使堅(jiān)硬 時(shí)間: 2025-3-22 11:05
systems. Thus, it is mainly designed for the Artificial Intelligence community, both students and researchers, although it can be useful for people working in related fields like cognitive psychology. The major theme is not Artificial Intelligence applications, although these are discussed througho作者: 他去就結(jié)束 時(shí)間: 2025-3-22 16:18 作者: ADORE 時(shí)間: 2025-3-22 19:03
https://doi.org/10.1007/978-3-322-84159-9t the bird is able to fly until a proof to the contrary, if any, can be established. Such common sense knowledge can be expressed by the default . which is to be interpreted as “if . is a bird and if it is consistent that . can fly then infer that . can fly”.作者: 圓錐 時(shí)間: 2025-3-23 00:06 作者: Initial 時(shí)間: 2025-3-23 02:57 作者: strdulate 時(shí)間: 2025-3-23 06:38 作者: ADOPT 時(shí)間: 2025-3-23 10:41 作者: 教義 時(shí)間: 2025-3-23 14:51
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 時(shí)間: 2025-3-23 21:36 作者: 彎曲道理 時(shí)間: 2025-3-24 01:26 作者: outskirts 時(shí)間: 2025-3-24 02:37
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 時(shí)間: 2025-3-24 09:42 作者: 清晰 時(shí)間: 2025-3-24 13:04
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 [1984b]. Assume that on Sundays I go fishing unless I do not wake up early and represent it by the following semi-normal default.作者: deriver 時(shí)間: 2025-3-24 16:29
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.作者: 木質(zhì) 時(shí)間: 2025-3-24 20:23
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 時(shí)間: 2025-3-25 02:39
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 [1984b]. Assume that on Sundays I go fishing unless I do not wake up early and represent it by the following semi-normal default.作者: contrast-medium 時(shí)間: 2025-3-25 06:34
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 [Minsky 1975].作者: Multiple 時(shí)間: 2025-3-25 08:59 作者: 使乳化 時(shí)間: 2025-3-25 14:26 作者: Jejune 時(shí)間: 2025-3-25 18:09
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.作者: 燒瓶 時(shí)間: 2025-3-25 21:34
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.作者: 自戀 時(shí)間: 2025-3-26 00:16 作者: FEAT 時(shí)間: 2025-3-26 05:33 作者: 解脫 時(shí)間: 2025-3-26 09:08
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.作者: 責(zé)問 時(shí)間: 2025-3-26 13:05
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 [Lemmon 1977] or [Hughes and Cresswell 1978]), 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 時(shí)間: 2025-3-26 20:46 作者: bypass 時(shí)間: 2025-3-26 23:01
978-3-642-08078-4Springer-Verlag Berlin Heidelberg 1989作者: Ingratiate 時(shí)間: 2025-3-27 02:36 作者: 違抗 時(shí)間: 2025-3-27 08:46 作者: 賞心悅目 時(shí)間: 2025-3-27 12:02 作者: diskitis 時(shí)間: 2025-3-27 16:26
https://doi.org/10.1007/978-3-322-84159-9soning do not come under the realm of first order logic. These deficiencies have been the motivation for non classical logics (for instance modal logics [Lewis and Langford 1959] and relevance logic [Anderson and Belnap 1975]). In particular, nonmonotonic logics [Bobrow 1980] were introduced after i作者: 憤怒事實(shí) 時(shí)間: 2025-3-27 21:19
https://doi.org/10.1007/978-3-322-84159-9s some kind of nonmonotonic inference rules called defaults. Returning to Example 4.2.1, we know that, given any bird, a good policy is to believe that the bird is able to fly until a proof to the contrary, if any, can be established. Such common sense knowledge can be expressed by the default . whi作者: MAG 時(shí)間: 2025-3-28 00:53 作者: 水獺 時(shí)間: 2025-3-28 02:33 作者: 繁重 時(shí)間: 2025-3-28 07:07
https://doi.org/10.1007/978-3-322-84159-9 this name for the whole logic. They have attacked from various angles the way extensions are defined in default logic; one of them, ?ukaszewicz [1984b], building on his diagnosis of the reason why extensions sometimes do not exist, has proposed an alternative view of the notion of extensions, one b作者: insecticide 時(shí)間: 2025-3-28 13:01
https://doi.org/10.1007/978-3-322-84159-9s that the world to be modelled can only be partially represented. The description of all propositions that are not true in the world to be modelled, which corresponds to an enormous collection of information, is highly problematic. An attractive solution is to make such knowledge implicit, by virtu作者: cornucopia 時(shí)間: 2025-3-28 18:03 作者: transient-pain 時(shí)間: 2025-3-28 22:33
Symbolic Computationhttp://image.papertrans.cn/a/image/155209.jpg作者: asthma 時(shí)間: 2025-3-28 23:19 作者: 蟄伏 時(shí)間: 2025-3-29 07:00
Default Reasoning,ronic agents, in the form of computer systems that people could regard as “intelligent”. Since reasoning appears to be the most sparkling manifestation of intelligence, Artificial Intelligence requires programs with a capacity to reason. Accordingly, the study of models of reasoning is a major theme作者: 驚呼 時(shí)間: 2025-3-29 08:22 作者: Granular 時(shí)間: 2025-3-29 14:13
First Order Logic,1982]) is of course to specify, in a rigorous way, a language for it since, as indicated in Section 2.1, a language is required if a logic is to be defined. There exist infinitely many languages for first order logic, all of them sharing the same core set of special symbols and rules of construction作者: PALL 時(shí)間: 2025-3-29 16:47
Nonmonotonic Extensions for First Order Logic,soning do not come under the realm of first order logic. These deficiencies have been the motivation for non classical logics (for instance modal logics [Lewis and Langford 1959] and relevance logic [Anderson and Belnap 1975]). In particular, nonmonotonic logics [Bobrow 1980] were introduced after i作者: 蚊帳 時(shí)間: 2025-3-29 22:24 作者: BILK 時(shí)間: 2025-3-30 02:25 作者: forestry 時(shí)間: 2025-3-30 07:29 作者: 彈藥 時(shí)間: 2025-3-30 09:39
Default Logic Revisited, this name for the whole logic. They have attacked from various angles the way extensions are defined in default logic; one of them, ?ukaszewicz [1984b], building on his diagnosis of the reason why extensions sometimes do not exist, has proposed an alternative view of the notion of extensions, one b作者: cutlery 時(shí)間: 2025-3-30 13:22
