派博傳思國際中心

標題: Titlebook: Non-Monotonic Reasoning; 2nd International Wo M. Reinfrank,J. Kleer,E. Sandewall Conference proceedings 1989 Springer-Verlag Berlin Heidelb [打印本頁]

作者: T-cell 時間: 2025-3-21 16:15
書目名稱Non-Monotonic Reasoning影響因子(影響力)

書目名稱Non-Monotonic Reasoning影響因子(影響力)學(xué)科排名

書目名稱Non-Monotonic Reasoning網(wǎng)絡(luò)公開度

書目名稱Non-Monotonic Reasoning網(wǎng)絡(luò)公開度學(xué)科排名

書目名稱Non-Monotonic Reasoning被引頻次

書目名稱Non-Monotonic Reasoning被引頻次學(xué)科排名

書目名稱Non-Monotonic Reasoning年度引用

書目名稱Non-Monotonic Reasoning年度引用學(xué)科排名

書目名稱Non-Monotonic Reasoning讀者反饋

書目名稱Non-Monotonic Reasoning讀者反饋學(xué)科排名

作者: 可憎 時間: 2025-3-21 23:08
Autoepistemic logic and formalization of commonsense reasoning preliminary report,

作者: colloquial 時間: 2025-3-22 03:39

作者: MAG 時間: 2025-3-22 05:00
The complexity of Model-Preference Default theories,miting the system‘s expressive power; and by restricting our attention to systems of Acyclic Horn Defaults. These acyclic theories can encode inheritance hierarchies of the form examined by Touretzky, but are strictly more general..This analysis suggests several directions for future research: findi

作者: instulate 時間: 2025-3-22 10:16
A nonmonotonic logic for reasoning about speech acts and belief revision,c (a refinement of Moore‘s autoepistemic logic), in which revision of both the speaker‘s and hearer‘s attitudes can be adequately described. As a collateral benefit, efficient automatic reasoning methods for the formalism exist. The theory has been implemented and is now being employed by an utteran

作者: 擁擠前 時間: 2025-3-22 13:13
Nonmonotonic reasoning in temporal domains: The knowledge independence problem,ance of a more general problem which we call the .. In this paper, we provide a preliminary definition of the knowledge independence problem; we leave to future work further development of the obvious connections with statistical independence. Using our preliminary definition, we show how to represe

作者: 女上癮 時間: 2025-3-22 20:21

作者: 間諜活動 時間: 2025-3-22 22:33

作者: 熄滅 時間: 2025-3-23 03:57
New results on semantical nonmonotonic reasoning, this article we generalize and extend the earlier work. We elucidate the structural relation between the new work and the old. Finally, we apply the new results to give a logical semantical account of justification-based truth maintenance.

作者: COW 時間: 2025-3-23 09:20
The semantics of non-monotonic entailment defined using partial interpretations,nts about the preference ordering, and thereby constrain it. The following technique is used: An . is a pair 〈Δ, ?〉, where Δ is a set of partial interpretations, and ? is a preference order on the members of Δ. A monadic propositional operator . (for default) is introduced, where . is satisfied in a

作者: 娘娘腔 時間: 2025-3-23 10:39

作者: 越自我 時間: 2025-3-23 14:42
Compiling circumscriptive theories into logic programs,an be sometimes transformed into a logic program II, so that, by running II, we can determine whether a given ground literal is provable in .. The method is applicable, in particular, to some formalizations of tree-structured inheritance systems with exceptions.

作者: 反復(fù)拉緊 時間: 2025-3-23 21:09
A circumscriptive theorem prover,lt reasoning. In this paper, we show that these ideas can also be used to construct a theorem prover for a wide class of circumscriptive theories..The ideas to be discussed have been implemented, and the resulting system has been applied to the canonical birds flying example, to a non-separable circ

作者: 難取悅 時間: 2025-3-23 23:24

作者: 不適當(dāng) 時間: 2025-3-24 04:36

作者: RECUR 時間: 2025-3-24 09:47
An extended basic ATMS,ses . contexts simultaneously, but allows monotonic justifications only. The attempt to introduce non-monotonic justifications and defaults at higher levels of the system [de Kleer 86b] failed..We propose to integrate a new kind of node into the ATMS that allows the encoding of non-monotonic justifi

作者: 廣口瓶 時間: 2025-3-24 11:29
A nonmonotonic logic for reasoning about speech acts and belief revision,ents. This process of attitude revision is an interesting domain for the application of nonmonotonic reasoning because speech acts have a conventional aspect that is readily represented by defaults, but that interacts with an agent‘s beliefs and intentions in many complex ways that may override the

作者: neutralize 時間: 2025-3-24 16:12

作者: LARK 時間: 2025-3-24 21:47

作者: 委托 時間: 2025-3-25 02:35

作者: 諄諄教誨 時間: 2025-3-25 06:57
Conference proceedings 1989assau (FRG), June 13-15, 1988. The workshop brought together researchers with different backgrounds, including non-monotonic logic, logic programming, truth maintenance and philosophy. Their papers contain substantial advances to the logical foundations of non-monotonic reasoning, its computational

作者: 元音 時間: 2025-3-25 07:43

作者: languid 時間: 2025-3-25 12:30

作者: Aggressive 時間: 2025-3-25 19:16
The semantics of non-monotonic entailment defined using partial interpretations, member . of Δ in an aggregate 〈Δ, ?〉 iff . is satisfied in all ?-minimal completions of . in Δ. A number of examples of the use of this semantics are discussed, and it is shown that default rules can be expressed in such ways that the conclusions dictated by common sense are obtained.

作者: 思考才皺眉 時間: 2025-3-25 23:05
Hierarchic autoepistemic theories for nonmonotonic reasoning: Preliminary report,ization is based on autoepistemic logic, but introduces additional structure, a hierarchy of evidential spaces. The method offers a natural formalization of many different applications of nonmonotonic reasoning, including reasoning about action, speech acts, belief revision, and various situations involving competing defaults.

作者: 惡名聲 時間: 2025-3-26 02:01