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...

In this paper we consider knowledge bases that organize information using ontologies. Specifically, we investigate reasoning over a semantic web where the underlying knowledge base covers linked data about science research that are being harvested from the Web and are supplemented and edited by community members. In the semantic web over which we want to reason, frequent changes occur in the un...

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...

Validation and diagnosis of relay operation is very important to protection engineers in fault analysis. This paper presents development of an expert system based automated analysis solution, which performs validation and diagnosis of digital protective relay operation in great detail by analyzing data contained in various relay reports and files. In the system, forward chaining reasoning is us...

This paper explains the rule subsystem that is being implemented in the POSTGRES DBMS. It is novel in sev eral ways. First, it gives to users the capability of defining rules as well as data to a DBMS. Moreover, depending on the scope of each rule defined, optimization is handled differently. This leads to good performance both in the case that there are many rules each of small scope and a few...

In the Semantic Web, RDF (Resource Description Framework) and RDF Schema are commonly used to describe metadata. There are a great many RDF data in current web, therefore, efficient storage and retrieval of large RDF data sets is required. So far, several RDF storage and query system are developed. According to the inference strategy they used, they can be classified into two categories, one ex...

We developed a system called DELTA that supports the students’ use of backward chaining (BC) to prove the congruence of two triangles. DELTA is designed as an interactive learning environment and supports the use of BC by providing hints and a function to automatically check the proofs inputted by the students. DELTA also has coloring, marking, and highlighting functions to support students’ at...

User modeling components should include suitable mechanisms for acquiring user models, in addition to representation and management mechanisms. The methods developed to date can be divided into two groups: Those that extract primary assumptions about the user from his/her system input; and those that extract secondary (or derivative) assumptions from primary and other secondary assumptions. Sec...

SATCHMORE was introduced as a mechanism to integrate relevancy testing with the model-generation theorem prover SATCHMO. This made it possible to avoid invoking some clauses that appear in no refutation, which was a major drawback of the SATCHMO approach. SATCHMORE relevancy, however, is driven by the entire set of negative clauses and no distinction is accorded to the query negation. Under unf...

We present a set of rules based on full-angles as the basis of automated geometry theorem proving. We extend the idea of eliminating variables and points to the idea of eliminating lines. We also discuss how to combine the forward chaining and backward chaining to achieve higher efficiency. The prover based on the full-angle method has been used to produce short and elegant proofs for more than...