Abstract
This paper presents an AI architecture for multiple robots working collaboratively in a future smart office. This architecture integrates the control, communication, planning, and learning necessary to agentify office robots. Such integration is based on our multiagent robot language (MRL), which is an extension of concurrent logic programming languages (CCL). While the behavior of an agent is specified within guarded Horn clause logic, the communication and concurrency controls are amenable to the operational semantics of CCL. Our planning module provides well-balanced coordination between single agent planning and supervisor-level planning, yielding the minimum interaction for multiagent communication and control. Furthermore, inductive learning is incorporated into the planning module and is applied to produce empirical rules for action selection, providing the utility of multiagent problem solving. These features allow a unified view of both low- and high-level computation, which enables intelligent collaboration between robotic agents and provides a powerful framework for distributed AI and agent-oriented programming in the real world.
Preview
Unable to display preview. Download preview PDF.
References
T. Chikayama, A KL1 Implementation for Unix Systems, New Generation Computing 12, pp. 123–124, 1993.
M. Minsky, The Society of Mind, Simon and Schuster, 1986.
F. Mizoguchi and H. Ohwada, Constrained Relative Least General Generalization for Inducing Constraint Logic Programs, New Generation Computing, Vol 13, pp. 335–368, 1995.
Mugglenton, S., Inverse Entailment and Progol, New Generation Computing, Vol. 13, 1995.
H. Nishiyama, H. Ohwada and F. Mizoguchi, A Multiagent Robot Language for Communication and Concurrency Control, International Conference on Multiagent Systems (ICMAS), 1998.
Saraswat, V. A., Concurrent constraint programming, MIT Press, 1993.
Y. Shoham, Agent-oriented Programming, Artificial Intelligence, pp. 51–92, 1993.
Y. Shoham and M. Tennenholtz. On social laws for artificial agent societies: off-line design, Artificial Intelligence 73, pp. 231–252, 1995.
R. Smith, The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver, IEEE Transactions on Computers, Vol. C-29, No. 12, 1980.
K. Ueda, Guarded Horn Clauses, Concurrent Prolog, Vol. 1, MIT Press, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nishiyama, H., Ohwada, H., Mizoguchi, F. (1998). Towards agent-oriented smart office based on concurrent logic languages. In: Lee, HY., Motoda, H. (eds) PRICAI’98: Topics in Artificial Intelligence. PRICAI 1998. Lecture Notes in Computer Science, vol 1531. Springer, Berlin, Heidelberg . https://doi.org/10.1007/BFb0095258
Download citation
DOI: https://doi.org/10.1007/BFb0095258
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65271-7
Online ISBN: 978-3-540-49461-4
eBook Packages: Springer Book Archive