By Topic

Automatic belief revision in a plausibility-driven design 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)
Patel, S. ; Center for Adv. Comput. Studies, Southwestern Louisiana Univ., Lafayette, LA, USA ; Dasgupta, S.

Truth maintenance systems (TMSs) offer the most elaborate approach to the belief revision problem and are thus ideal candidates for automating belief revision during the course of plausibility-driven design evolution. However, the theory of plausible design (TPD) necessitates multivalued belief propagation while conventional TMSs are two-valued (IN/OUT) systems. Due to this mismatch, the encoding of constraint dependency graphs (CDGs) in conventional TMSs requires an exponential number of justifications. A belief revision system for TPD called the theory of plausible design belief revision system (TPD-BRS) is proposed. TPD-BRS uses a modified version of the assumption-based TMS label propagation algorithm in conjunction with a label interpreter to support automated belief revision in TPD efficiently

Published in:

Systems, Man and Cybernetics, IEEE Transactions on  (Volume:21 ,  Issue: 5 )