Upload
vladimir-sedach
View
158
Download
1
Embed Size (px)
DESCRIPTION
Some research work I was part of in Rob Kremer's (http://pages.cpsc.ucalgary.ca/~kremer/) AI group at the University of Calgary
Citation preview
Karsa can be used to
edit ontologies!
Karsa can be used to visualize
multi-agent societies!
Karsa can be used to power
your Smart House!
Karsa has a flexible, extensible
architecture!
reply(Bob,Alice,x)
act(Bob,Alice,x)
reply-propose-discharge(Alice,Bob,x)propose-discharge(Bob,Alice,x)
Alice Bob
reply
request
agree
propose-discharge
done
reply-propose-discharge
confirm
reply
reply
inform
inform
inform
evaluate(Alice,Bob,x)
decide(Bob,Alice,x)`
consider(Alice,Bob,x)
accept(Bob,Alice,x)inform
ack
ack
ack
ack(Bob,Alice,x)
ack
ack(Bob,Alice,x)
ack
ack(Alice,Bob,x)
ack
ack(Alice,Bob,x)
ack
Alice Bob
(performative: request, content: attend(Bob,x))Can you
attend this meeting?
(performative: agree, content: attend(Bob,x))Sure...
(performative: inform, content: attend(Bob,x))
I’m here
(performative: confirm, content: attend(Bob,x))Thanks for coming.
(performative: ack, content: attend(Bob,x))(nod)
(performative: ack, content: attend(Bob,x))
(nod)(performative: ack, content: attend(Bob,x))
(nod)
Karsa is based on the social commitments
theory of agent communication!
Karsa delegates mouse handling to
decide what menus to show!
Karsa lets you drag and drop shapes!