Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.

This paper introduces some correlative knowledges and achievements of the Chinese computational semantic theory,refers to the facing problems,puts forward the goal,principle and thinking for the study of the Chinese computational semantic theory as the countermeasure of solving the problems.

This approach analyzes the semantic difference between values of an attribute and presents how to calculate the semantic distance based on domain ontologies, and the semantic distance is then used to improve the traditional kNN methods.

It is presented as a polytheoretical shareable resource in computational semantics and justified as a manageable empirically-based study of the meaning bottleneck in NLP.

Computational Semantics in Discourse: Underspecification, Resolution, and Inference

Compositional and holistic quantum computational semantics

Minimal recursion semantics (MRS) is a framework for computational semantics that is suitable for parsing and generation and that can be implemented in typed feature structure formalisms.

Minimal recursion semantics (MRS) is a framework for computational semantics that is suitable for parsing and generation and that can be implemented in typed feature structure formalisms.

Extending object-oriented programming(OOP) to distributed real-time computing (DRTC) environment has been and is the focus of researches around the world in recent years. In traditional object-oriented computing mechanisms, little computing semantics support is provided for distributed real-time computing applications. It is argued in this paper that the key to solve the problem is to integrate the distributed real-time computing semantics into the object-oriented computing mechanisms. Based on the above policy,...

Extending object-oriented programming(OOP) to distributed real-time computing (DRTC) environment has been and is the focus of researches around the world in recent years. In traditional object-oriented computing mechanisms, little computing semantics support is provided for distributed real-time computing applications. It is argued in this paper that the key to solve the problem is to integrate the distributed real-time computing semantics into the object-oriented computing mechanisms. Based on the above policy, this paper presents an object-oriented distributed real-time computing model. In support of the computing model, several real-lime remote operation invocation (RT-ROP1) mechanisms are designed, namely, synchronous RT-ROPI mechanism, asynchronous RT-RORT mechanism and replicated real-lime operation invocation (R-RTOPI) mechanism All these RT-ROPl mechanisms are implemented in an experimental distributed real-lime computing system -EDRTCS.

A concept of semantic relationship between fuzzy sets is presented in the paper. The concept is not only related to the membership of the fuzzy sets, but also considered releant to the similarity between elements in the domains of the fuzzy sets. So,it can be used to characterize the similarity between fuzzy sets more meticulously than it was done by the various "distance" or "nearness" previously defined in fuzzy mathematics.There fore, it would have a wide range of applications in AI and other areas, such...

A concept of semantic relationship between fuzzy sets is presented in the paper. The concept is not only related to the membership of the fuzzy sets, but also considered releant to the similarity between elements in the domains of the fuzzy sets. So,it can be used to characterize the similarity between fuzzy sets more meticulously than it was done by the various "distance" or "nearness" previously defined in fuzzy mathematics.There fore, it would have a wide range of applications in AI and other areas, such as information retrieval and text classification. Besides, two algorithms to approximately calculate the semantic relationship are given in the paper.

This paper presents the semantic vector space model, a text representation and searching technique based on heuristic syntax parsing and distributed representation of semantic case structures. In this model, documents and queries are represented as semantic matrices, and relevancy prediction is achieved by computing the similarity of such matrices. A prototype system was built to implement this model and used in an experimental study. The preliminary results of the study showed that with longer documents and...

This paper presents the semantic vector space model, a text representation and searching technique based on heuristic syntax parsing and distributed representation of semantic case structures. In this model, documents and queries are represented as semantic matrices, and relevancy prediction is achieved by computing the similarity of such matrices. A prototype system was built to implement this model and used in an experimental study. The preliminary results of the study showed that with longer documents and queries, especially when original documents were used as queries, the system based on our technique had significantly better performance than the VSM based SMART system in terms of recall, precision, and effectiveness of relevance ranking.