Knowledge-base organization and reasoning technology in expert system for constituting arc welding process;

Research on Case Based Reasoning in Plastics Injection Mold Design;

Research and development of case-based reasoning system of product-oriented process planning information;

Structure varied discrete dynamic Bayesian network and its inference algorithm;

Inference Analysis on Multi-Level Security Database System;

Direct calculation inference algorithm for discrete dynamic bayesian network;

Combined with application development of computer aided process planning system,the knowledge presentations,analysis,computation and reason process of intelligent expert system are described in detail.

The main contributions of this paper include the semantics of semantic import and reasoning support for TBox reasoning in simple ontology spaces,and presented a distributed algorithm for TBox reasoning of semantic import of ALC ontologies in simple on.

It is face with accusations that it cancels observation, theory, and reasoning, and that it result in views on science that is.

According to the basic theory of blackboard control structure, this article introduces an inferred method of the blackboard control structure, which used in a cooperative agent specialist system of CAPP, and points out that, in the actual design procession, all the submission can be solved by serial, parallel, or circle method.

Through analyzing the cognitive context and the inferential process in this paper, we get that the construction of students’ cognitive context can promote reading teaching.

He points out that translation is an act of ostensive-inferential interlingual interpretation and of verbal communication.