Abstract
The development of intelligent agents is a key part of the Semantic Web vision, but how does an ordinary person tell an agent what to do? One approach to this problem is to use RDF templates that are authored once but then instantiated many times by ordinary users. This approach, however, raises a number of challenges. For instance, how can templates concisely represent a broad range of potential uses, yet ensure that each possible instantiation will function properly? And how does the agent explain its actions to the humans involved? This paper addresses these challenges in the context of a case study carried out on our fully-deployed system for semantic email agents. We describe how high-level features of our template language enable the concise specification of flexible goals. In response to the first question, we show that it is possible to verify, in polynomial time, that a given template will always produce a valid instantiation. Second, we show how to automatically generate explanations for the agent’s actions, and identify cases where explanations can be computed in polynomial time. These results both improve the usefulness of semantic email and suggest general issues and techniques that may be applicable in other Semantic Web systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allen, E.E.: A First-Class Approach to Genericity. PhD thesis, Rice University, Houston, TX (2003)
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)
Boutilier, C.: A POMDP formulation of preference elicitation problems. In: AAAI 2002, pp. 239–246 (2002)
Carenini, G., Moore, J.D.: Generating explanations in context. In: Intelligent User Interfaces, pp. 175–182 (1993)
DAML Services Coalition. DAML-S and OWL-S, http://www.daml.org/services
de la Banda, M.G., Stuckey, P.J., Wazny, J.: Finding all minimal unsatisfiable subsets. In: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declarative programming, pp. 32–43. ACM Press, New York (2003)
Dershowitz, N.: Program abstraction and instantiation. ACM Trans. Programming. Language Systems 7(3), 446–477 (1985)
Druzdzel, M.: Qualitative verbal explanations in bayesian belief networks. Artificial Intelligence and Simulation of Behaviour Quarterly 94, 43–54 (1996)
Etzioni, O., Halevy, A., Levy, H., McDowell, L.: Semantic email: Adding lightweight data manipulation capabilities to the email habitat. In: WebDB (2003)
Flener, P., Lau, K.-K., Ornaghi, M., Richardson, J.: An abstract formalisation of correct schemas for program synthesis. Journal of Symbolic Computation 30(1), 93–127 (2000)
Horvitz, E.J., Breese, J.S., Henrion, M.: Decision theory in expert systems and artificial intelligence. International Journal of Approximate Reasoning 2, 247–302 (1988)
Johnson, D.S.: Approximation algorithms for combinatorial problems. Journal of Computer and System Sciences 9, 256–278 (1974)
Junker, U.: QUICKXPLAIN: Conflict detection for arbitrary constraint propagation algorithms. In: IJCAI 2001 Workshop on Modelling and Solving problems with constraints (2001)
Jussien, N., Ouis, S.: User-friendly explanations for constraint programming. In: ICLP 11th Workshop on Logic Programming Environments, Paphos, Cyprus (December 2001)
Katsirelos, G., Bacchus, F.: Unrestricted nogood recording in csp search. In: Principles and Practice of Constraint Programming (October 2003)
Klein, D.A., Shortliffe, E.H.: A framework for explaining decision-theoretic advice. Artificial Intelligence 67(2), 201–243 (1994)
Mackworth, A.K.: Constraint-based agents: The ABC’s of CBA’s. In: Constraint Programming, pp. 1–10 (2000)
McDowell, L.: Meaning for the Masses: Theory and Applications for Semantic Web and Semantic Email Systems. PhD thesis, University of Washington, Seattle, WA (2004)
McDowell, L., Etzioni, O., Halevey, A., Levy, H.: Semantic email. In: Proc. of the Thirteenth Int. WWW Conference (2004)
McGuinness, D.L., Borgida, A.: Explaining subsumption in description logics. In: IJCAI, vol. (1), pp. 816–821 (1995)
McGuinness, D.L., Pinheiro da Silva, P.: Infrastructure for web explanations. In: Second International Semantic Web Conference (October 2003)
McIlraith, S., Son, T., Zeng, H.: Semantic web services. IEEE Intelligent Systems. Special Issue on the Semantic Web 16(2), 46–53 (2001)
Nareyek, A.: Constraint-Based Agents. LNCS (LNAI), vol. 2062. Springer, Heidelberg (2001)
Neches, R., Swartout, W.R., Moore, J.D.: Explainable (and maintainable) expert systems. In: IJCAI, pp. 382–389 (1985)
Ouis, S., Jussien, N., Boizumault, P.: k-relevant explanations for constraint programming. In: FLAIRS 2003, St. Augustine, Florida, USA, May 2003, AAAI press, Menlo Park (2003)
Payne, T., Singh, R., Sycara, K.: Calendar agents on the semantic web. IEEE Intelligent Systems 17(3), 84–86 (2002)
Quan, D., Huynh, D., Karger, D.R.: Haystack:A platform for authoring end user semantic web applications. In: Second International Semantic Web Conference (October 2003)
Schiex, T., Verfaillie, G.: Nogood Recording fot Static and Dynamic Constraint Satisfaction Problems. International Journal of Artificial Intelligence Tools 3(2), 187–207 (1994)
Swartout, W., Paris, C., Moore, J.: Design for explainable expert systems. IEEE Expert 6(3), 58–647 (1991)
Terveen, L.G., Murray, L.T.: Helping users program their personal agents. In: CHI, pp. 355–361 (1996)
Tuchinda, R., Knoblock, C.A.: Agent wizard: building information agents by answering questions. In: Intelligent User Interfaces, pp. 340–342 (2004)
Weld, D., Etzioni, O.: The first law of robotics (a call to arms). In: Proc. of AAAI (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
McDowell, L., Etzioni, O., Halevy, A. (2004). The Specification of Agent Behavior by Ordinary People: A Case Study. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds) The Semantic Web – ISWC 2004. ISWC 2004. Lecture Notes in Computer Science, vol 3298. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30475-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-30475-3_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23798-3
Online ISBN: 978-3-540-30475-3
eBook Packages: Springer Book Archive