Smart office robot collaboration based on multi-agent programming

Artificial Intelligence

Volumn 114, Issue 1-2, 1999, Pages 57-94

  Mizoguchi, F ^a   Nishiyama, H ^a   Ohwada, H ^a   Hiraishi, H ^a  

^a TOKYO UNIVERSITY OF SCIENCE   (Japan)

Author keywords

Agent architecture; Information appliance; Multi agent programming; Robot collaboration; Smart office

Indexed keywords

EID: 0013392404     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(99)00068-5     Document Type: Article

References (38)

1. R.A. Brooks, The Intelligent Room Project, in: Proc. Second International Cognitive Technology Conference (CT-97), 1997.
2. T. Chikayama, A KL1 implementation for Unix systems, New Generation Computing 12 (1993) 123-124.
3. K.L. Clark, PARLOG: Parallel programming in logic, ACM Trans. Program. Lang. Syst. 8 (1) (1986) 1-49.
4. R. Davis, R.G. Smith, Negotiation as a metaphor for distributed problem solving, Artificial Intelligence 20 (1983) 63-109.
5. E.W. Dijkstra, Guarded commands, nondeterminacy, and formal derivation of programs, Comm. ACM 18 (8) (1975) 453-457.
6. E. Ephrati, J.S. Rosenschein, The Clarke Tax as a consensus mechanism among automated agents, in: Proc. AAAI-91, Anaheim, CA, 1991, pp. 173-178.
7. R.E. Fikes, P.E. Hart, N.J. Nilsson, Learning and executing generalized robot plans, Artificial Intelligence 3 (1972) 251-288.
8. R.J. Firby, Task networks for controlling continuous process, in: Proc. Second International Conference on AI Planning Systems, 1994.
9. M.S. Fox, An organizational view of distributed systems, IEEE Trans. Systems Man Cybern. 11 (a) (1981) 70-80.
10. M.P.J. Fromherz, V.A. Saraswat, Model-based computing: Using concurrent constraint programming for modeling and model compilation, in: U. Montanari, F. Rossi (Eds.), Principles and Practice of Constraint Programming (CP-95), Lecture Notes in Computer Science, Vol. 976, Springer, Berlin, 1995, pp. 629-635.
11. H. Fujita, R. Hasegawa, A model-generation theorem prover in KL1 using ramified stack algorithm, in: Proc. Eighth International Conference on Logic Programming, Paris, 1991, pp. 535-548.
12. L. Gasser, Social conceptions of knowledge and action: DAI foundations and open system semantics, Artificial Intelligence 47 (1991) 107-138.
13. E. Gat, ESL: A language for supporting robust plan execution in embedded autonomous agents, in: Proc. IEEE Aerospace Conference, 1997.
14. M.R. Genesereth, S.P. Ketchpel, Software agents, Comm. ACM 37 (7) (1994) 48-53.
15. B. Hayes-Roth, Architectural foundations for real-time performance in intelligent agents, Real-Time Systems International Journal of Time-Critical Computing Systems 2 (1990) 99-125.
16. R. Kowalski, Logic for Problem Solving, Elsevier/North-Holland, Amsterdam, 1979.
17. R. Kowalski, Using metalogic to reconcile reactive with rational agents, in: K. Apt, F. Turini (Eds.), Meta-Logics and Logic Programming, MIT Press, Cambridge, MA, 1995.
18. S. Kraus, J. Wilkenfeld, G. Zlotkin, Multiagent negotiation under time constraints, Artificial Intelligence 75 (1995) 297-345.
19. P. Maes, Agents that reduce work and information overload, Comm. ACM 37 (7) (1994) 30-40.
20. J. McCarthy, Programs with common sense, in: M. Minsky (Ed.), Semantic Information Processing, MIT Press, Cambridge, MA, 1968, pp. 403-418.
21. M. Minsky, The Society of Mind, Simon and Schuster, New York, 1986.
22. T. Mitchell, R. Caruana, D. Freitag, J. McDermott, D. Zabowski, Experience with a learning personal assistant, Comm. ACM 37 (7) (1994) 80-91.
23. F. Mizoguchi, H. Ohwada, Constrained relative least general generalization for inducing constraint logic programs, New Generation Computing 13 (1995) 335-368.
24. F. Mizoguchi, H. Ohwada, Personalized mail agent using inductive logic programming, in: K. Furukawa, D. Michie, S. Muggleton (Eds.), Machine Intelligence, Vol. 15, Oxford University Press-USA, 1999, pp. 154-175.
25. S. Muggleton, Inductive logic programming, New Generation Computing 8 (1991) 295-318.
26. D.A. Norman, The Psychology of Everyday Things, Basic Books, 1988.
27. S.J. Rosenschein, Formal theories of knowledge in AI and robotics, New Generation Computing 3 (4) (1985) 345-357.
28. V.A. Saraswat, Concurrent Constraint Programming, MIT Press, Cambridge, MA, 1993.
29. E. Shapiro, The family of concurrent logic programming language, ACM Computing Surveys 21 (1989) 413-510.
30. Y. Shoham, Agent-oriented programming, Artificial Intelligence 60 (1993) 51-92.
31. R. Simmons, D. Apfelbaum, A task description language for robot control, in: Proc. Intelligent Robots and Systems (IROS-98), 1998, pp. 1931-1937.
32. M.P. Singh, D.G. Bobrow, M.N. Huhns, M. King, H. Kitano, R. Reiter, The next big thing: Position statements, in: Proc. IJCAI-97, Nagoya, Japan, 1997, pp. 1511-1524.
33. R. Smith, The contract net protocol: High-level communication and control in a distributed problem solver, IEEE Trans. Comput. C-29 (12) (1980) 1104-1113.
34. M. Stefik, G. Foster, D.G. Bobrow, K. Kahn, S. Lanning, L. Suchman, Beyond the chalkboard: Computer support for collaboration and problem solving in meetings, Comm. ACM 30 (1) (1987) 32-47.
35. Jini™ Lookup Service Specification, Revision 1.0, Sun Microsystems, Inc., 1999.
36. K. Ueda, T. Chikayama, Design of the kernel language for the parallel inference machine, The Computer Journal 33 (6) (1990) 494-500.
37. M. Weiser, Some computer science issues in ubiquitous computing, Comm. ACM 36 (7) (1993) 74-84.
38. M. Wooldridge, N.R. Jennings, Agent theories, architectures, and languages: A survey, in: Proc. ECAI Workshop on Agent Theories, Architectures, and Language, 1994, pp. 1-39.