Abstract
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarative) languages and mechanisms for specifying its maintenance and evolution. For example, for changing the behaviour of a data source, so that a new rule becomes into effect, one should not be concerned with the complex, interrelated, and dynamically obtained knowledge, and should have a way to simply specify what knowledge is to be changed. This requires the existence of a language for exacting such changes (or updates), which takes in consideration the addition/deletion and changes of rules, thereby automating the task of dealing with inconsistencies arising from those updates. To address this issue, we resort to recent developments in the field of Logic Programming, and show how the framework of EVOLP (EVOlving Logic Programs) can be put to work to model such reactive and updateable rule bases, bringing an important added value to RuleML. We make our case by exhibiting a detailed application example of how EVOLP can be used to express updateable RuleML rule bases, employing it to define an evolving e-mail Personal Assistant Agent.
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
The Semantic Web Activity, http://www.w3.org/2001/sw/
Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, p. 50. Springer, Heidelberg (2002)
Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.: Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming 45(1–3) (2000)
Alferes, J.J., Pereira, L.M., Przymusinska, H., Przymusinski, T.: LUPS: A language for updating logic programs. Artificial Intelligence 138(1–2) (2002)
Bergman, R., Griss, M., Staelin, C.: A personal email assistant. Technical Report HPL-2002-236, HP Labs Palo Alto (2002)
Boley, H., Tabet, S., Wagner, G.: Design rationale of ruleml: A markup language for semantic web rules. In: SWWS 2001 (2001)
The World Wide Web Consortium, http://www.w3.org/
Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: A framework for declarative update specifications in logic programs. In: IJCAI 2001, Morgan Kaufmann, San Francisco (2001)
Gelfond, M., Lifschitz, V.: The stable semantics for logic programs. In: ICLP 1988, MIT Press, Cambridge (1988)
Grosof, B.: Representing e-business rules for the semantic web: Situated courteous logic programs in ruleml. In: WITS 2001 (2001)
Grosof, B., Poon, T.: Representing agent contracts with exceptions using xml rules, ontologies, and process descriptions. In: RuleML-BR-SW 2002 (2002)
Compuquest Inc. Spreadmsg, www.compuquestinc.com
The Rule Markup Initiative, http://www.dfki.uni-kl.de/ruleml/
Leite, J.A.: Evolving Knowledge Bases. IOS Press, Amsterdam (2003)
Lifschitz, V., Woo, T.: Answer sets in general non-monotonic reasoning. In: KR 1992, Morgan Kaufmann, San Francisco (1992) (preliminary report)
Caudex Services Ltd. Superscout email filter, www.caudexservices.co.uk
Resource Description Framework (RDF), http://www.w3.org/RDF/
Schroeder, M., Wagner, G. (eds.) Procs. of RuleML-BR-SW 2002, vol. 60, CEUR-WS Publication (2002)
Spam-Filtering-Software.com. Spam agent, www.spam-filtering-software.com
Extensible Markup Language (XML), http://www.w3.org/XML/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M. (2003). An Evolvable Rule-Based E-mail Agent. In: Pires, F.M., Abreu, S. (eds) Progress in Artificial Intelligence. EPIA 2003. Lecture Notes in Computer Science(), vol 2902. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24580-3_45
Download citation
DOI: https://doi.org/10.1007/978-3-540-24580-3_45
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20589-0
Online ISBN: 978-3-540-24580-3
eBook Packages: Springer Book Archive