The Graphplan planner has enjoyed considerable success as a planning algorithm for classical STRIPS domains In this paper we explore the extent to which its representation can be used for probabilistic planning In particular we consider an MDP style framework in which the state of the world is known but actions are probabilistic and the objective is to produce a nite horizon contingent plan wit...

As a primary architect of CRL-Ops and a former KnowledgeCraft class instructor, I had to deal with the general public’s misconceptions about forward versus backward chaining systems. Mr. Mettrey’s article, in my opinion, is the type which generates the confusion that forward chaining rule systems cannot “backwards chain.” This nonsensical view was held by the vast majority of our customers in t...

One-third of the people with an age over twenty have some signs of degenerated discs. However, in most of the patients the mere presence of degenerative discs is not a problem leading to pain, neurological compression, or other symptoms. This paper presents an interval type-2 fuzzy hybrid rule-based system to diagnose the abnormal degenerated discs where pain variables are represented by interv...

Forward chaining is a popular strategy for solving classical planning problems and a number of recent successful planners exploit it. To succeed, a forward chaining algorithm must carefully select its next action. In this paper, we introduce a forward chaining algorithm that selects its next action using heuristics that combine backward regression and goal ordering techniques. Backward regressi...

As computer graphics evolves and expands into an essential component of many interactive systems, it is almost inevitable that the applications themselves become more complex and ambitious. In particular, the interactive system is rapidly becoming the intelligent system: Not only does the interface permit convenient access to the entities and operations of the application, but it also aids and ...

1 Institute of Mathematics and Computer Science Academy of Sciences of Moldova Academiei 5, Chişinău MD-2028 Moldova E-mail: {sivanov,artiom}@math.md 2 Technical University of Moldova, Faculty of Computers, Informatics and Microelectronics, Ştefan cel Mare 168, Chişinău MD-2004 Moldova 3 Università degli Studi di Milano-Bicocca Dipartimento di Informatica, Sistemistica e Comunicazione Viale Sar...

This paper presents graph operations for processing conceptual graph rules in forward chaining and backward chaining. In both cases the operations provide sound and complete procedures with respect to rst-order logic deduction. First we present our framework: simple conceptual graphs, rules as couples of lambda-abstractions, knowledge base, logical semantics. Next we focus on forward chaining. ...

Business mangement simulation plays an increasing role in schooling and post-qualification. In complex simulation games the interrelationships between decisions and results are intransparent. This is one reason for inefficient knowledge acquisition. Another reason is the forward chaining architecture of "classical" simulation games. In this paper we describe a prototype of a business simulation...