13349953
Heuristics and normative models of judgment under uncertainty
Abstract Psychological evidence shows that probability theory is not a proper descriptive model of intuitive human judgment. Instead, some heuristics have been proposed as such a descriptive model. This paper argues that probability theory has limitations even as a normative model. A new normative model of judgment under undertainty is designed under the assumption that the system's knowledge and resources are insufficient with respect to the questions that the system needs to answer. The proposed heuristics in human reasoning can also be observed in this new model, and can be justified according to the assumption.
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.
13042163
Non-Axiomatic Reasoning System (Version 4.1)
NARS (Non-Axiomatic Reasoning System) is an intelligent reasoning system. It answers questions according to the knowledge originally provided by its user. What makes it different from conventional reasoning systems is its ability to learn from its experience and to work with insufficient knowledge and resources. The NARS 4.1 demo is a Java applet. It comes with help information and simple examples to show how the system does deduction, induction, abduction, analogy, belief revision, membership evaluation, relational inference, backward inference, new concept formation, and so on, in a unified manner. The demo also allows its user to create new examples to test the system, as well as to see the internal structure and process when the system is running. The on-line help document contains links to relevant publications. A previous version of the system, NARS 3.0, is described in detail in (Wang, 1995), which, and other related publications, are available at the author’s web page.
5778703
Belief Revision in Probability Theory
In a probability-based reasoning system, Bayes' theorem and its variations are often used to revise the system's beliefs. However, if the explicit conditions and the implicit conditions of probability assignments are properly distinguished, it follows that Bayes' theorem is not a generally applicable revision rule. Upon properly distinguishing belief revision from belief updating, we see that Jeffrey's rule and its variations are not revision rules, either. Without these distinctions, the limitation of the Bayesian approach is often ignored or underestimated. Revision, in its general form, cannot be done in the Bayesian approach, because a probability distribution function alone does not contain the information needed by the operation.
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.
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.
6309219
Contextual browsing for highlights in sports video
A novel highlight browsing approach for sports videos, based on contextual cue categorization, is proposed in this paper. Contextual cues are those salient audio and visual cues around highlight segments, and they are also informative and attractive to audiences. With further analysis and categorization of these contextual cues, the user could access highlights more flexibly and effectively. An experimental system is built for broadcasting diving videos in our current work, in which contextual cues such as slow-motion replays and game statistics information are extracted and categorized for highlight browsing. An efficient algorithm for slow-motion replay detection and categorization in diving videos is also proposed. Experimental results on 2 hours broadcasting diving videos have demonstrated the effectiveness and efficiency of the proposed approach.
2424601
Users' interaction with World Wide Web resources: an exploratory study using a holistic approach
Abstract This paper presents the first part of the research on user–Web interaction: a multidimensional model, methodology, and general findings. The objectives of this study are three-fold: (1) to explore factors of user–Web interaction in finding factual information and what happens during this interaction; (2) to develop a conceptual framework for studying user–Web interaction; and (3) to apply a process-tracing method for conducting holistic user–Web studies. The proposed model consists of three components: user, interface, and the World Wide Web. User–Web interaction is viewed as a communication process facilitated through an interface. A process-tracing technique has been designed to capture the processes of user-Web interactions. Twenty-four graduate students participated in this study. Prior to the interaction, each participant was given a questionnaire to report his/her computer and Web experience, the State Trait Anxiety Inventory (form Y1 and form Y2) to measure affective states, and an individually administered Embedded Figure Test to measure cognitive style. Each participant used the Web to find answers to two factual questions. Both the processes (continuous screen shots) and the concurrent verbalizations of thoughts were recorded in synchronized video–audio data. The findings provided rich information on users’ cognitive, affective and physical behaviors. The proposed model is used to present the findings of user behavior in connections with interfaces and the Web.
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.
6086436
3D Line Image Analysis - A Heuristic Parallel Approach with Learning and Recognition
Abstract A heuristic parallel approach for (3d) line image analysis is introduced by using the concept of coordinated graph, layered graph representation, and parallel matching techniques and it significantly reduces the time required for dealing with three-dimensional line image analysis problems. Their fundamental properties and the concept of finite representations are investigated, and an interactive and iterative recognition algorithm with learning and recognition as a part of each other is presented. Several interested examples including curved and disconnected line images are illustrated. In addition to its importance in theoretical studies, this approach can also be applied to 3d object recognition, image processing, and computer vision in industrial, military, and medical fields.
11922333
Parallel Matching of 3D Articulated Object Recognition
In dealing with large volume image data, sequential methods usually are too slow and unsatisfactory. This paper introduces a new system employing parallel matching in high-level recognition of 3D articulated objects. A new structural strategy using linear combination and parallel graphic matching techniques is presented for 3D polyhedral objects representable by 2D line-drawings. It solves one of the basic concerns in diffusion tomography complexities, i.e. patterns can be reconstructed through fewer projections, and 3D objects can be recognized by a few learning sample views. It also improves some of the current methods while overcoming their drawbacks. Furthermore, it can distinguish very similar objects and is more accurate than other methods in the literature. An online webpage system for understanding and recognizing 3D objects is also illustrated.