Article

Representation and reasoning for DAML-based policy and domain services in KAoS and nomads

Authors:

R. Van HoofAuthors Info & Claims

AAMAS '03: Proceedings of the second international joint conference on Autonomous agents and multiagent systems

Pages 835 - 842

https://doi.org/10.1145/860575.860709

Published: 14 July 2003 Publication History

Abstract

To increase the assurance with which agents can be deployed in operational settings, we have been developing the KAoS policy and domain services. In conjunction with Nomads strong mobility and safe execution features, KAoS services and tools allow for the specification, management, conflict resolution, and enforcement of DAML-based policies within the specific contexts established by complex organizational structures. In this paper, we will discuss results, issues, and lessons learned in the development of these representations, tools, and services and their use in military and space application.

References

[1]

Acquisti, A., Sierhuis, M., Clancey, W. J., & Bradshaw, J. M. (2002). Agent-based modeling of collaboration and work practices onboard the International Space Station. Proceedings of the Eleventh Conference on Computer-Generated Forces and Behavior Representation. Orlando, FL,

[2]

Allsopp, D., Beautement, P., Bradshaw, J. M., Durfee, E., Kirton, M., Knoblock, C., Suri, N., Tate, A., & Thompson, C. (2002). Coalition Agents eXperiement (CoAX): Multi-agent cooperation in an international coalition setting. A. Tate, J. Bradshaw, and M. Pechoucek (Eds.), Special issue of IEEE Intelligent Systems, 17(3), 26--35.

Digital Library

[3]

Asimov, I. (1942/1968). Runaround. In I. Asimov (Ed.), I, Robot. (pp. 33--51). London, England: Grafton Books. Originally published in Astounding Science Fiction, 1942, pp. 94--103.

[4]

Boman, M. (1999). Norms in artificial decision-making. Artificial Intelligence and Law, 7, 17--35.

Digital Library

[5]

Bradshaw, J. M., Beautement, P., Raj, A., Johnson, M., Kulkarni, S., & Suri, N. (2003). Making agents acceptable to people. In N. Zhong & J. Liu (Ed.), Intelligent Technologies for Information Analysis: Advances in Agents, Data Mining, and Statistical Learning. (pp. in press). Berlin: Springer Verlag.

[6]

Bradshaw, J. M., Dutfield, S., Benoit, P., & Woolley, J. D. (1997). KAoS: Toward an industrial-strength generic agent architecture. In J. M. Bradshaw (Ed.), Software Agents. (pp. 375--418). Cambridge, MA: AAAI Press/The MIT Press.

Digital Library

[7]

Bradshaw, J. M., Greaves, M., Holmback, H., Jansen, W., Karygiannis, T., Silverman, B., Suri, N., & Wong, A. (1999). Agents for the masses: Is it possible to make development of sophisticated agents simple enough to be practical? IEEE Intelligent Systems(March-April), 53--63.

Digital Library

[8]

Bradshaw, J. M., Sierhuis, M., Acquisti, A., Feltovich, P., Hoffman, R., Jeffers, R., Prescott, D., Suri, N., Uszok, A., & Van Hoof, R. (2003). Adjustable autonomy and human-agent teamwork in practice: An interim report on space applications. In H. Hexmoor, R. Falcone, & C. Castelfranchi (Ed.), Agent Autonomy. (pp. in press). Kluwer.

[9]

Bradshaw, J. M., Suri, N., Breedy, M. R., Canas, A., Davis, R., Ford, K. M., Hoffman, R., Jeffers, R., Kulkarni, S., Lott, J., Reichherzer, T., & Uszok, A. (2002). Terraforming cyberspace. In D. C. Marinescu & C. Lee (Ed.), Process Coordination and Ubiquitous Computing. (pp. 165--185). Boca Raton, FL: CRC Press. Updated and expanded version of an article that originally appeared in IEEE Intelligent Systems, July 2001, pp. 49--56.

[10]

Clarke, R. (1993-1994). Asimov's laws of robotics: Implications for information technology, Parts 1 and 2. IEEE Computer, December/January, 53-61/57-66.

Digital Library

[11]

