Research on decomposition and transformation of complex decision problem based on cloud and/or tree;

This paper formalizes a product structure with related characteristics based on AND/OR tree,and shows that the employment of this formalization can achieve a more flexible BOM design.

By decomposing workflow model based on their business instances,the verification of WAR was reduced to that of its business instances,the parallel task sets of the business instances and the tasks authorization reasonability in the parallel task set,thus the corresponding And/Or tree notat.

Meantime,research the knowledge representation with causal reasoning iterative and inference engine searching mechanism based on the and/or tree.

This paper studies how to solve AND/OR tree in Artificial Intelligence with Petri Net,and presents a way that first converts a AND/OR tree to the relative Petri Net,and then obtains a solution tree of the original AND/OR tree through its reverse tree,and finally gets the optimal solution tree of AND /OR tree with fuzzy Petri Net inference.

Fuzzy regular tree expression is introduced,then the paper discusses the recognizability,obtains the sufficient and necessary condition that fuzzy tree language is regular.