CLAIM : CLAIM : A Computational Language for A Computational Language for Autonomous, Intelligent and Autonomous, Intelligent and Mobile agents Mobile agents Amal EL FALLAH-SEGHROUCHNI Alexandru SUNA University of Paris 6 University of Paris 6 University of Paris 9 University of Paris 9
38
Embed
CLAIM : A Computational Language for Autonomous, Intelligent and Mobile agents Amal EL FALLAH-SEGHROUCHNI Alexandru SUNA University of Paris 6 University.
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
CLAIM : CLAIM : A Computational Language for A Computational Language for
Autonomous, Intelligent and Mobile agentsAutonomous, Intelligent and Mobile agents
Amal EL FALLAH-SEGHROUCHNI Alexandru SUNA
University of Paris 6University of Paris 6 University of Paris 9University of Paris 9
MotivationsMotivations Think and implement in the same
paradigm: agent
Meet the requirements of:– distribution– migration
Talk OutlineTalk Outline Programming distributed MAS
– Agent Oriented Languages– Ambient Calculus
CLAIM specifications– Agents– Agent’s Reasoning– Example
processes :processes :forAllKnowledge (knowledge){ P }
forAllAgents (agentName){ P }
arg = this | clone | process
Agent’s ReasoningAgent’s Reasoning
Forward reasoning::
• choose a messages from the queue of messages• find the capabilities that have this activation message • verify the conditions of the chosen capabilities• execute the corresponding processes
Backward reasoning:
• choose a goal form the goal list• find the capabilities that allow to achieve the goal• verify the conditions of the chosen capabilities update the goals, ask for capabilities• execute the corresponding processes
ExampleExamplee-commerce
Company agent
• knows the names of some Buyer agents• can create Seller agents
• Easy design of distributed MAS • editing agents, interpret, agent interface
• Suitable platform for implementation• management, creation, execution, authentication, migration of agents• protocols for communication and mobility
Expressiveness
Completeness
PerspectivesPerspectives
Define an operational semantics of CLAIMDefine an operational semantics of CLAIM Enrich the languageEnrich the language
– add security primitives and data types
Extend de language possibilities
– develop libraries of agents
– endow agents with learning capacities
Improve SYMPA
– call functions/subroutines defined in other languages
– offer several mechanisms for the management of agents and agent systems
References References • Luca Cardelli, "Abstractions for Mobile Computation", in Secure Internet Programming: Security Issues for Mobile and Distributed Objects. Lecture Notes in Computer Science, Vol. 1603, Springer, pp. 51-94, 1999.
• Luca Cardelli, A.D. Gordon, "Mobile Ambients", in Foundations of Software Science and Computational Structures, Maurice Nivat (Ed.), Lecture Notes in Computer Science, Vol. 1378, Springer, pp. 140-155, 1998
• Winton H E Davies, Peter Edwards, "Agent-K: An Integration of AOP and KQLM", 1994.
• K.V.Hindriks, F.S.deBoer, W.van der Hoek, J.J.Ch.Meyer, "Agent Programming in 3APL", 1999
•M. d'Inverno, D. Kinny, M. Luck, M. Wooldridge, "A Formal Specification of dMARS", 1998.
• D. Milojicic, M. Breugst, I. Busse, J. Campbell, S. Covaci, B. Friedman, K. Kosaka, D. Lange, K. Ono, M. Oshima, C. Tham, S. Virdhagriswaran, J. White, "MASIF, The OMG Mobile Agent System Interoperability Facility", 1998.
• David Parks, "Agent-Oriented Programming: A Practical Evaluation", 1997.
• Christian F. Tschudin, "Mobile Agent Security", in Intelligent Information Agents - Agent based information discovery and management on the Internet, Springer, pp. 431-445, 1999.