Development of an advanced artificial intelligent reliability analysis tool to enhance ship operations and maintenance activities

No Abstract availableNo Abstract availabl

Constraints in an Object-Oriented Deductive Database

This paper relates our experience in integrating constraint resolution into an object-oriented deductive system. We motivate this work by showing that disjunctive information and global constraints fit naturally in an object-oriented model and are actually necessary to perform common tasks. We identify three difficulties in developing such an extended object-oriented system (namely, compilation, domain reduction, and heuristics) and propose a solution for each. We provide a formal semantics and prove the correctness of those three techniques. We illustrate the performance results with the implementation we have built in LAURE. 1. Introduction Non-traditional database applications, such as design and planning (scheduling/ resource assignment), try to use object-oriented databases, because the complex structures (objects) that arise naturally when describing the design of a telephone switch or when assigning tasks to a pool of technicians fit the object-oriented paradigm more naturally..