An Evolvable Rule-Based E-mail Agent

  • J. J. Alferes
  • A. Brogi
  • J. A. Leite
  • Luís Moniz Pereira
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2902)


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.


Logic Program Rule Base Resource Description Framework Logic Programming Stable Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    The Semantic Web Activity,
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Alferes, J.J., Pereira, L.M., Przymusinska, H., Przymusinski, T.: LUPS: A language for updating logic programs. Artificial Intelligence 138(1–2) (2002)Google Scholar
  5. 5.
    Bergman, R., Griss, M., Staelin, C.: A personal email assistant. Technical Report HPL-2002-236, HP Labs Palo Alto (2002)Google Scholar
  6. 6.
    Boley, H., Tabet, S., Wagner, G.: Design rationale of ruleml: A markup language for semantic web rules. In: SWWS 2001 (2001)Google Scholar
  7. 7.
    The World Wide Web Consortium,
  8. 8.
    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)Google Scholar
  9. 9.
    Gelfond, M., Lifschitz, V.: The stable semantics for logic programs. In: ICLP 1988, MIT Press, Cambridge (1988)Google Scholar
  10. 10.
    Grosof, B.: Representing e-business rules for the semantic web: Situated courteous logic programs in ruleml. In: WITS 2001 (2001)Google Scholar
  11. 11.
    Grosof, B., Poon, T.: Representing agent contracts with exceptions using xml rules, ontologies, and process descriptions. In: RuleML-BR-SW 2002 (2002)Google Scholar
  12. 12.
    Compuquest Inc. Spreadmsg,
  13. 13.
    The Rule Markup Initiative,
  14. 14.
    Leite, J.A.: Evolving Knowledge Bases. IOS Press, Amsterdam (2003)zbMATHGoogle Scholar
  15. 15.
    Lifschitz, V., Woo, T.: Answer sets in general non-monotonic reasoning. In: KR 1992, Morgan Kaufmann, San Francisco (1992) (preliminary report)Google Scholar
  16. 16.
    Caudex Services Ltd. Superscout email filter,
  17. 17.
    Resource Description Framework (RDF),
  18. 18.
    Schroeder, M., Wagner, G. (eds.) Procs. of RuleML-BR-SW 2002, vol. 60, CEUR-WS Publication (2002)Google Scholar
  19. 19. Spam agent,
  20. 20.
    Extensible Markup Language (XML),

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • J. J. Alferes
    • 1
  • A. Brogi
    • 2
  • J. A. Leite
    • 1
  • Luís Moniz Pereira
    • 1
  1. 1.CENTRIAUniversidade Nova de LisboaPortugal
  2. 2.Dipartimento di InformaticaUniversità di PisaItaly

Personalised recommendations