Transcript Diapositiva 1 - AgentService

Designing agent interactions
with Pericles
A. Passadore, C. Vecchiola, A. Grosso, A. Boccalatte
{passa, christian, agrosso, nino}@dist.unige.it
l.i.d.o.- DIST – University of Genoa
l.i.d.o. –
DIST
–
University of Genova
Agenda
AgentService
Framework
Agent model
Pericles Suite
Ontology service
Interaction protocol service
Conclusions and future works
16/07/2015
2
l.i.d.o. –
DIST
–
University of Genova
AgentService
Framework for the Multi-Agent systems
development.
FIPA Compliant
Based on the Common Language
Infrastructure
Totally written in C#
16/07/2015
3
l.i.d.o. –
DIST
–
University of Genova
AgentService today
Pre-release 1.0
Stable version
Continuously updated
OpenSource LGPL license
Available at www.agentservice.it
AgentService forum
16/07/2015
4
l.i.d.o. –
DIST
–
University of Genova
AgentService
Behaviours
Knowledges
APX
Wizards
Development
Agent model
Design tools
Storage
Maintenance
Messaging
Platform
infrastructure
Tools
Core systems
Persistence
Services
Logging
AMS
MTS
16/07/2015
5
Monitoring
Ontologies
Agent mobility
DF
Roles code
generator
l.i.d.o. –
DIST
–
University of Genova
AgentService platform
Core Modules
FIPA Service Components (Agents)
Additional Modules
logging
Agent Management System
- agents management
- scheduling of agent activities
- platform services supervision
- white pages services
persistence
DF
Directory Facilitator
- agents localization
- yellow pages services
MTS
Message Transport System
- agent communication
- message dispatching
16/07/2015
messaging
AMS
6
storage
l.i.d.o. –
DIST
–
University of Genova
AgentService agent
Knowledge objects…
… represent the knowledge base
… are managed concurrently
… can be persistent
K
K
K
B
BB
Communication
Behaviour objects…
-
… contain the business code
… are executed concurrently
… access to the knowledge objects
Through conversations
Through single messages
conveying: strings and
serialized objects.
16/07/2015
7
l.i.d.o. –
DIST
–
University of Genova
Pericles Suite
Ontology development:
Ontology design
Automatic code generation and assembly
building
Interaction protocol development:
Interaction protocol design
Roles generation
Ontology support
Automatic code generation and assembly
building
16/07/2015
8
l.i.d.o. –
Pericles Suite
16/07/2015
9
DIST
–
University of Genova
l.i.d.o. –
DIST
–
University of Genova
Ontology Service
An AgentService ontology…
… is a pragmatic approach to help agents
to speak.
… follows the FIPA specification
… is compatible with the JADE
implementation.
16/07/2015
10
l.i.d.o. –
DIST
–
University of Genova
Ontology Service
An AgentService ontology…
…models message contents and
knowledge objects.
… contains methods to validate an
instance of an ontological term.
… is converted in C# classes and
compiled into an assembly.
16/07/2015
11
l.i.d.o. –
DIST
–
University of Genova
AgentService Ontology
Predicate
Term
Concept
Variable
Query
Primitive
Aggregate
Dog
Action
16/07/2015
12
Name
Primitive: string
Mandatory, Cardinality: 1
Age
Primitive: int
Mandatory, Cardinality: 1
Owner
Concept: person
Optional, Cardinality: >=0
l.i.d.o. –
DIST
–
University of Genova
AgentService Ontology
Ontology
Vocabulary
…”person”, “dog”,
”name”, ”age”, …
Schemas, attributes and
classes
Typeof(…)
Typeof(…)
Basic Ontologies
16/07/2015
13
Typeof(…)
l.i.d.o. –
DIST
–
University of Genova
Semantic Language
SL0
Actions and action outcomes
Computation results
Binary propositions
SL1
Boolean connectives
SL2
First order logic
Modal logic
16/07/2015
14
restrictions
l.i.d.o. –
DIST
–
University of Genova
Semantic Language
(query-ref
:sender (agent-identifier :Goofy)
:receiver (set (agent-identifier :Pluto))
:content
"((iota ?x (p ?x)))"
:language fipa-sl
:reply-with query1)
(inform
:sender (agent-identifier :Pluto)
:receiver (set (agent-identifier :Goofy)
:content
" ((= (iota ?x (p ?x)) a)) "
:language fipa-sl
:in-reply-to query1)
16/07/2015
15
l.i.d.o. –
–
DIST
University of Genova
Ontology scenario
Core Services
DF
Query
Ontology
download
Validation
16/07/2015
OA
16
Ontology agent
-
Ontology collection
Ontology translation
Ontology matching
Schema search
l.i.d.o. –
DIST
–
University of Genova
AgentService and Jade
Binary
String
XML
16/07/2015
IIOP
WAP
HTTP
17
Ontology
ACL serialization
Inter-platforms
communication
l.i.d.o. –
DIST
–
University of Genova
Interaction protocol service
An interaction protocol…
… is modelled by using AUML diagrams
… describes interacting agent roles
… supports AgentService ontologies
… is converted in C# classes
… and is compiled into an assembly
16/07/2015
18
l.i.d.o. –
DIST
AUML diagrams
-
Lifelines
Messages
Alternative paths
Loops
Breaks
- Nested blocks
16/07/2015
19
–
University of Genova
l.i.d.o. –
DIST
–
University of Genova
Microsoft Visio integration
Configuration form
Stencil
16/07/2015
20
AUML diagram
l.i.d.o. –
DIST
–
University of Genova
Automatic code generation
16/07/2015
21
l.i.d.o. –
DIST
Role execution
B
Execution
Interface implementation
Entry Points
16/07/2015
22
–
University of Genova
l.i.d.o. –
DIST
–
University of Genova
Conclusions
The Pericles Suite provides:
A framework for the design of…
… ontologies
… interaction protocols
Tools for the automatic code generation
Platform services at runtime.
16/07/2015
23
l.i.d.o. –
DIST
–
University of Genova
Future works
SL1 and SL2 implementation
JADE agents interaction
To model…
… ontologies by using OWL
… interaction protocols by using OWL-S
To design an unified interface for the
Pericles Suite
16/07/2015
24
l.i.d.o. –
DIST
–
University of Genova
That’s all
Thank you for your attention!
16/07/2015
25