Abstract
In this paper, we extend our previous work on complex reaction in rule-based logical agents. In particular, we introduce the possibility of defining and exploiting complex preferences for choosing the course of action to undertake in response to external events, also based upon a (simplified) form of modal reasoning and on sequences of past events.
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
Costantini, S., Tocchio, A.: A Logic Programming Language for Multi-agent Systems. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 1–13. Springer, Heidelberg (2002)
Costantini, S., Tocchio, A.: The DALI Logic Programming Agent-Oriented Language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 685–688. Springer, Heidelberg (2004)
Tocchio, A.: Multi-Agent systems in computational logic. PhD thesis, Dipartimento di Informatica, Università degli Studi di L’Aquila (2005)
Costantini, S., D’Alessandro, S., Lanti, D., Tocchio, A.: Dali web site, download of the interpreter (2010), http://www.di.univaq.it/stefcost/Sito-Web-DALI/WEB-DALI/index.php
Costantini, S.: The dali agent-oriented logic programming language: References (2012), http://www.di.univaq.it/stefcost/info.htm
Costantini, S., Dell’Acqua, P., Tocchio, A.: Expressing preferences declaratively in logic-based agent languages. In: Proc. of Commonsense 2007, the 8th International Symposium on Logical Formalizations of Commonsense Reasoning. AAAI Press (2007); Event in honor of the 80th birthday of John McCarthy
Costantini, S.: Answer Set Modules for Logical Agents. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2010. LNCS, vol. 6702, pp. 37–58. Springer, Heidelberg (2011)
Chandy, M.K., Etzion, O., von Ammon, R.: 10201 Executive Summary and Manifesto – Event Processing. In: Chandy, K.M., Etzion, O., von Ammon, R. (eds.) Event Processing. Number 10201 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2011)
Paschke, A., Kozlenkov, A.: Rule-Based Event Processing and Reaction Rules. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 53–66. Springer, Heidelberg (2009)
Etzion, O.: Event processing - past, present and future. Proceedings of the VLDB Endowment, PVLDB Journal 3(2), 1651–1652 (2010)
Paschke, A., Vincent, P., Springer, F.: Standards for Complex Event Processing and Reaction Rules. In: Palmirani, M. (ed.) RuleML - America 2011. LNCS, vol. 7018, pp. 128–139. Springer, Heidelberg (2011)
Vincent, P.: Event-Driven Rules: Experiences in CEP. In: Olken, F., et al. (eds.) RuleML - America 2011. LNCS, vol. 7018, p. 11. Springer, Heidelberg (2011)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of the 5th International Conference and Symposium on Logic Programming (ICLP/SLP 1988), pp. 1070–1080. The MIT Press (1988)
Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365–385 (1991)
Marek, V.W., Truszczyński, M.: Stable logic programming - An alternative logic programming paradigm. In: 25 years of Logic Programming Paradigm, pp. 375–398. Springer (1999)
Gelfond, M.: Answer sets. In: Handbook of Knowledge Representation. Elsevier (2007)
Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press (2003)
Leone, N.: Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, p. 1. Springer, Heidelberg (2007)
Truszczyński, M.: Logic Programming for Knowledge Representation. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 76–88. Springer, Heidelberg (2007)
Eiter, T., Brewka, G., Dao-Tran, M., Fink, M., Ianni, G., Krennwallner, T.: Combining Nonmonotonic Knowledge Bases with External Sources. In: Ghilardi, S., Sebastiani, R. (eds.) FroCoS 2009. LNCS, vol. 5749, pp. 18–42. Springer, Heidelberg (2009)
Boley, H.: The RuleML Family of Web Rule Languages (Revised Selected Papers). In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 1–17. Springer, Heidelberg (2006)
Costantini, S., Tocchio, A.: The DALI Logic Programming Agent-Oriented Language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 685–688. Springer, Heidelberg (2004)
Costantini, S.: Defining and maintaining agent’s experience in logical agents. In: Proc. of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, vol. 804, pp. 151–165 (2011); also in the Informal Proc. of the LPMAS ”Logic Programming for Multi-Agent Systems” Workshop at ICLP 2011
Kowalski, R., Sadri, F.: Towards a Unified Agent Architecture that Combines Rationality with Reactivity. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol. 1154, pp. 135–149. Springer, Heidelberg (1996)
Hallden, S.: On the logic of better. Library of Theoria, No. 2 Lund: Library of Theoria. Cambridge University Press (1957)
von Wright, G.H.: The logic of preference. Edinburgh University Press (1963)
van Benthem, J., Girard, P., Roy, O.: Everything else being equal: A modal logic for ceteris paribus preferences. J. Philos. Logic 38, 83–125 (2009)
Liu, F.: Von Wright “the logic of preference” revisited. Synthese 175(1), 69–88 (2009)
Delgrande, J., Schaub, T., Tompits, H., Wang, K.: A classification and survey of preference handling approaches in nonmonotonic reasoning. Computational Intelligence 20(12), 308–334 (2004)
Brewka, G., Niemelä, I., Truszczyński, M.: Preferences and nonmonotonic reasoning. AI Magazine 29(4) (2008)
Dastani, M.M., Governatori, G., Rotolo, A., van der Torre, L.W.N.: Programming Cognitive Agents in Defeasible Logic. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol. 3835, pp. 621–636. Springer, Heidelberg (2005)
Costantini, S., Formisano, A.: Modeling preferences and conditional preferences on resource consumption and production in ASP. Journal of of Algorithms in Cognition, Informatics and Logic 64(1) (2009)
Costantini, S., Formisano, A.: Weight Constraints with Preferences in ASP. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 229–235. Springer, Heidelberg (2011)
Costantini, S., Formisano, A.: Augmenting weight constraints with complex preferences. In: Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, USA. AAAI Press (2011)
Brewka, G.: Complex preferences for answer set optimization. In: Dubois, D., Welty, C.A., Williams, M.A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), Whistler, Canada, June 2-5, pp. 213–223 (2004)
McCarthy, J.: Elaboration tolerance. In: Proc. of Common Sense 1998 (1998), http://www-formal.stanford.edu/jmc/elaboration.html
Costantini, S., Dell’Acqua, P., Pereira, L.M., Toni, F.: Meta-axioms and complex preferences in evolving logical agents. In: Proc. of 15th Portuguese Conference on Artificial Intelligence (2011); also in the Informal Proc. of the LPMAS ”Logic Programming for Multi-Agent Systems” Workshop at ICLP 2011
Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138(1-2), 181–234 (2002)
Costantini, S., Formisano, A.: Answer set programming with resources. Journal of Logic and Computation 20(2), 533–571 (2010)
Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell. 172(12-13), 1495–1539 (2008)
Eiter, T., Ianni, G., Krennwallner, T., Polleres, A.: Rules and ontologies for the semantic web. In: Baroglio, C., Bonatti, P.A., Małuszyński, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web 2008. LNCS, vol. 5224, pp. 1–53. Springer, Heidelberg (2008)
Costantini, S.: Temporal meta-axioms in logical agents (submitted)
Bevar, V., Muccini, H., Costantini, S., Gasperis, G.D., Tocchio, A.: The DALI Logic Programming Agent-Oriented Language. In: Proc. of the 10th Conference on Practical Applications of Agents and Multi-Agent Systems. AISC. Springer (in press, 2012), Paper and demo
Bracciali, A., Demetriou, N., Endriss, U., Kakas, A.C., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Terreni, G., Toni, F.: The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS (LNAI), vol. 3267, pp. 340–367. Springer, Heidelberg (2005)
Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The KGP model of agency. In: Proc. ECAI 2004 (2004)
Stathis, K., Toni, F.: Ambient Intelligence Using KGP Agents. In: Markopoulos, P., Eggen, B., Aarts, E., Crowley, J.L. (eds.) EUSAI 2004. LNCS, vol. 3295, pp. 351–362. Springer, Heidelberg (2004)
Alferes, J.J., Brogi, A., Leite, J., Moniz Pereira, L.: Evolving Logic Programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 50–61. Springer, Heidelberg (2002)
Costantini, S.: Memory, experience and adaptation in logical agents (submitted)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Costantini, S., De Gasperis, G. (2012). Complex Reactivity with Preferences in Rule-Based Agents. In: Bikakis, A., Giurca, A. (eds) Rules on the Web: Research and Applications. RuleML 2012. Lecture Notes in Computer Science, vol 7438. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32689-9_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-32689-9_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32688-2
Online ISBN: 978-3-642-32689-9
eBook Packages: Computer ScienceComputer Science (R0)