Abstract
We argue for an XML encoding of FIPA Agent Communication Language (ACL), and give an alpha version of it, called Agent Communication Markup Language (ACML), which we have implemented. The XML approach facilitates: (a) developing/maintaining parsers, integrating with WWW-world software engineering, and (b) the enriching capability to (hyper-)link to ontologies and other extra information. The XML approach applies similarly to KQML as well. Motivated by the importance of the content language aspect of agent communication, we focus in particular on business rules as a form of content that is important in e-commerce applications such as bidding negotiations. A leading candidate content language for business rules is Knowledge Interchange Format (KIF), which is currently in the ANSI standards committee process. We observe several major practical shortcomings of KIF as a content language for business rules in e-commerce. We argue instead for a knowledge representation (KR) approach based on Courteous Logic Programs (CLP) that overcomes several of KIF’s representational limitations, and argue for this CLP approach, e.g., for its logical non-monotonicity and its computational practicality. CLP is a previous KR that expressively extends declarative ordinary logic programs cf. Prolog; it includes negation-as-failure plus prioritized conflict handling. We argue for an XML encoding of business rules content, and give an alpha version of it, called Business Rules Markup Language (BRML), which we have implemented. BRML can express both CLP and a subset of KIF (i.e., of first-order logic) that overlaps with CLP. BRML expressively both extends and complements KIF. The overall advantages of an XML approach to content language are similar to those for the XML approach to ACL, and indeed complements the latter since content is carried within ACL messages. We have implemented both ACML and BRML/CLP; a free alpha prototype of BRML/CLP, called IBM CommonRules, was released on the Web in July of 1999.
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
Baral, C., Gelfond, M.: Logic programming and knowledge representation. J. Logic Programming 19(20), 73–148 (1994); Includes extensive review of literature
Cooper, T., Wogrin, N.: Rule-based Programming with OPS5. Morgan Kaufmann, San Francisco (1988) ISBN 0-934613-51-6
Farquhar, A., Fikes, R., Rice, J.: The ontolingua server: A tool for collaborative ontology construction. In: KAW 1996 (Novemeber 1996)
Genesereth, M., Fikes, R., et al.: Knowledge interchange format, version 3.0 reference manual. Technical report, Computer Science Dept., Stanford Univ. (1992)
Grosof, B.N.: Building Commercial Agents: An IBM Research Perspective (Invited Talk). In: Proc. 2nd Intnl. Conference and Exhibition on Practical Applications of Intelligent Agents and Multi-Agent Technology (PAAM 1997), Practical Application Company Ltd., P.O. Box 137, Blackpool, Lancashire, FY2 9UN, UK./ar/PAAM97, Held London, UK (April 1997), http://www.demon.co.uk ; Also available as IBM Research Report RC 20835
Grosof, B.N.: Prioritized Conflict Handling for Logic Programs. In: Maluszynski, J. (ed.) Logic Programming: Proceedings of the International Symposium (ILPS 1997). MIT Press, Cambridge (1997), http://www.ida.liu.se/~ilps97 ; Extended version available as IBM Research Report RC 20836
Grosof, B.N.: Compiling Prioritized Default Rules Into Ordinary Logic Programs. IBM Research Report RC 21472 (1999)
Grosof, B.N.: A Courteous Compiler from Generalized Courteous Logic Programs To Ordinary Logic Programs (Preliminary Report). Technical report, IBM T.J. Watson Research Center, included as documentation in the IBM CommonRules 1.0 alpha prototype Web release of July 30. This is a supplementary followon to IBM Research Report RC 21472. Revised version forthcoming as another IBM Research Report (1999), at http://alphaworks.ibm.com
Grosof, B.N.: DIPLOMAT: Compiling Prioritized Default Rules Into Ordinary Logic Programs, for E-Commerce Applications (extended abstract of Intelligent Systems Demonstration). In: Proceedings of AAAI 1999, Morgan Kaufmann, SanFrancisco (1999); Extended version available as IBM Research Report RC21473 (May 1999)
Grosof, B.N., Labrou, Y., Chan, H.Y.: A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML. In: Wellman, M.P. (ed.) Proceedings of 1st ACM Conference on E-Commerce (EC 1999), Held Denver, CO, USA, November 3-5. ACM Press, New York (1999), http://www.ibm.com/iac/ec99/ or http://www.acm.org ; Extended version to be available as an IBM Research Report
Grosof, B.N., Levine, D.W., Chan, H.Y., Parris, C.P., Auerbach, J.S.: Reusable Architecture for Embedding Rule-Based Intelligence in Information Agents. In: Proceedings of the ACM Conference on Information and Knowledge Management (CIKM1995) Workshop on Intelligent Information Agents, Held Baltimore, MD (December 1995), http://www.cs.umbc.edu/iia/ , Paper also available as IBM Research Report RC 20305
Gruber, T.R.: A translation approach to portable ontology specifications. Knowledge Acquisition 2, 199–220 (1993)
Labrou, Y., Finin, T., Peng, Y.: Agent communication languages: the current landscape. IEEE Intelligent Systems (May 1999)
Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Germany (1987)
Neches, R., Fikes, R., Finin, T., Gruber, T., Patil, R., Senator, T., Swartout, W.: Enabling technology for knowledge sharing. AI Magazine 12(3), 36–56 (1991)
Patil, R.S., Fikes, R.E., Patel-Schneider, P.F., McKay, D., Finin, T., Gruber, T., Neches, R.: The DARPA knowledge sharing effort: Progress report. In: Huhns, M., Singh, M. (eds.) Readings in Agents. Morgan Kaufmann, San Francisco (1997) (reprint of KR-92 paper)
Reeves, D.M., Grosof, B.N., Wellman, M., Chan, H.Y.: Toward a Declarative Language for Negotiating Executable Contracts. In: Proc. AAAI 1999 Workshop on Artificial Intelligence in Electronic Commerce, AIEC 1999 (1999); Proceedings published by AAAI/MIT Press as Technical Report, http://www.aaai.org , also available at AIEC website http://www.cs.umbc.edu/aiec/ , Also available as IBM Research Report RC 21476
Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol. 1. Computer Science Press, Rockville (1988)
Ullman, J.D., Widom, J.: A First Course in Database Systems. Prentice-Hall, Englewood Cliffs (1997)
Wooldridge, M.: Verifiable semantics for agent communication languages. In: International Conference on Multi-Agent Systems (ICMAS 1998), Paris, France (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Grosof, B.N., Labrou, Y. (2000). An Approach to Using XML and a Rule-Based Content Language with an Agent Communication Language. In: Dignum, F., Greaves, M. (eds) Issues in Agent Communication. Lecture Notes in Computer Science(), vol 1916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722777_7
Download citation
DOI: https://doi.org/10.1007/10722777_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41144-4
Online ISBN: 978-3-540-40028-8
eBook Packages: Springer Book Archive