An important issue in Knowledge Discovery in Databases is to allow the discovered knowledge to be as close as possible to natural languages to satisfy user needs with tractability on one hand, and to offer KDD systems robustness on the other hand. At this junction, this paper describes a new concept of linguistic atoms with three digital characteristics: expected value Ex, entropy En, and deviation D. The mathematical description has effectively illtegrated the fuzziness and randomness of linguistic terms i…

The counting method is a simple and efficient method for processing linear recursive datalog queries. Its time complexity is bounded by O(n.e), where n and e denote the numbers of nodes and edges, respectively, in the graph representing the input relations. In this paper, the concepts of heritage appearance function and heritage selection function are introduced, and an evaluation algorithm based on the computation of such functions in topological order is developed. This new algorithm requires only linear …

F-logic language is a logic database language based on frame logic. It is powerful in expressing object-oriented features. However, there was littIe work discussing its capability of manipulating complex objects. In this paper, the authors compare the capability of F-logic with that of logic database languages represented by COL. Through two pairs of semantic-preserving transformations, F-logic programs and their Herbrand interpretations can be transformed into COL programs and their corresponding Herbrand …

Since extending DATALOG to a general-purpose programming language seems very difficult, many projects have embedded a DATALOG-based query language into a procedural host language, such as CORAL, Glue-Nail, etc.Although DATALOG can be considered as function-free PROLOG, they are very different in many aspects. For instance, DATALOG is declarative while PROLOG isn't, DATALoG takes "a-set-at-atime" mode of evaluation but PROLOG takes "a-tuple-at-a-time" one, DATALOG is only a query language whereas PROLOG is a…

This paper presents the hierarchic chaotic cellular networks for the hardware implementation of hyper-distributed hyper-parallel intelligent problem solving based on competitive wave propagation. By using the bifurcation and the synchronization of distributed chaotic dynamic systems, and by improving the Chua's circuit, the mechanism and the algorithms of heuristic search of an implicit AND/OR graph are realized in a hyper-distributed hyper-parallel environment. This paper's approach has many advantages in …

This paper preseflts a new approach of the synchronous homogeneous concurrent propagation of competitive waves for the purpose of hyper-distributed hyper-parallel heuristic problem-solving. The concurrent algorithm, mechanism and their properties are given. In comparison with the traditional AI algorithms, the approach is featured by the knowledge-based problem-solving in the distributed parallel environment, the feasibility for hardware implementation and the various applications.

The expansion postponement problem in Pure Type Systems is an open problem raised by R. Pollack in 1992. In this paper, the author presents a set of necessary and sufficient conditions for this problem and a set of sufficient conditions for it. The author also gives some properties for pure type systems without the expansion rule.

In this paper, wavelet transform and multigrid method are combined to make the method more practical. It is known that Gaussian filtering causes shrinkage of data. To overcome this disadvantage, Gaussian filtering is replaced with wavelet transform. This method introduces no curve shrinkage. Then, the linearized form of objective equation is proposed. This makes contour matching easier to implement. Finally, the multigrid method is used to speed up the convergence.

QOS (Quality of Service) parameter definitions are the basis of further QOS control.But QOS parameters defined by orgallizations such as ISO and ITU are incoherent and incompatible. It leads to the inefficiency of QOS controls. Based on the analysis of QOS parameters defined by ISO and ITU, this paper first promotes Minimum QOS Parameter Set in transport layer. It demonstrates that the parameters defined by ISO and ITU can be represented by parameters or a combination of parameters of the Set. The paper als…