In roadmap-based methods, such as the Probabilistic Roadmap Method (PRM) in deterministic environments or the Feedbackbased Information RoadMap (FIRM) in partially observable probabilistic environments, a stabilizing controller is needed to guarantee node reachability in state or belief space. In belief space, it has been shown that the belief-node reachability can be achieved using stationary ...

In roadmap-based methods, such as the Probabilistic Roadmap Method (PRM) in deterministic environments or the Feedback-based Information RoadMap (FIRM) in partially observable probabilistic environments, a stabilizing controller is needed to guarantee node reachability in state or belief space. In the Linear Quadratic Gaussian-based (LQG-based) instantiation of FIRM, it has been shown that for ...

Attribute reduction is one of the most important problems in rough set theory. This paper deals with attribute reduction in tolerance information systems based on Dempster-shafter theory of evidence. The concepts of plausibility consistent set and belief consistent set are introduced in tolerance information systems. Furthermore, relative plausibility reduction and belief reduction are discusse...

in this research, the decision on belief (dob) approach was employed to analyze and classify the states of uni-variate quality control systems. the concept of dob and its application in decision making problems were introduced, and then a methodology for modeling a statistical quality control problem by dob approach was discussed. for this iterative approach, the belief for a system being out-o...

Representation of belief states is an important issue for knowledge based systems. In this paper, we develop a matrix representation for ordered belief states and show that belief reasoning, revision and fusion can all be interpreted as operations of matrix algebra. Thus, the matrix representation can serve as the basis of algebraic semantics for belief logic.

Early research on categorisation suggested that verbalizable and nonverbalizable category-learning are qualitatively different. Toward this end, the implementational-level model (COVIS–COmpetition between Verbal and Implicit Systems) of categorisation assumes that category-learning involves separate but parallel sub-systems. Specifically, for verbalizable tasks abstract category-labels are lear...

We define Interactive Digital Artworks as Information Technology intensive systems for which spectators are involved in the production of the artistic output. We propose a novel framework for classification of interactive digital artworks built on the critical revision and refinement of previous work. Our approach is based on the input-process-output view of Information Systems. The classificat...

Belief revision systems are AI programs that deal with contradictions. They work with a knowledge base, performing reasoning from the propositions in the knowledge base, "filtering" those propositions so that only part of the knowledge base is perceived the set of propositions that are under consideration. This set of propositions is called the set of believed propositions. Typically, belief re...