A Formal Approach to Agent Design: An Overview of Constraint-Based Agents

Constraints

Volumn 8, Issue 3, 2003, Pages 229-242

  Mackworth, Alan K ^a   Zhang, Ying ^b  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

^b PALO ALTO RESEARCH CENTER   (United States)

Author keywords

Agent design; Artificial intelligence; Automata; Constraint based requirements; Formal specification; Robot architectures; System verification

Indexed keywords

ARTIFICIAL INTELLIGENCE; AUTOMATA THEORY; CONSTRAINT THEORY; INTELLIGENT AGENTS; ROBOTICS;

DYNAMIC SYSTEMS;

SYSTEMS ANALYSIS;

EID: 0042783859     PISSN: 13837133     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1025697810124     Document Type: Conference Paper

References (41)

1. Albus, J. S. (1991). Outline for a theory of intelligence. In IEEE Transactions on Systems, Man, and Cybernetics, Vol. 21, pages 473-509. IEEE.
2. Aim, R., Courcoubetis, C., Henzinger, T. A., & Ho, P. (1993). Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In Grossman, R. L., Nerode, A., Ravn, A. P., & Rischel, H., eds., Hybrid Systems, No. LNCS 736, pages 209-229. Springer-Verlag.
3. Alur, R., & Dill, D. (1990). Automata for modeling real-time systems. In Peterson, M. S., ed., ICALP90: Automata, Languages and Programming, No. LNCS443, pages 322-335. Springer-Verlag.
4. Arkin, R. C. (1998). Behavior-Based Robotics. Cambridge, MA: The MIT Press.
5. Barman, R. A., Kingdon, S. J., Little, J. J., Mackworth, A. K., Pai, D. K., Sahota, M., Wilkinson, H., & Zhang, Y. (1993). Dynamo: real-time experiments with multiple mobile robots. In Intelligent Vehicles Symposium, pages 261-266. Tokyo.
6. Bemporad, A., Morari, M., Dua, V., & Pistikopoulos, E. N. (2000). The explicit solution of model predictive control via multiparametric quadratic programming. In Proc. of American Control Conference, pages 872-876. Chicago, Illinois.
7. Bowen, J. P. (2001). Formal methods web site, http://www.afm.sbu.ac.uk/.
8. Brooks, R. A. (1991). Intelligence without reason. In IJCAI-9I, pages 569-595. Sydney, Australia.
9. Excalibur: Adaptive Constraint-Based Agents in Artificial Environments, http://www.ai-center.com/projects/excalibur/.
10. Freuder, E. C. (1997). Constraints and agents. AAAI Workshop, http://www.aaai.org/Press/Reports/Workshops/ws-97-05.html.
11. Henzinger, T. A., Manna, Z., & Pnueli, A. (1991). Timed transition systems. In deBakker, J. W., Huizing, C., dePoever, W. P., & Rozenberg, G., eds., Real-Time: Theory in Practice, No. LNCS 600, pages 226-251. Springer-Verlag.
12. Lavignon, J., & Shoham, Y. (1990). Temporal automata. Technical Report STAN-CS-90-1325. Stanford University, Stanford, CA.
13. Lavretsky, E. (2000). Greedy optimal control. In Proc. of American Control Conference, pages 3888-3892. Chicago, Illinois.
14. Mackworth, A. K. (1993). On seeing robots. In Basu, A., & Li, X., eds., Computer Vision: Systems, Theory, and Applications, pages 1-13. Singapore: World Scientific Press.
15. Mackworth, A. K. (1996). Quick and clean: constraint-based vision for situated robots. In IEEE Int'l. Conf. on Image Processing, pages 789-792. Lausanne, Switzerland.
16. Mackworth, A. K. (1997). Constraint-based design of embedded intelligent systems. Constraints, 2(1): 83-86.
17. Mackworth, A. K. (1999). The dynamics of intelligence: constraint-satisfying hybrid systems for perceptual agents. In Hybrid Systems and AI: Modeling, Analysis and Control of Discrete and Continuous Systems, pages 210-214. Stanford, CA.
18. Mackworth, A. K. (2000). Constraint-based agents: the ABCs of CBAs. In Proc. 6th Int. Conf. on Principles and Practice of Constraint Programming - CP2000, Springer LNCS 1894, pages 1-10. Singapore.
19. Manna, Z., & Pnueli, A. (1987). Specification and verification of concurrent programs by ∀-automata. In Proc. 14th Annual ACM Symposium on Principles of Programming Languages, pages 1-12.
20. Newell, A. (1982). The knowledge level. Artificial Intelligence, 18(1): 87-127.
21. The Ptolemy Project, http://ptolemy.eecs.berkeley.edu/.
22. Poole, D. L., Mackworth, A. K., & Goebel, R. G. (1998). Computational Intelligence: A Logical Approach. New York: Oxford University Press.
23. Rosenschein, S. J., & Kaelbling, L. P. (1986). The synthesis of machines with provable epistemic properties. In Halpern, Joseph, ed., Proc. Conf. on Theoretical Aspects of Reasoning about Knowledge, pages 83-98. Los Altos, CA: Morgan Kaufmann.
24. Sahota, M., & Mackworth, A. K. (1994). Can situated robots play soccer? In Proc. Artificial Intelligence 94, pages 249-254. Banff, AB.
25. Song, F., & Mackworth, A. K. (2002). CNJ: a visual programming environment for constraint nets. In Proc. AI, Simulation and Planning in High Autonomy Systems - AIS-2002, page 6. Lisbon, to appear.
26. Turing, A. M. (1963). Computing machinery and intelligence. In Feigenbaum, E., & Feldman, J., eds., Computers and Thought, pages 11-35. New York, NY: McGraw-Hill.
27. Weiss, G., ed., (1999). Multiagent Systems. The MIT Press.
28. Zhang, Y. (1994). A foundation for the design and analysis of robotic systems and behaviors. Ph.D. thesis, University of British Columbia, Vancouver, British Columbia.
29. Zhang, Y., & Mackworth, A. K. (1992). Modeling behavioral dynamics in discrete robotic systems with logical concurrent objects. In Tzafestas, S. G., & Gentina, J. C., eds., Robotics and Flexible Manufacturing Systems, pages 187-196. Elsevier Science Publishers B.V.
30. Zhang, Y., & Mackworth, A. K. (1994a). Specification and verification of constraint-based dynamic systems. In Borning, A., ed., Principles and Practice of Constraint Programming, No. 874 in Lecture Notes in Computer Science, pages 229-242. Springer-Verlag.
31. Zhang, Y., & Mackworth, A. K. (1994b). Will the robot do the right thing? In Proc. Artificial Intelligence 94, pages 255-262. Banff, AB.
32. Zhang, Y., & Mackworth, A. K. (1995b). Constraint nets: a semantic model for hybrid dynamic systems. Theoretical Computer Science, 138: 211-239.
33. Zhang, Y., & Mackworth, A. K. (1995c). Constraint programming in constraint nets. In Saraswat, V., & Van Hentenryck, P., eds., Principles and Practice of Constraint Programming, Chapt. 3, pages 49-68. Cambridge, MA: The MIT Press.
34. Zhang, Y., & Mackworth, A. K. (1995d). Synthesis of hybrid constraint-based controllers. In Antsaklis, P., Kohn, W., Nerode, A., & Sastry, S., eds., Hybrid Systems II, Lecture Notes in Computer Science 999, pages 552-567. Springer Verlag.
35. Zhang, Y., & Mackworth, A. K. (1996). Specification and verification of hybrid dynamic systems with timed ∀-automata. In Alur, R., Henzinger, T. A., & Sontag. E. D., eds., Hybrid Systems III, Verification and Control, pages 587-603. Springer.
36. Zhang, Y., & Mackworth, A. K. (1998a). A constraint-based controller for soccer-playing robots. In Proceedings of IROS '98, pages 1290-1295. Victoria, BC, Canada.
37. Zhang, Y., & Mackworth, A. K. (1998b). Using reactive deliberation for real-time control of soccer-playing robots. In Kitano, H., ed., RoboCup-97: Robot Soccer World Cup 1, pages 508-512.
38. Zhang, Y., & Mackworth, A. K. (1999a). Modelling and analysis of hybrid systems: an elevator case study. In Levesque, H., & Pirri, F., eds., Logical Foundations for Cognitive Agents, pages 370-396. Berlin: Springer.
39. Zhang, Y., & Mackworth, A. K. (1999b). A multi-level constraint-based controller for the Dynamo98 robot soccer team. In Asada, Minoru, & Kitano, Hiroaki, eds., RoboCup-98: Robot Soccer World Cup II, pages 402-409. Springer.
40. Zhang, Y., & Mackworth, A. K. (2000). Formal specification of performance metrics for intelligent systems. In Proc. Workshop on Performance Metrics for Intelligent Systems, Aug. 14-16, 2000. National Institute of Standards and Technology, Washington, DC, Section Sixty.
41. Zhang, Y., & Mackworth, A. K. (2002). A constraint-based robotic soccer team. Constraints, 7(1): 7-28.