10740837
A logic of categorization
The reasoning system known as NARS constitutes a model of categorization. NARS is designed to be an adaptive system that works under the constraint of insufficient knowledge and resources. It consists of a categorical language, an experience-grounded semantics, a set of syllogistic inference rules, a dynamic memory structure, and a control mechanism that manages asynchronized parallel inference. In the system, reasoning and categorization are two aspects of the same underlying process. As a model of categorization, NARS unifies several existing theories.
785488
The limitation of Bayesianism
In the current discussion about the capacity of Bayesianism in reasoning under uncertainty, there is a conceptual and notational confusion between the explicit condition and the implicit condition of a probability evaluation. Consequently, the limitation of Bayesianism is often seriously underestimated. To represent the uncertainty of a belief system where revision is needed, it is not enough to assign a probability value to each belief.
2060430
A Defect in Dempster-Shafer Theory
By analyzing the relationships among chance, weight of evidence and degree of belief, we show that the assertion "probability functions are special cases of belief functions" and the assertion "Dempster's rule can be used to combine belief functions based on distinct bodies of evidence" together lead to an inconsistency in Dempster-Shafer theory. To solve this problem, we must reject some fundamental postulates of the theory. We introduce a new approach for uncertainty management that shares many intuitive ideas with D-S theory, while avoiding this problem.
26841509
From inheritance relation to nonaxiomatic logic
Abstract A nonaxiomatic reasoning system is an adaptive system that works with insufficient knowledge and resources. At the beginning of the paper, three binary term logics are defined. The first is based only on an inheritance relation. The second and the third suggest a novel way to process extension and intension, and they also have interesting relations with Aristotle's syllogistic logic. Based on the three simple systems, a nonaxiomatic logic is defined. It has a term-oriented language and an experience-grounded semantics. It can uniformly represent and process randomness, fuzziness, and ignorance. It can also uniformly carry out deduction, abduction, induction, and revision.
28879338
Reasoning in Practical Situations
An automatic reasoning system usually consists of the following major components: (1) a formal language that represents knowledge, (2) a semantics that defines meaning and truth value in the language, (3) a set of inference rules that derives new knowledge from existing knowledge, (4) a memory that stores knowledge, and (5) a control mechanism that chooses premises and rules in each inference step. The first three components are usually referred to as a logic, or the logical part of the reasoning system, and the last two as an implementation of, or the control part of the system.
34131767
Problem Solving With Insufficient Resources
A new approach, "controlled concurrency," is introduced for inference control in an adaptive reasoning system working with insufficient knowledge and resources. With this method, a problem-solving process is constructed from atomic steps in run time, according to the system's past experience and the current context. The system carries out many such processes in parallel by distributing its resources among them, and dynamically adjusting the distribution according to feedback. A data structure, "bag," is designed to support this dynamic time-space allocation, and is a kind of probabilistic priority queue. This approach provides a flexible, efficient, and adaptive control mechanism for real-time systems working with uncertain knowledge. To analyze problem solving in such a system, the traditional computability theory and computational complexity theory become inappropriate, because the system no longer follows problem-specific algorithms in problem solving.
2175115
Phase Transitions in Self-Organising Sensor Networks
In this paper we consider a multi-cellular sensing and communication network, embedded in an ageless aerospace vehicle, that is expected to detect and react to impact location, intensity and damage over a wide range of impact energies. In particular, we investigate self-organization of impact boundaries enclosing critically damaged areas, and measure their spatiotemporal robustness. The presented quantitative information-theoretic techniques clearly identify phase transitions, separating chaotic dynamics from ordered and robust patterns.
16442663
Parallel univariate polynomial factorization on shared-memory multiprocessors
Using parallelism afforded by shared-memory multiprocessors to speed up systems for polynomial factorization is discussed. The approach is to take the fastest known factoring algorithm for practical purposes and parallelize key parts of it. The univariate factoring algorithm consists of two major tasks (a) factoring modulo small integer primes and (b) EEZ lifting and recovery of true factors. A C coded system PFACTOR that implements (a) in parallel is described in detail. PFACTOR is a stand-alone parallel factorizer that can take input from a file, a pipe or a socket connection over a network. It can also be used interactively as a UNIX command. PFACTOR consists of parallel selection of primes, automatic balancing of work, parallel Berlekamp algorithm, and parallel reconciliation of degrees of factors modulo different primes. Actual timings on the Encore Multimax show the effectiveness of the approach. Work on part (b) is still on going.
31996759
Analysis and Design of Parallel Thinning Algorithms - A Generic Approach
In this paper, a generic approach for the analysis and design of parallel thinning algorithms is presented. The procedures for designing 4-subcycle/iteration, 2-subcycle/iteration, and 1-subcycle/iteration thinning algorithms are developed. The experimental results show that these thinning algorithms designed by proposed approach preserve image connectivity, produce thinner results, and obtain faster speed than many existing key thinning algorithms. As an example, a 1-subcycle/iteration algorithm and its experimental results were illustrated, which is in general about two times faster than others in the literature.
15177304
A new method of color image segmentation based on intensity and hue clustering
A new method of color image segmentation is proposed. It is based on the K-means algorithm in HSI color space and has the advantage over those based on the RGB space. Both the hue and the intensity components are fully utilized. In the process of hue clustering, the special cyclic property of the hue component is taken into consideration. The paper gives the definition of the distance and the center in the hue space, based on which the hue-clustering algorithm is implemented. Utilised in medical image processing, the new method gives a good performance.
38659056
Intelligent Pattern Recognition and Applications