ISBN: 0934613761 9780934613767

Category: Unavailable

Page count: Unavailable

An important class of problems for which artificial intelligence methods are not well codified is constraint satisfaction. Bruce Buchanan describes Stanford's PROTEAN project which focused on a spatial constraint satisfaction problem in which determining three-dimensional spatial positions of atoms in a protein structure is the goal. Constraints are partly numerical and partly symbolic and those inferred from the data may not be satisfiable together. A blackboard model of reasoning, implemented in the BB1 framework, is used in PROTEAN.