{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T11:05:38Z","timestamp":1747652738972},"reference-count":24,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2009,2,27]],"date-time":"2009-02-27T00:00:00Z","timestamp":1235692800000},"content-version":"unspecified","delay-in-days":4806,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[1996,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper presents an approach to solving constraint satisfaction problems using Asynchronous Teams of autonomous agents (ATeams). The focus for the constraint satisfaction problem is derived from an effort to support spatial layout generation in a conceptual design framework. The constraint specification allows a high-level representation and manipulation of qualitative geometric information. We present a computational technique based on ATeams to instantiate solutions to the constraint satisfaction problem. The technique uses a search for a solution in numerical space. This permits us to handle both qualitative relationships and numerical constraints in a unified framework. We show that simple knowledge, about human spatial reasoning and about the nature of arithmetic operators can be hierarchically encapsulated and exploited efficiently in the search. An example illustrates the generality of the approach for conceptual design. We also present empirical studies that contrast the efficiency of ATeams with a search based on genetic algorithms. Based on these preliminary results, we argue that the ATeams approach elegantly handles arbitrary sets of constraints, is computationally efficient, and hence merits further investigation.<\/jats:p>","DOI":"10.1017\/s0890060400001256","type":"journal-article","created":{"date-parts":[[2010,3,31]],"date-time":"2010-03-31T13:45:56Z","timestamp":1270043156000},"page":"1-19","source":"Crossref","is-referenced-by-count":6,"title":["Solving constraint satisfaction problems using ATeams"],"prefix":"10.1017","volume":"10","author":[{"given":"Sreenivasa Rao","family":"Gorti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salal","family":"Humair","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ram D.","family":"Sriram","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarosh","family":"Talukdar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sesh","family":"Murthy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2009,2,27]]},"reference":[{"key":"S0890060400001256_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-1997-9"},{"key":"S0890060400001256_ref004","first-page":"97","volume-title":"AI in Design","author":"Fromont","year":"1992"},{"key":"S0890060400001256_ref013","unstructured":"Murthy S. (1992). Synergy in cooperating agents: Designing manipulators from task specifications. Ph.D. thesis, Dept. of Electrical Engineering, Carnegie Mellon University."},{"key":"S0890060400001256_ref010","doi-asserted-by":"publisher","DOI":"10.1016\/0045-7949(83)90104-9"},{"key":"S0890060400001256_ref012","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1145\/112515.112584","volume-title":"Symposium on Solid Modeling Foundation and CAD\/CAM Applications","author":"Mukerjee","year":"1991"},{"key":"S0890060400001256_ref008","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/TSSC.1969.300244","article-title":"Constraint theory, part 1, fundamentals","volume":"5","author":"Leondes","year":"1969","journal-title":"IEEE Transactions on Systems Science and Cybernetics SSC"},{"key":"S0890060400001256_ref021","first-page":"1","volume-title":"Artificial Intelligence in Engineering Design","author":"Tong","year":"1992"},{"key":"S0890060400001256_ref015","unstructured":"Serrano D. (1987). Constraint management in conceptual design. Ph.D. thesis, MIT."},{"key":"S0890060400001256_ref019","first-page":"1458","article-title":"Scale efficient organizations","volume":"2","author":"Talukdar","year":"1992","journal-title":"Proc. IEEE Int. Conf. Systems Science and Cybernetics"},{"key":"S0890060400001256_ref005","volume-title":"Genetic Algorithms in Search, Optimization, and Machine Learning","author":"Goldberg","year":"1989"},{"key":"S0890060400001256_ref017","unstructured":"Sutherland I. (1963). Sketchpad \u2013 a man machine graphical interface. Ph.D. thesis, MIT."},{"key":"S0890060400001256_ref007","volume-title":"Adaptation in Natural and Artificial Systems","author":"Holland","year":"1975"},{"key":"S0890060400001256_ref009","unstructured":"Light R.A. (1980). Symbolic dimensioning in computer aided design. M.S. thesis, MIT, 1980."},{"key":"S0890060400001256_ref002","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"S0890060400001256_ref016","unstructured":"Steele G.J. (1980). The definition and implementation of a computer programming language based on constraints. Ph.D. thesis, MIT."},{"key":"S0890060400001256_ref018","first-page":"187","volume-title":"Workshop on Computational Organization Design, AAAI Spring Symposium Series","author":"Talukdar","year":"1994"},{"key":"S0890060400001256_ref014","volume-title":"Algorithms and Complexity","author":"Papadimitriou","year":"1982"},{"key":"S0890060400001256_ref003","first-page":"741","article-title":"Constraint definition system: a computer-algebra based approach to solving geometric-constraint problems","volume":"25","author":"Buchanan","year":"1993","journal-title":"CAD Journal"},{"key":"S0890060400001256_ref020","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-0928-4_22"},{"key":"S0890060400001256_ref006","unstructured":"Grefenstette J.J. (1990). A User\u2019s Guide to GENESIS: Version 5.0."},{"key":"S0890060400001256_ref024","volume-title":"Structural Engineering","author":"White","year":"1972"},{"key":"S0890060400001256_ref022","first-page":"1291","volume-title":"Proc. Eleventh IJCAI","author":"Van Beek","year":"1989"},{"key":"S0890060400001256_ref023","unstructured":"Vilain M. , Kautz H. , & van Beek P. (1986). Constraint propagation algorithms for temporal reasoning: A revised report. Proc. Fifth Nat. Conf. on AI (AAAI-86), pp. 377\u2013382. Morgan Kaufmann Publishers, San Mateo, CA."},{"key":"S0890060400001256_ref011","first-page":"25","volume-title":"Proc. Eighth National Conference on Artificial Intelligence (AAAI-90)","author":"Mittal","year":"1990"}],"container-title":["Artificial Intelligence for Engineering Design, Analysis and Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060400001256","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T17:39:12Z","timestamp":1685554752000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060400001256\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["S0890060400001256"],"URL":"https:\/\/doi.org\/10.1017\/s0890060400001256","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}