Nicht-monotones Truth-Maintenance

1996 ◽  
pp. 79-113
Author(s):  
Clemens Beckstein
Keyword(s):  
Truth Maintenance

Data Base Requirements for Concurrent Design Systems

1991 ◽  
Author(s):  
Ranko Vujosevic ◽  
Andrew Kusiak
Keyword(s):  
Data Base ◽  
Data Model ◽  
Object Oriented ◽  
Concurrent Design ◽  
Complex Objects ◽  
Maintenance System ◽  
Design And Manufacturing ◽  
Design Systems ◽  
Truth Maintenance ◽  
Definition Of

Abstract The data base requirements for concurrent design systems are discussed. An object-oriented data base, which allows for definition of complex objects, specification of relationships between objects, and modular expandability without affecting the existing information is defined. The data base is developed based on the object-oriented data model implemented in Smalltalk-80. An assumption-based truth maintenance system for maintaining the dependency relationships between design and manufacturing information is described.

An Assumption-based Truth Maintenance System in Active Aid for UNIX Users

2000 ◽  
pp. 229-252
Author(s):  
John Jones ◽  
Mark Millington ◽  
Maria Virvou
Keyword(s):  
Maintenance System ◽  
Truth Maintenance
Sign in / Sign up

Export Citation Format

Share Document