Hallmark
发表于 2025-3-28 17:47:01
Using maximum entropy in a defeasible logic with probabilistic semantics,extension of the axiomatization of probabilistic logic as defined by Halpern‘s ... For our consequence relation, the reasoning is further justified by an assumption of the typicality of individuals mentioned in the data. For databases which do not determine a unique probability distribution, we sele
死猫他烧焦
发表于 2025-3-28 20:19:35
Legality in inheritance networks,ring an update in order to operate on a possible ambiguity. The ambiguity known as “Nixon Diamond” is resolved on inserting an exception link that inhibits the inference on one path. But as there exists many possibilities to add exception link we ask the user to settle the question. After an up
inclusive
发表于 2025-3-29 02:39:11
A note on information systems associated to termal algebras,h interpretation, in this note we associate two different information systems (in the sense of D. Scott) to a termal algebra, in such a way that the elements of the domains generated by them turn out to have clear counterparts in the knowledge systems setting.
flourish
发表于 2025-3-29 04:38:11
A backward chaining resolution process involving non-monotonic operators, through backward chaining of temporary knowledge. It leads us to the conception of an experimental declarative language, aimed at describing logical specifications, which unifies backward and forward chaining and makes easier dealing with a non monotonic behaviour of the knowledge.
artifice
发表于 2025-3-29 11:17:04
,The development of a “Logic of Argumentation”,or large fragments of the domain. A prototype information system for general practitioners, the Oxford System of Medicine (OSM), addressed this problem by using an informal mechanism of argumentation. Arguments supporting and opposing the propositions of interest were identified when numerical uncer
摇晃
发表于 2025-3-29 15:04:27
An analysis of the temporal relations of intervals in relativistic space-time, uncertainty by the lack of a common clock and the communication delays. Adequate methods for checking the specification and design of such systems must allow for sound reasoning about asynchronous activities, while automated methods should perform the reasoning in polynomial time. This paper presen
overreach
发表于 2025-3-29 17:31:53
http://reply.papertrans.cn/47/4604/460320/460320_47.png
不公开
发表于 2025-3-29 23:42:30
Similarity measures for case-based reasoning systems,uation. In this paper we focus on the case retrieval problem and on the computation of similarity measures between cases. We illustrate this problem by showing an application of our CBR system, named CARS, Combining Approximate Reasoning Systems, in the domain of Mergers and Acquisitions..We define
收藏品
发表于 2025-3-30 01:02:46
Statistical methods in learning,e of the algorithms in the project: linear and quadratic discriminant analysis, k nearest neighbour, CART, backpropagation, SMART, ALLOC80 and Pearl‘s polytree algorithm. We discuss the results obtained for two datasets, one of handwritten digits and the other of vehicle silhouettes.
disparage
发表于 2025-3-30 04:55:58
http://reply.papertrans.cn/47/4604/460320/460320_50.png