Conte, R., & Castelfranchi, C. (1995). Cognitive and social action. London, England: UCL Press.

[12]

d'Inverno, M., & Luck, M. (2001). Understanding Agent Systems. Berlin, Germany: Springer-Verlag.

Digital Library

[13]

Damianou, N., Dulay, N., Lupu, E. C., & Sloman, M. S. (2000). Ponder: A Language for Specifying Security and Management Policies for Distributed Systems, Version 2.3. Imperial College of Science, Technology and Medicine, Department of Computing, 20 October 2000.

[14]

Feltovich, P., Bradshaw, J. M., Jeffers, R., & Uszok, A. (2003). Order and KAoS: Using policy to represent agent cultures. Proceedings of the AAMAS 03 Workshop on Humans and Multi-Agent Systems. Melbourne, Australia,

[15]

Ford, K. M., Glymour, C., & Hayes, P. (1997). Cognitive prostheses. AI Magazine, 18(3), 104.

[16]

Hoffman, R. R., Ford, K. M., Hayes, P. J., & Bradshaw, J. M. (2003). The Borg hypothesis. IEEE Intelligent Systems, in press.

[17]

Johnson, M., Chang, P., Jeffers, R., Bradshaw, J. M., Soo, V.-W., Breedy, M. R., Bunch, L., Kulkarni, S., Lott, J., Suri, N., & Uszok, A. (2003). KAoS semantic policy and domain services: An application of DAML to Web services-based grid architectures. Proceedings of the AAMAS 03 Workshop on Web Services and Agent-Based Engineering. Melbourne, Australia,

[18]

Kahn, M., & Cicalese, C. (2001). CoABS Grid Scalability Experiments. O. F. Rana (Ed.), Second International Workshop on Infrastructure for Scalable Multi-Agent Systems at the Fifth International Conference on Autonomous Agents. Montreal, CA, New York: ACM Press,

[19]

Lopez y Lopez, F., Luck, M., & d'Inverno, M. (2001). A framework for norm-based inter-agent dependence. Proceedings of the Third Mexican Internation Conference on Computer Science.

[20]

Lopez y Lopez, F., Luck, M., & d'Inverno, M. (2002). Constraining autonomy through norms. Proceedings of the Conference on Autonomous Agents and Multi-Agent Systems, (pp. 674--681). Bologna, Italy,

Digital Library

[21]

Lupu, E. C., & Sloman, M. S. (1999). Conflicts in policy-based distributed systems management. IEEE Transactions on Software Engineering-Special Issue on Inconsistency Management.

Digital Library

[22]

Norman, D. A. (1997). How might people interact with agents? In J. M. Bradshaw (Ed.), Software Agents. (pp. 49--55). Cambridge, MA: The AAAI Press/The MIT Press.

Digital Library

[23]

Pynadath, D., & Tambe, M. (2001). Revisiting Asimov's first law: A response to the call to arms. Proceedings of ATAL 01.

Digital Library

[24]

Shoham, Y., & Tennenholtz, M. (1992). On the synthesis of useful social laws for artificial agent societies. Proceedings of the Tenth National Conference on Artificial Intelligence, (pp. 276--281). San Jose, CA,

Digital Library

[25]

Sierhuis, M., Bradshaw, J. M., Acquisti, A., Van Hoof, R., Jeffers, R., & Uszok, A. (2003). Human-agent teamwork and adjustable autonomy in practice. Proceedings of the Seventh International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS). Nara, Japan,

[26]

Suri, N., Bradshaw, J. M., Breedy, M. R., Groth, P. T., Hill, G. A., & Jeffers, R. (2000). Strong Mobility and Fine-Grained Resource Control in NOMADS. Proceedings of the 2nd International Symposium on Agents Systems and Applications and the 4th International Symposium on Mobile Agents (ASA/MA 2000). Zurich, Switzerland, Berlin: Springer-Verlag,

Digital Library

[27]

Suri, N., Bradshaw, J. M., Breedy, M. R., Groth, P. T., Hill, G. A., Jeffers, R., Mitrovich, T. R., Pouliot, B. R., & Smith, D. S. (2000). NOMADS: Toward an environment for strong and safe agent mobility. Proceedings of Autonomous Agents 2000. Barcelona, Spain, New York: ACM Press,

