By Topic

A Truth Maintenance System for Epistemic Programming Environment

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Goto, Y. ; Dept. of Inf. & Comput. Sci., Saitama Univ., Saitama, Japan ; Jingde Cheng

Epistemic Programming was proposed as a novel program paradigm to program epistemic processes in scientific discovery, and an epistemic programming language and its implementation were also proposed and developed. The paradigm of Epistemic Programming regards conditionals as the subject of computing, takes primary epistemic operations as basic operations of computing, and regards epistemic processes as the subject of programming. In order to provide scientists with a high-level and general-purpose mechanism to deal with belief revision more easily in Epistemic Programming, this paper proposes a truth maintenance system for epistemic programming environments. At first, the paper analyzes features of a truth maintenance system for epistemic programming environment. Then, the paper gives a requirement analysis of the truth maintenance system, and shows a design of the truth maintenance system. The proposed truth maintenance system is suitable for epistemic programming environment, and can deal with replacement of logic systems underlying reasoning in epistemic processes.

Published in:

Semantics, Knowledge and Grids (SKG), 2012 Eighth International Conference on

Date of Conference:

22-24 Oct. 2012