Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
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.

The purchase and pricing options are temporarily unavailable. Please try again later.
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 )