Digital Library

[28]

Suri, N., Bradshaw, J. M., Burstein, M. H., Uszok, A., Benyo, B., Breedy, M. R., Carvalho, M., Diller, D., Groth, P. T., Jeffers, R., Johnson, M., Kulkarni, S., & Lott, J. (2003). DAML-based policy enforcement for semantic data transformation and filtering in multi-agent systems. Proceedings of the Autonomous Agents and Multi-Agent Systems Conference (AAMAS 2003). Melbourne, Australia, New York, NY: ACM Press,

Digital Library

[29]

Suri, N., Bradshaw, J. M., Carvalho, M., Breedy, M. R., Cowin, T. B., Saavendra, R., & Kulkarni, S. (2003). Applying agile computing to support efficient and policy-controlled sensor information feeds in the Army Future Combat Systems environment. Proceedings of the Annual U.S. Army Collaborative Technology Alliance (CTA) Symposium.

[30]

Suri, N., Bradshaw, J. M., Carvalho, M., Cowin, T. B., Breedy, M. R., Groth, P. T., & Saavendra, R. (2003). Agile computing: Bridging the gap between grid computing and ad-hoc peer-to-peer resource sharing. O. F. Rana (Ed.), Proceedings of the Third International Workshop on Agent-Based Cluster and Grid Computing. Tokyo, Japan,

Digital Library

[31]

Suri, N., Carvalho, M., Bradshaw, J. M., Breedy, M. R., Cowin, T. B., Groth, P. T., Saavendra, R., & Uszok, A. (2003). Mobile code for policy enforcement. Policy 2003. Como, Italy,

[32]

Tonti, G., Bradshaw, J. M., Jeffers, R., Montanari, R., Suri, N., & Uszok, A. (2003). Semantic Web languages for policy representation and reasoning: A comparison of KAoS, Rei, and Ponder. Submitted to the International Semantic Web Conference (ISWC 03). Sanibel Island, Florida,

[33]

Uszok, A., Bradshaw, J. M., Hayes, P., Jeffers, R., Johnson, M., Kulkarni, S., Breedy, M. R., Lott, J., & Bunch, L. (2003). DAML reality check: A case study of KAoS domain and policy services. Submitted to the International Semantic Web Conference (ISWC 03). Sanibel Island, Florida,

[34]

Verhagen, H. (2001). Norms and artificial agents. Sixth Meeting of the Special Interest Group on Agent-Based Social Simulation, ESPRIT Network of Excellence on Agent-Based Computing. Amsterdam, Holland, http://abss.cfpm.org/amsterdam-01/abssnorms.pdf.

[35]

Weld, D., & Etzioni, O. (1994). The firsts law of robotics: A call to arms. Proceedings of the National Conference on Artificial Intelligence (AAAI 94), (pp. 1042--1047).

Digital Library

Cited By

Criado N(2019)Resource-bounded norm monitoring in multi-agent systemsJournal of Artificial Intelligence Research10.1613/jair.1.1120662:1(153-192)Online publication date: 17-Apr-2019
https://dl.acm.org/doi/10.1613/jair.1.11206
Jahan FSun WNiyaz QAlam M(2019)Security Modeling of Autonomous SystemsACM Computing Surveys10.1145/333779152:5(1-34)Online publication date: 13-Sep-2019
https://dl.acm.org/doi/10.1145/3337791
Chen SDelaney A(2018)Diagrammatically Formalising Constraints of a Privacy OntologyDiagrammatic Representation and Inference10.1007/978-3-319-91376-6_59(672-679)Online publication date: 17-May-2018
https://doi.org/10.1007/978-3-319-91376-6_59
Show More Cited By

Recommendations

KAoS Policy and Domain Services: Toward a Description-Logic Approach to Policy Representation, Deconfliction, and Enforcement
POLICY '03: Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks

In this paper, we describe our initial implementation ofthe KAoS policy and domain services. While primarilyoriented to the dynamic and complex requirements ofsoftware agent applications, the services are also beingadapted to general-purpose grid ...
Kaa: policy-based explorations of a richer model for adjustable autonomy
AAMAS '05: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems

