|
The Agents Group Meetings |
2008
|
RMIT
University
|
ATTENTION: As of February 2008, the meetings will be held on MONDAYS at 3pm!
The Agents
Group at
RMIT University meets periodically for informal research talks and
discussions. These meetings happen in room 14.10.06 (building 14, level
10, room 6) on Mondays at 3pm. If you
want to be
scheduled, send the request to Sebastian
Sardina.
|
** NEXT MEETING ** |
||
| Sebastian Sardina Realizing Multiple Autonomous Agents through Scheduling of Shared Devices |
||
| ABSTRACT |
||
| Imagine
a collection of available devices, such as a camera, a vacuum cleaner,
or robotic arm, each of which is able to act (that is, perform actions)
according to a given behavior specification, expressed as a finite
transition system. Imagine next a set of virtual independent and
autonomous agents, such as a surveillance agent or a cleaning agent,
that are meant to operate concurrently, each within a given
specification of its capabilities, again expressed as a finite
transition system. The question then is: can we guarantee the
realization of every agent by intelligently scheduling the available
devices while fully preserving the agents' autonomy? In this
paper, we define the problem formally, and propose a technique to
actually generate a solution by appealing to recent results in
LTL-based synthesis of reactive systems. We also show that the proposed
technique is optimal with respect to computational complexity. This is joint work with Giuseppe De Giacomo; to appear at ICAPS-08 |
||
|
UPCOMING SCHEDULE
|
|||
|
Day
|
In
Charge/Speaker
|
Topic
|
Material
|
| September 8 |
Sebastian Sardina | Realizing Multiple Autonomous Agents through Scheduling of Shared Devices | |
| September 15 |
NMR-08 & KR-08 & ICAPS-08 |
||
| September 22 |
Neil Yorke-Smith | Invited speaker (SRI Interational, USA) |
|
| Wed September 24th | Stavros Vassos | Invited speaker (University of Toronto, Canada) | |
| September 29 | Ralph Ronnquist | GORITE Modelling and Execution II | |
| October 6 |
Simon Duff | ||
| October 13 |
John Thangarajah | ||
| October 20 |
Clemens Mayr |
||
| October 27 |
Lawrence Cavedon | ||
| November 3 |
Lavindra De Silva | Planning in BDI Systems: Obtaining a Preferred First Principles Plan | |
| November 10 |
Jennifer Sandercock | ||
| November 17 | |||
| November 24 |
|||
| TBA |
Most influential paper AAMAS-08 | ||
|
PROPOSED READINGS
|
||
|
Day
|
Paper
|
Material
|
| TBA |
J. S. Rosenschein and M. R.
Genesereth. Deals Among Rational Agents. Proc. of IJCAI-85, pages 91-99, 1985. |
paper |
| TBA |
Davis, R. and Smith, R.
Negotiation as a Metaphor for Distributed Problem Solving, Artificial Intelligence 20, Issue
1, pp. 63-109. |
paper |
| TBA |
B. J. Grosz and S. Kraus
(1996) "Collaborative Plans for Complex Group Actions" Artificial
Intelligence 86, pages 269-358. |
paper |
| TBA |
Yoav Shoham. Agent-oriented
programming. Artificial Intelligence,
60:51--92, 1993. |
|
| PAST READINGS | ||
| July 19, 2006 James Harland |
A. Rao and M. Georgeff (1991) "Modelling rational agents within a BDI-architecture" Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91) pp.473-484. | paper |
| September 6,2006 Michael Winikoff |
Cohen, P. R. and Levesque, H (1990). "Intention is choice with commitment" Artificial Intelligence, Volume 42, Issue 2-3. | paper |
|
PAST MEETINGS 2008
|
|||
|
Day
|
Speaker
|
Title
|
Material
|
| January 17 |
Michael Winikoff | Goals in Agent Systems: A Unifying Framework | preliminary paper |
| January 24 |
Carlos Queiroz | Complex
Event Processing in Distributed Systems, David C. Luckham and Brian
Frasca. Amit - The Situation Manager, A. Adi and O. Etzion. |
|
| January 31 | Hoa Khanh Dam | Cost-Based BDI Plan Selection for Change Propagation | preliminary paper |
| John Thangarajah | Suspending GOALS in BDI Agents | ||
| February 11 | Tim Miller (from UofM) |
On first-class protocols for agent interaction | |
| February 18 | Lawrence Cavedon | Computational Models of Spoken Dialogue I | |
| February 25 | Sebastian Sardina | Behavior composition in the presence of failures & concurrent compositions | |
| March 3 |
Simon Duff | Maintenance Goals | |
| March 14 |
Lavindra De Silva | Planning from first principles
in BDI systems: from creating operators to finding good solutions |
|
| April 21 | Lawrence Cavedon | Computational Models of Spoken Dialogue II | |
| April 28 | Khanh Hoa Dam | Cost-Based BDI Plan Selection for Change Propagation | AAMAS practice talk |
| May 5 | Jennifer Sandercock | Somatic Marker Agent Development (SoMAD) for Game Development | |
| May 12 | AAMAS 2008 | ||
| May 19 | |||
| June 16 | Lin, John, & Hoa | AAMAS recap | |
| June 30 |
Lin Padgham | Learning in BDI systems | based on work appearing at ALAMAS+ALAg 2008 workshop |
| July 14 | Amir Aryani | Domain Based Change Propagation Analysis | |
| July 21 | Ralph Ronnquist | GORITE Modelling and Execution | |
| July 28 | John Thangarajah | AAAI'08 overview | |
| August 11 | Dhirendra Singh | Knowledge guided collaborative learning | slides |
| August 18 | James Harland | Goal Reasoning and Management Techniques for Agents | |
| August 25 | NICTA Big Picture Seminar Invite Rodney Brooks "Robotics: Shaped By and Shaping the World in 2000 to 2050" - 4pm *** Registration to vrlss@nicta.com.au by Aug. 20th is essential for this free event! *** | ||
| September 1 | Zhiyong Zhang | Test Input Generation in A Unit Testing Process---Part of Automated Unit Testing for Agent Systems | slides |
|
PAST MEETINGS 2007
|
|||
|
Day
|
Speaker
|
Title
|
Material
|
| April 26 | David Morley | Aborting Goals and Plans in BDI Agents | paper |
| April 19 |
Michael Winikoff | Implementing Commitment-Based Interaction | paper |
| April 12 |
Bao Vo | Searching for joint gains in automated negotiations based on multi-criteria decision making theory | |
| April 5 | Sebastian Sardina |
Goals in the Context of BDI Plan Failure and Planning | paper |
| March 29 |
Roundtable |
Initial Agents Meeting session
for 2007 - Introduction of members and research areas |
|
| May 10 |
Duc Pham | Temporal Linear Logic as a Basis for Flexible Agent Interactions | paper |
| Modelling Agents' Choices in Temporal Linear Logic. 5th International Workshop on Declarative Agent Languages and Technologies | paper | ||
| May 17 |
AAMAS 2007 - Honolulu, Hawaii, USA | ||
| May 24 |
Talks from the "Intelligent Agents" course | ||
| June 21 |
Various |
AAMAS-2007 recap | |
| July 12 | Zhiyong Zhang | Automated Unit Testing for Agent Systems | |
| July 19 | James Harland | Reading
no 1 |
Proposed readings |
| July 26 |
Jennifer Sandercock | Improving
BDI Plan Choice using
Adaptive Situational Somatic Markers and Soft Goals |
|
| August 2 |
Iftah
Gideoni |
In-Flight Merit Based Switching of Plans in Unmanned Air Vehicle BDI Agents | slides from the talk |
| August 9 |
Amir
Aryani |
Entity-based Change Propagation Analysis in
Software Enhancement
|
|
| August 16 |
Dhirendra
Singh |
Collaborative
Learning in Multi-agent Systems
|
slides from the talk |
| August 23 |
Cancelled
for dept. Seminar |
||
| August 30 |
Carlos
Queiroz |
||
| September
6 |
Simon
Duff |
Current Developments in Maintenance Goals |
|
| September
13 |
Michael
Winikoff |
Reading
no 2:
Cohen, P. R. and Levesque, H (1990). "Intention is choice with commitment" Artificial Intelligence, Volume 42, Issue 2-3. |
Proposed
readings |
| September 2 |
No meeting
- go to Hugh's talk
instead (11am-1pm, room 10.4.27)
|
||
| September 27 | Khanh Hoa Dam | Supporting Change Propagation in Software Evolution | |
| October 4 | Lavindra De Silva | Planning from First Principles
in the BDI Architecture: Finding "Good" Solutions |
|
| October 11 | Andy Song | Prediction in Dynamic Environment | |
| October 18 | Stephane Airiau | ||
| November 1 |
Stephen Cranefield | Checking the fulfilment of social expectations modelled in a temporal logic | |
| November 15 |
Sandip Sen |
Learning agents and evolving societies I | |
| November 22 |
Sandip Sen | Learning agents and evolving societies II | |
| November 29 |
AGENTS-VIC Workshop | ||
| December 6 |
CSRC-2007 | ||
| December 13 | Clemens Mayr | SmartWiki: An agent backend to provide support for Wiki users | |
| December 20 |
End of year BBQ! |
||
|
PAST MEETINGS 2006
|
|||
|
Day
|
Speaker
|
Title
|
Material
|
| February 17 |
Rao Kambhampati | Current work on planning on belief sates |
|
| February 24 |
Hu Qinyou |
Negotiation on collision avoidance of vessels |
|
| March 3 |
Lavindra De Silva |
Research on integrating planning into BDI | AAMAS-06
paper |
| March 17 |
Jennifer Sandercock |
Same, Same, but Different - Creating Individual Personalities in Many Characters Without Hand-crafting Behaviors | |
| March 31 |
Sebastian Sardina |
On the Limits of Planning over Belief States under Strict Uncertainty | KR60
paper - slides |
| April 7 |
Hoa Khanh Dam |
An agent-oriented approach to
change propagation in software evolution |
|
| April 21 |
Chris Cheong |
Hermes' integration with Prometheus | |
| May 5 |
James Harland and Simon Duff |
Reviewed some interesting papers
from AAMAS-06 |
AAMAS-06 |
| June 8 |
Lin Padgham | Current work on exploring what is needed in order for arbitrary agents to come into an e-institution, developed in something like Islander. | |
| June 15 | Michael Winikoff | Towards Integrating Design and Programming | Talk to be given at "Foundations and Practice of Programming Multi-Agent Systems" Dagstuhl seminar |
| Thur. July 13 | Jennifer Sandercock | Creating Adaptive and Individual Personalities in Many Characters without Hand-crafting Behaviours | Practice talk. To be presented
at "Intelligent Virtual Agents Conference" |
| Thur. July 27 | Michael Winikoff | The 2APL language | |
| Thur. August 3 | John T | e-institutions and ISLANDER | |
| Thur. August 24 |
Sebastian Sardina |
Situation Calculus: Reasoning
about Action and Agent Programming |
slides |
| Thur. August 31 |
Ryan Kelly (from UofM) |
Knowledge and Observation in the Situation Calculus | slides |
| September 14 |
Shankar Srikantaiah | Oveview of Prometheus Design Tool (PDT) | |
| September 21 |
Hoa Khanh Dam | An inconsistency-based approach for change propagation in UML | |
| October 5 |
Bao Vo | Conversation-based specification and composition of agent and web services | |
| October 26 |
Various |
Internal report on papers sent
to AAMAS07 |
|
| November 6 |
Simon Wilkinson | Adaptive learning the next big thing in e-learning? | |
| November 23 |
Lavindra De Silva | A Java API for Planning in Time-Limited Domains (work performed on an implementation within a DSTO project) | slides |
| December 7 | Michael Winikoff | Designing Commitment-Based Agent Interactions | |
| END OF YEAR |
|||
For any question or suggestion, please send and e-mail to ssardina
at cs
dot rmit dot edu dot au
