Online algorithms supporting emergence in distributed CAD systems

Abstract The rule-based approach from traditional AI and the conventional constraint satisfaction algorithms are not adequate to cope with the unpredictable events and interactive computations in distributed CAD environments. This paper claims that the problems faced by distributed CAD systems require solutions based on the concepts of emergence, reactivity, and online algorithms. The present paper presents Extended Constraints Graphs (ECGs) as online algorithms supporting emergence in a network of reactive agents. ECGs represent an effective solution for the nonlinear constraint problem in cyclic graphs, which are distributed over a heterogeneous computer network. The relationships between agents in an ECG are generic, distributed, recursive and nonlinear — a problem not solved in the literature. Also this paper presents a CORBA model integrated with a Geometry Bus to support distributed virtual prototype whose variables can be defined in terms of ECGs.

[1]  William C. Regli.  Internet-Enabled Computer-Aided Design , 1997, IEEE Internet Comput..

[2]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[3]  Rodney A. Brooks,et al.  Intelligence Without Reason , 1991, IJCAI.

[4]  Craig W. Reynolds.  Flocks, herds, and schools: a distributed behavioral model , 1987, SIGGRAPH.

[5]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..

[6]  Stephanie Forrest,et al.  Analogies with immunology represent an important step toward the vision of robust, distributed protection for computers. , 1991 .

[7]  Raghu V. Hudli,et al.  CORBA fundamentals and programming , 1996 .

[8]  George Karypis,et al.  Introduction to Parallel Computing , 1994 .

[9]  Roberto Ierusalimschy,et al.  Lua—An Extensible Extension Language , 1996 .

[10]  Pattie Maes,et al.  Designing autonomous agents: Theory and practice from biology to engineering and back , 1990, Robotics Auton. Syst..

[11]  John H. Holland,et al.  Emergence. , 1997, Philosophica.

[12]  Bruno Feijó,et al.  A logic-based environment for reactive agents in intelligent CAD systems , 1998 .

[13]  John S. Gero,et al.  Artificial Intelligence in Design ’98 , 1998, Springer Netherlands.

[14]  Bradley T. Vander Zanden,et al.  An incremental algorithm for satisfying hierarchies of multiway dataflow constraints , 1996, TOPL.

[15]  M. Minsky.  The Society of Mind , 1986 .

[16]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .

[17]  Michel Raynal,et al.  Distributed algorithms and protocols , 1988 .

[18]  Peter Wegner,et al.  Why interaction is more powerful than algorithms , 1997, CACM.

[19]  Ivan Lavallée,et al.  Recursive distributed programming schemes , 1993, Proceedings ISAD 93: International Symposium on Autonomous Decentralized Systems.

[20]  Rodney A. Brooks,et al.  Elephants don't play chess , 1990, Robotics Auton. Syst..

[21]  J. Fodor,et al.  Connectionism and cognitive architecture: A critical analysis , 1988, Cognition.

[22]  Bruno Feijó,et al.  Distributed Agents Supporting Event-Driven Design Processes , 1998, AID.