Loading...




Bimonthly    Since 1986
ISSN 1000-9000(Print)
/1860-4749(Online)
CN 11-2296/TP
Indexed in:
SCIE, Ei, INSPEC, JST, AJ, MR, CA, DBLP, etc.
Publication Details
Edited by: Editorial Board of Journal Of Computer Science and Technology
P.O. Box 2704, Beijing 100190, P.R. China
Sponsored by: Institute of Computing Technology, CAS & China Computer Federation
Undertaken by: Institute of Computing Technology, CAS
Published by: SCIENCE PRESS, BEIJING, CHINA
Distributed by:
China: All Local Post Offices
Other Countries: Springer
 
ip访问总数:
ip当日访问总数:
当前在线人数:
  • Table of Content
      10 March 1996, Volume 11 Issue 2 Previous Issue    Next Issue
    For Selected: View Abstracts Toggle Thumbnails
    Articles
    An Operational Approach to Belief Revision
    Zhang Yuping; Li Wei;
    Journal of Computer Science and Technology, 1996, 11 (2): 97-107. 
    Abstract   PDF(480KB) ( 1420 )   Chinese Summary
    A deduction system, called RE-proof system, is constructed for generating the revisions of first order belief sets. When a belief set is rejected by a given fact, all maximal subsets of the belief set consistent with the fact can be deduced from the proof system. The soundness and completeness of the RE-proof system are proved, which imply that there exists a resolution method to decide whether a revision retains a mtalmal subset of a belief set.
    References | Related Articles | Metrics
    Belief Revision by Sets of Sentences
    Zhang Dongmo;
    Journal of Computer Science and Technology, 1996, 11 (2): 108-125. 
    Abstract   PDF(778KB) ( 1299 )   Chinese Summary
    The aim of this paper is to extend the system of belief revision developed by Alchourron, Gardenfors and Makinson (AGM) to a more general framework.This extension enables a treatment of revision not only by single sentences but also by any sets of sentences, especially by infinite sets. The extended revision and contraction operators will be called general ones, respectively. A group of postulates for each operator is provided in such a way that it coincides with AGM's in the limit case. A notion of the nic…
    References | Related Articles | Metrics
    Some Undecidable Problems on Approximability of NP Optimization Problems
    Jiamg Xiong;
    Journal of Computer Science and Technology, 1996, 11 (2): 126-132. 
    Abstract   PDF(313KB) ( 1383 )   Chinese Summary
    In this paper some undecidable problems on approximability of NP op-timization problems are investigated. In particular, the following problems are all undecidable: (1) Given an NP optimization problem, is it approal-mable in polynomial time? (2) For any polynomialtime computable function r(n), given a polynomial time approkimable NP optimization problem, has it a polynomialtime approximation algorithm with approkimation performance ratio r(n) (r(n)-approkimable)? (3) For any polynomial-time computable func…
    References | Related Articles | Metrics
    NNF and NNPrF—Fuzzy Petri Nets Based on Neural Network for Knowledge Representation, Reasoning and Learning
    Zhou Yi; Wu ShiLin;
    Journal of Computer Science and Technology, 1996, 11 (2): 133-149. 
    Abstract   PDF(735KB) ( 1343 )   Chinese Summary
    This paper proposes NNF - a fuzzy Petri Net system based on neural network for proposition logic representation, and gives the formal definition of NNF. For the NNF model, forward reasoning algorithm, backward reason-ing algorithm and knowledge learning algorithm are discussed based on weight training algorithm of neural network - Back Propagation algorithm. Thus NNF is endowed with the ability of learning a rule. The paper concludes with a discussion on extending NNF to predicate logic, forming NNPrF, and …
    References | Related Articles | Metrics
    Synchronization-Oriented Placement and Retrieval Strategies for Delay-Sensitive Media Streams
    Zhao Yu; Shi Jiaoying; He Zhijun;
    Journal of Computer Science and Technology, 1996, 11 (2): 150-160. 
    Abstract   PDF(467KB) ( 1371 )   Chinese Summary
    Multimedia data include text, image, audio and video, etc. Recent deve-lopments and advances in the areas of mass storage technology and high speed networks make it feasible for multimedia computing systems to offer services such as multimedia e-mail, teleconferencing and various vivid games. The stor-age and retrieval of multimedia data are two of the most important technologies in the future multimedia systems. This paper analyzes the synchronization re-quirements of the delay-sensitive media streams, cla…
    References | Related Articles | Metrics
    Class Based Contextual Logic for DOOD
    Jose K- Raphel; Siu Cheung Hui; Angela Goh;
    Journal of Computer Science and Technology, 1996, 11 (2): 161-170. 
    Abstract   PDF(428KB) ( 1289 )   Chinese Summary
    Contextual logic provides a mechanism to reason about modules. In this paper, this theory of modules is extended to a context theory of classes where class is in the true spirit of object-oriented databases. The logic, referred to as CLOG,is class-based. CLOG supports class, object identity, multiple role of object,monotonic and non-monotonic inheritance of data a-nd method, method factor-ing, views, derived and query classes. Views and derived classes are queries in themselves- Objects are pure data terms …
    References | Related Articles | Metrics
    Necessary Conditions of Two-Level Uncertainty Reasoning Model (URM) and the Improvement on It
    Liu Dayou; Zhong Shaochun;
    Journal of Computer Science and Technology, 1996, 11 (2): 171-180. 
    Abstract   PDF(219KB) ( 1248 )   Chinese Summary
    Based on the previous work, some necessary conditions of the two-level Uncertainty Reasoning Model (URM) are proposed and an improvement on the twcalevel Uan is made that can describe and process the deviation. In addition, the paper presents two theorems for specifying the correctness about the improvement. Finally, the application of the twrvlevel URM is discussed.
    References | Related Articles | Metrics
    Design Technique of I~2L Circuits Based on Multi-Valued Logic
    Wu Xunwei; Hang Guoqiang;
    Journal of Computer Science and Technology, 1996, 11 (2): 181-187. 
    Abstract   PDF(293KB) ( 1395 )   Chinese Summary
    This paper proposes the use of the current signal to express logic values and establishes the theory of grounded current switches suitable for I2L circuits.Based on the advantage that current signals are easy to be added, the design technique of I2L circuits by means of the multi-valued current signal is proposed.It is shown that simpler structure of I2L circuits can be obtained with this technique.
    References | Related Articles | Metrics
    A New Method for Reasoning about Action
    Tang Jie;
    Journal of Computer Science and Technology, 1996, 11 (2): 188-192. 
    Abstract   PDF(119KB) ( 1245 )   Chinese Summary
    Reasoning about action is an important aspect of common sense reasoning and planning. It gives rise to three classical problems: the frame problem,the qualification problem and the ramification problem. Ekisting approaches cannot deal with these problems efficiently. This paper presents a new method which uses the stratified ATMS for reasoning about action to overcome the limitations of these approaches.
    References | Related Articles | Metrics
  Journal Online
Just Accepted
Archive
Top Cited Papers
Top 30 Most Read
Paper Lists of Areas
Surveys
Special Issues
  Download
   ScholarOne Manuscripts
   Log In

User ID:

Password:

  Forgot your password?

Enter your e-mail address to receive your account information.

ISSN 1000-9000(Print)

         1860-4749(Online)
CN 11-2296/TP

Home
Editorial Board
Author Guidelines
Subscription
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
Tel.:86-10-62610746
E-mail: jcst@ict.ac.cn
 
  Copyright ©2015 JCST, All Rights Reserved