|
 ABSTRACT
Research in AI is slowly maturing, and body of accepted techniques for reasoning and for representing knowledge in simple, circumscribed domains now exists. But with the maturity of AI has come a growing awareness of the severe limitations of current techniques for constructing more complex problem solving or interpretation systems. We currently have inadequate means to gather, represent, store, organize, access, and manipulate the huge collections of knowledge required for complex problem solving. Existing systems can't reconfigure themselves in changing situations, nor can they incrementally adjust to new knowledge or new techniques. Large scale problem solvers (e.g. factory automation systems) cannot in principle completely model the world in which they exist, and must face problems of inconsistency, asynchrony, control and geographic distribution, etc. — they will have to work in “open systems.”
Many solutions under consideration rely on concurrent computation, using either very fine grained “connectionist,” “neural computing” or “data parallel” approaches, or using larger grain collections of “objects,” “agents,” or “problem solving nodes” — techniques collectively termed “Distributed AI.” In this paper we characterize the needs for concurrency and parallelism in AI, with special attention to building medium to large grain adaptive problem solvers in open systems. In these systems the overriding concern is organizing the problem solving system's behavior — the “coordination problem.” Conventional distributed computing and parallel algorithms approaches allow a programmer to solve the coordination problem, and provide language constructs and concurrency control mechanisms with which a program can enact his solution. In Distributed AI, we attempt to improve adaptability by designing problem solvers which can both solve the coordination problem and enact the solution themselves.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
| |
2
|
Agre, P. and Chapman, D. "Pengi: An Implementation of a Theory of Activity" in Proceedings AAAL87, pp 268-272.
|
| |
3
|
Benda, M.~ jagganathan~ R., and DodhiawalIa, R. "On Optimal Cooperation of Knowledge Sources" Unpubhshed Ms. presented at the 1986 Workshop on Distributed Artificial Intelligence, Gloucester, MA, 1986. Available from Miroslav Benda, Boeing AI Center, Seattle, WA.
|
| |
4
|
|
| |
5
|
R. Bisiani, "A Software and Hardware Environment for Developing Ai Applications on Parallel Processors'' Proc. AAAL86 pg 742-747 (6 pg).
|
| |
6
|
Billstrom, D., Brandenburg, J., and Teeter, J. "CCLISP onthe iPSC Concurrent Computer" in Proc. AAAI-87 pg 7-12, 1987.
|
| |
7
|
|
| |
8
|
Stephanie Cammarata, David McArthur, and Randall Steeb. "Strategies of Cooperation in Distributed Problem Solving." In ProceedingJ IJUAI-83, pages 767-770, 1983.
|
| |
9
|
Davis, A and Robinson, S. "The Architecture of the FAIM-1 Symbolic Multiprocessor System" in Pi'oc. IJUAI-85, Los Angeles, 1985. pp 32-38.
|
| |
10
|
Randall Davis and Reid G. Smith. "Negotiation as a Metaphor for Distributed Problem Solving." Artificial Intelligence, 20:63-109, 1983.
|
| |
11
|
Durfee, E. and Lesser, V. "Using Partial Global Plans to Coordinate Distributed Problem-Solvers"Proc IJUAI-87 pg 875-883.
|
| |
12
|
L. Erman, M. Fehling, S. Forrest, and J. Lark. "Abe: Architectural Overview." In Proceedings of the 1985 Distributed Artificial Intelligence Workshop, pages 321-336, 1985.
|
 |
13
|
|
| |
14
|
Gasser, L., Braganza, C., and Herman, N. "MACE: A Flexible Testbed for Distributed Artificial Intelligence Research" in {20}, 1987.
|
| |
15
|
Gasser, L., "Distribution and Coordination of Tasks Among Intelligent Agents" Proceedings of the First Scandinavian Conference on Artificial Intelligence Trumso, Norway, 1988.
|
| |
16
|
Gasser, L., Hill, R. Lieb, J. and Rouquette, N., "Flexible Organization and Coordination in the ICE Problem-Solving System." USC DAI Group Research Note 44, Dept. of Computer Science, USC, February, 1988 (in preparation).
|
| |
17
|
|
| |
18
|
|
| |
19
|
ttillis, W.D. The Connection Machine MIT Press, 1986.
|
| |
20
|
|
| |
21
|
Latour, B. Science in Action, Cambridge: Harvard University Press, 1986.
|
| |
22
|
Lesser, ~. and Corkill, D. "Functionally Accurate, Cooperative Distributed Problem-Solvlng Systems." IEEE Transactions on Systems, Man and Cybernetics, SMC-11, January 1981.
|
| |
23
|
Lieberman, H. "An Object-Oriented Simulator for the Apiary" in Proc. AAAI-83, 1983.
|
| |
24
|
Pattison, E., Corkill, D. and Lesser, V. ~Instantiating Descriptions of Organizational Structures" in {20}, 1987.
|
| |
25
|
Peirce, C.S. "How to Make Our Ideas Clear" in Justus Buchler, ed. Philosophical Writings of Peirce, , Dover, 1955.
|
| |
26
|
Strauss, A. "The Articulation of Project Work: An Organizational Process"The Soclological Quarterly~ 1988 (to appear).
|
| |
27
|
Suchman, L. Plans and Situated Actions Cambridge: Cambridge University Press, 1988.
|
| |
28
|
M. Tokoro and Y. Ishikawa. "An Object-Oriented Approach to Knowledge Systems." In Proceedings of the International Con)terence on Fifth Generation Computer Systems, pages 623-631, 1984.
|
| |
29
|
Robert Wesson, Frederick Hayes-Roth, John W. Burge, Cathleen Stasz, and Carl A. Sunshine. "Network structures for distributed situation assessment." IEEE Transactions or, Systems, Man and Cybernetics, SMC-I1, January 1981.
|
| |
30
|
Akinori Yonezawa , Jean-Pierre Briot , Etsuya Shibayama, Object-oriented concurrent programming ABCL/1, Conference proceedings on Object-oriented programming systems, languages and applications, p.258-268, September 29-October 02, 1986, Portland, Oregon, United States
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
I.2