Parametric Reasoning Agents Extend the Control over Standard Behaviors
Pages 163 - 170
Abstract
In this paper, we study how to extend the control over the behavioral space of logically specified agents so as they can take into account parameters issuing from constraints and/or preferences that are external to their core reasoning process. Our approach is supported by the proposition of a set of generic transformations to apply to the original agent program that is expressed in Indigo log, a variant of the Golog language. Several of these transformations exploit the non-determinism present in Indigo log programs. We also propose an automatic process to apply all those transformations on the basis of a set of parameters. Three case-studies show the significance of the approach in situations where agents are in interaction with human users.
References
[1]
M. Wooldridge, "Agent-based computing," Interoperable Communication Networks, vol. 1, pp. 71-97, 1997.
[2]
N. R. Jennings, "On agent-based software engineering," Artificial Intelligence, vol. 117, no. 2, pp. 277-296, 2000.
[3]
M. Wooldridge, Reasoning about Rational Agents. MIT Press, 2000.
[4]
S. J. Russell and P. Norvig, Artificial Intelligence - A Modern Approach (3. internat. ed.). Pearson Education, 2010.
[5]
H. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. Scherl, "Golog: A logic programming language for dynamic domains," The Journal of Logic Programming, vol. 31, no. 1, pp. 59-83, 1997.
[6]
M. Baldoni, C. Baroglio, and V. Patti, "Web-based adaptive tutoring: an approach based on logic agents and reasoning about actions," Artificial Intelligence Review, vol. 22, no. 1, pp. 3-39, 2004.
[7]
S. Thomas, "The PLACA agent programming language," in Intelligent Agents, ser. Lecture Notes in Computer Science, M. Wooldridge and N. Jennings, Eds. Springer Berlin Heidelberg, 1995, vol. 890, pp. 355-370.
[8]
M. Xuetao, F. Bouchet, and J. P. Sansonnet, "Impact of agent's answers variability on its believability and human-likeness and consequent chatbot improvements," in Proc. of AISB 2009, Edinburgh, 2009, pp. 31-36.
[9]
J. Bates, "The role of emotion in believable agents," Commun. ACM, vol. 37, no. 7, pp. 122-125, 1994.
[10]
F. D. Davis, "Perceived usefulness, perceived ease of use, and user acceptance of information technology," MIS Quarterly, vol. 13, no. 3, pp. 319-340, 1989.
[11]
E. Motta, Reusable Components for Knowledge Modelling: Case Studies in Parametric Design Problem Solving, 1st ed. Amsterdam, The Netherlands, The Netherlands: IOS Press, 1999.
[12]
D. Kuokka and B. Livezey, "A collaborative parametric design agent," in Proceedings of the twelfth national conference on Artificial intelligence (vol. 1), ser. AAAI '94. Menlo Park, CA, USA: American Association for Artificial Intelligence, 1994, pp. 387-393.
[13]
G. Adomavicius and A. Tuzhilin, "Personalization technologies: a process-oriented perspective," Commun. ACM, vol. 48, no. 10, pp. 83-90, oct 2005.
[14]
D. Rousseau, "Personality in computer characters," in AAAI Technical Report WS-96-03. AAAI Press, 1996, pp. 38-43.
[15]
C. Castelfranchi, F. D. Rosis, R. Falcone, and S. Pizzutilo, "Personality traits and social attitudes in multiagent cooperation," Applied Artificial Intelligence, vol. 12, no. 7-8, pp. 649-675, 1998.
[16]
J. McCarthy and P. Hayes, Some philosophical problems from the standpoint of artificial intelligence. Stanford University, 1968.
[17]
G. Giacomo, Y. Lespérance, H. Levesque, and S. Sardina, "IndiGolog: A high-level programming language for embedded reasoning agents," Multi-Agent Programming, pp. 31-72, 2009.
[18]
C. Jacquiot, Y. Bourda, F. Popineau, A. Delteil, and C. Reynaud, "GLAM: A generic layered adaptation model for adaptive hypermedia systems," in Adaptive Hypermedia and Adaptive Web-Based Systems. Springer, 2006, pp. 131-140.
[19]
G. Dubus, F. Popineau, and Y. Bourda, "Situation calculus and personalized web systems," in Intelligent Systems Design and Applications (ISDA), 2011 11th International Conference on. IEEE, 2011, pp. 569-574.
[20]
P. Brusilovsky, "Methods and techniques of adaptive hypermedia," User modeling and user-adapted interaction, vol. 6, no. 2, pp. 87-129, 1996.
[21]
G. Dubus, F. Popineau, and Y. Bourda, "A formal approach to personalization," in Tools with Artificial Intelligence (ICTAI), 2011 23rd IEEE International Conference on. IEEE, 2011, pp. 233-238.
[22]
B. Hayes-Roth, "What makes characters seem life-like?" in Lifelike Characters. Tools, Affective Functions and Applications. Heidelberg: Springer, 2004.
[23]
F. Bouchet and J. Sansonnet, "Influence of personality traits on the rational process of cognitive agents," in Web Intelligence and Intelligent Agent Technology (WI-IAT), 2011 IEEE/WIC/ACM International Conference on, vol. 2. IEEE, 2011, pp. 81-88.
[24]
O. P. John, R. W. Robins, and L. A. Pervin, Eds., Handbook of Personality: Theory and Research, 3rd ed. The Guilford Press, 2008.
[25]
L. R. Goldberg, "An alternative description of personality: The Big-Five factor structure," Journal of Personality and Social Psychology, vol. 59, pp. 1216-1229, 1990.
[26]
P. T. Costa and R. R. McCrae, The NEO PI-R professional manual. Odessa, FL: Psychological Assessment Resources, 1992.
[27]
E. Sisbot, L. Marin, and R. Alami, "Spatial reasoning for human robot interaction," in Intelligent Robots and Systems, 2007. IROS 2007. IEEE/RSJ International Conference on Intelligent Robots and Systems, 2007, pp. 2281-2287.
[28]
R. Gockley, R. Simmons, and J. Forlizzi, "Modeling affect in socially interactive robots," in Robot and Human Interactive Communication, 2006. ROMAN 2006. The 15th IEEE International Symposium on Robot and Human Interactive Communication, 2006, pp. 558-563.
[29]
S. Sardina and Y. Lespérance, "Golog speaks the BDI language," in Programming Multi-Agent Systems, ser. Lecture Notes in Computer Science, L. Braubach, J.-P. Briot, and J. Thangarajah, Eds. Springer Berlin / Heidelberg, 2010, vol. 5919, pp. 82-99, 10.1007/978-3-642- 14843-9_6.
[30]
S. Sardiña and S. Shapiro, "Rational action in agent programs with prioritized goals," in Proceedings of the second international joint conference on Autonomous agents and multiagent systems, ser. AAMAS '03. New York, NY, USA: ACM, 2003, pp. 417-424.
[31]
C. Fritz and S. McIlraith, "Decision-theoretic Golog with qualitative preferences," in Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR06), Lake District, UK, June 2006, pp. 153-163.
[32]
S. M. Khan and Y. Lespérance, "A logical framework for prioritized goal change," in Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1, ser. AAMAS '10. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2010, pp. 283-290.
[33]
D. Rousseau and B. Hayes-Roth, "Personality in synthetic characters," in Technical report, KSL 96-21. Knowledge Systems Laboratory, Stanford University, 1996.
[34]
J. Gratch and S. Marsella, "A domain-independent framework for modeling emotion," Journal of Cognitive Systems Research, vol. 5, no. 4, pp. 269-306, 2004.
[35]
R. Evertsz, F. E. Ritter, P. Busetta, and M. Pedrotti, "Realistic behaviour variation in a BDI-based cognitive architecture," in Proc. of SimTecT'08, Melbourne, Australia, 2008.
[36]
L. Malatesta, G. Caridakis, A. Raouzaiou, and K. Karpouzis, "Agent personality traits in virtual environments based on appraisal theory predictions," in Artificial and Ambient Intelligence, Language, Speech and Gesture for Expressive Characters,achie AISB'07, Newcastle, UK, 2007.
[37]
M. McRorie, I. Sneddon, E. de Sevin, E. Bevacqua, and C. Pelachaud, "A model of personality and emotional traits," in Intelligent Virtual Agents (IVA 2009), ser. LNAI, vol. 5773. Amsterdam, NL: Springer-Verlag, 2009, pp. 27-33.
[38]
C. Pelachaud, "Some considerations about embodied agents," in Int. Conf. on Autonomous Agents, Barcelona, 2000.
Index Terms
- Parametric Reasoning Agents Extend the Control over Standard Behaviors
Recommendations
Reasoning about time-dependent multi-agents: foundations of theorem proving and model checking
Transactions on Compuational Collective Intelligence VIFirstly, an extension of linear-time temporal logic (LTL), called an agents-indexed linear-time temporal logic (ALTL), is introduced as a Gentzen-type sequent calculus. ALTL is intended to appropriately express reasoning about time-dependent multi-...
Reasoning about the transfer of control
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foundation of DCL-PC is CL-PC, a logic for reasoning about cooperation in ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
November 2013
421 pages
ISBN:9780769551456
Sponsors
Publisher
IEEE Computer Society
United States
Publication History
Published: 17 November 2013
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 20Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 16 Nov 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in