Indexed in:
SCIE, Ei, INSPEC, JST, AJ, MR, CA, DBLP, etc.
Publication Details
Edited by: Editorial Board of Journal of Data Acquisition and Processing
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
In this paper we firstly extend McCarthy s circumscription to modal logics.Similar to circumscribing predicates,we circumscribe the critical modal operator(the operator to be minimized)in a formula.The modal formulation of circumscription is completely characterized by the minimal model such as the predicate circumscription,The circumscriptive ignorance of the agent s self-knowledge by circumscribing knowledge operator is then illustrated.We further suggest that the merit of circumscription is basic for non…
This paper proposes an approach for functional knowledge representation based on problem reduction,which represents the organization of problem-solving activities in two levels:reduction and reasoning.The former makes the functional plans for problem-solving while the latter constructs functional units, called handlers,for executing subproblems designated by these plans.This approach emphasizes that the representation of domain knowledge should be closely combined with(rather than separated from)its use the…