Though adjustable autonomy is hardly a new topic in agent systems, there has been a general lack of consensus on terminology and basic concepts. In this paper, we describe the multi-dimensional nature of adjustable autonomy and give examples of how ...
KAoS Policy Management for Semantic Web Services

KAoS policy and domain services help with policy specification, analysis, disclosure, and enforcement of policies for Semantic Web Services. The authors describe these capabilities in the context of three example applications: Grid Policy Management, ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

AAMAS '03: Proceedings of the second international joint conference on Autonomous agents and multiagent systems

July 2003

1200 pages

ISBN:1581136838

DOI:10.1145/860575

General Chairs:
Jeffrey S. Rosenschein
Israel
,
Michael Wooldridge
UK
,
Program Chairs:
Tuomas Sandholm
USA
,
Makoto Yokoo
Japan

Copyright © 2003 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 July 2003

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

AAMAS03

Sponsor:

AAMAS03: Second International Conference on Autonomous Agents and Multiagent Systems

July 14 - 18, 2003

Melbourne, Australia

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

56
Total Citations
View Citations
884
Total Downloads

Downloads (Last 12 months)9
Downloads (Last 6 weeks)1

Reflects downloads up to 03 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Criado N(2019)Resource-bounded norm monitoring in multi-agent systemsJournal of Artificial Intelligence Research10.1613/jair.1.1120662:1(153-192)Online publication date: 17-Apr-2019
https://dl.acm.org/doi/10.1613/jair.1.11206
Jahan FSun WNiyaz QAlam M(2019)Security Modeling of Autonomous SystemsACM Computing Surveys10.1145/333779152:5(1-34)Online publication date: 13-Sep-2019
https://dl.acm.org/doi/10.1145/3337791
Chen SDelaney A(2018)Diagrammatically Formalising Constraints of a Privacy OntologyDiagrammatic Representation and Inference10.1007/978-3-319-91376-6_59(672-679)Online publication date: 17-May-2018
https://doi.org/10.1007/978-3-319-91376-6_59
Bokaei Hosseini MBreaux TNiu J(2018)Inferring Ontology Fragments from Semantic Role Typing of Lexical VariantsRequirements Engineering: Foundation for Software Quality10.1007/978-3-319-77243-1_3(39-56)Online publication date: 1-Mar-2018
https://doi.org/10.1007/978-3-319-77243-1_3
Kirrane SMileo ADecker S(2017)Access control and the Resource Description FrameworkSemantic Web10.3233/SW-1602368:2(311-352)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.3233/SW-160236
Grace PSurridge M(2017)Towards a Model of User-centered Privacy PreservationProceedings of the 12th International Conference on Availability, Reliability and Security10.1145/3098954.3104054(1-8)Online publication date: 29-Aug-2017
https://dl.acm.org/doi/10.1145/3098954.3104054
Slavin RWang XHosseini MHester JKrishnan RBhatia JBreaux TNiu J(2016)PVDetectorProceedings of the International Conference on Mobile Software Engineering and Systems10.1145/2897073.2897720(299-300)Online publication date: 14-May-2016
https://dl.acm.org/doi/10.1145/2897073.2897720
Slavin RWang XHosseini MHester JKrishnan RBhatia JBreaux TNiu JDillon LVisser WWilliams L(2016)Toward a framework for detecting privacy policy violations in android application codeProceedings of the 38th International Conference on Software Engineering10.1145/2884781.2884855(25-36)Online publication date: 14-May-2016
https://dl.acm.org/doi/10.1145/2884781.2884855
Le XWang D(2015)Managing Access Control in Collaborative Processes for Healthcare ApplicationsMedical Data Privacy Handbook10.1007/978-3-319-23633-9_13(313-359)Online publication date: 2015
https://doi.org/10.1007/978-3-319-23633-9_13
Abdi S(2014)Integration of Heterogeneous Policies for Trust Management2014 IEEE 38th International Computer Software and Applications Conference Workshops10.1109/COMPSACW.2014.71(413-419)Online publication date: Jul-2014
https://doi.org/10.1109/COMPSACW.2014.71
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten