The paradigm of disjunctive logic programming (DLP) enhances greatly the expressive power of normal logic programming (NLP) and many (declarative) semantics have beeu defined for DLP to cope with various problems of knowledge representation in artificial intelligence. However, the expressive ability of the semantics and the soundness of program transformations for DLP have been rarely explored. This paper defines an immediate consequence operator TGP for each disjunctive program and shows that TGP has the…

An alternative presentation of the π-calculus is given. This version of the π-calculus is symmetric in the sense that communications are symmetric and there is no dtherence between input and output prehxes. The point of the symmetric π-calculus is that it has no abstract names. The set of closed names is therefore homogeneous. The π-calculus can be fully embedded into the symmtric π-calculus. The symmetry changes the emphasis of the communication mechanism of the π-calculus and opens up possibility for furt…

Some computational issues on abduction are discussed in a framework of the first order sequent calculus. Starting from revising the meaning of "good" abduction, a new criterion of abduction called intuitive-minimal abduction (IMA) is introduced.An IMA is an abductive formula equivalent to the minimal abductive formula under the theory part of a sequent and literally as simple as possible. Abduction algorithms are presented on the basis of a complete natural reduction system. An abductive formula, obtained b…

This paper presents an approach for surface rendering in 3D rectilinear datafield. The approach will first detect the border of the given object in the field by underlying function fitting and the second gradient derivative calculating. On marking the border cells, they will be rendered in polygons to fit the surface of the object. The implementation, as well as some experiments, is given in the paper.

In this papert a brief survey on knowledge-based animation techniques is given.Then a VideoStream-based Knowledge Representation Model (VSKRM) for Joint Objects is presented which includes the knowledge representation of: Graphic Object,Action and VideoStream. Next a general description of the UI framework of a system is given based on the VSKRM model. Finally a conclusion is reached.

Free-formed or sculptured surfaces in engineering products are frequently constructed from a set of measured 3D data points. C2- (C3-) continuity approach is important in this field. This paper presents a method of rectangular interpolation of given 3D data array which is regularly arranged. The interpolation surface which is constructed by tensor product has desirable properties (second-order or third-order continuity locality) and is implemented and adjusted easily. Higher order continuity methods are als…

This paper proposes a novel elastic model and presents a deformable registration method based on the model. The method registers images without the need to extract features from the images, and therefore works directly on grey-level images. A new similarity metric is given on which the formation of external forces is based. The registration method, taking the coarse-to-fine strategy constructs external forces in larger scales for the first few iterations to rely more on global evidence, and then in smaller …

An algorithm is proposed which can be used for the topology design of switched LAN with heavy traffic and multi-segments. The main principle of the algorithm is to split the whole traffic to segments as even as possible. The algorithm consists of binary division and ordinary division. When the number of segments equals to powers of 2, binary division is used; ordinary division is based on binary division but suitable to more common cases. Both correctness and time complexity of the algorithm are discussed i…

In this papers we examine the issue of learning multiple predicates from given training examples. A proposed MPL-CORE algorithm efficiently induces Horn clauses from examples and background knowledge by employing a single predicate learning module CORE. A fast failure mechanism is also proposed which contributes learning efficiency and learnability to the algorithm. MPL-CORE employs background knowledge that can be represented in intensional (Horn clauses) or extensional (ground atoms) forms during its lear…

In this paper, rough set theory is used to extract roughly-correct inference rules from information systems. Based on this idea, the learning algorithm ERCR is presented. In order to refine the learned roughly-correct inference rules, the knowledge-based neural network is used. The method presented here sufficiently combines the advanages of rough set theory and neural network.

Although most invesigators have realized the importance of acoustic simulation in sophisticated VR systems, large computational load involved in this process often contradicts the requirements of real-time interaction, which in return brings on applying the expensive hardware or VR-specific workstations to this area. In order to reduce the computational cost and try to realize the real-time acoustic simulation in software with (or even without) some low-cost hardware, this paper proposes some dynamic mechan…