|
Objectives
Motivation
The interface of Logic and Agents is essential to both the Computational
Logic and the Multi-Agents communities. CL for agents represents a key
application area involving a wide range of relevant techniques. Agents
under logic-based approaches already have a strong profile, and are likely
to grow in importance especially as formal methods for security and safety
issues of multi-agent systems become more essential. This activity, funded
both by CologNet and AgentLink, shows commitment of both networks to this
important area. It will contribute to the uptake of logic-based agent
technology and logical methods for agent-based systems. It has a very
close link to forthcoming standards, for example having an impact upon
FIPA semantics/verification/compliance. While CologNet on its own may
have a little about agent applications, and AgentLink contain a little
about logic, the strong and formalised interaction between the networks
allows much more expertise/ ideas to flow between the networks, and more
chance of productive technology transfer.
Objectives:
- To disseminate state of the art in key areas concerning logic and
agents throughout both communities, and industry, via dedicated workshops/symposia.
- Where possible to disseminate key breakthroughs in this area to wider
academic/industrial communities by developing publications examining
these specific areas.
- To enhance collaboration between groups, networks, academia/industry,
etc.
- To showcase successful applications concerning the verification and
implementation of agents using logic-based approaches.
- To identify key future research issues and key requirements for wider
use of these techniques
|
|
Description of work
Organisation of 2 symposia, one on "logic-based agent verification",
the other on "logic-based agent implementation", both of which
provide very strong links between the networks. Each symposium would
- be collocated with a general CologNet or AgentLink supported event
- be co-organised by a leading EU researcher in that area
- provide funds for one invited speaker from outside the EU
- aim to consolidate expertise and stimulate research/collaboration
in each area, and provide input into standards efforts, and the development
of technological roadmaps for the area
- aim to showcase successful applications and enhance the uptake of
logic-based agent technology
- aim, via industrial presentations/sessions, to elicit key problems
in industry that could be tackled with a logic-based approach, and to
identify barriers to such technology transfer
- provide travel/accommodation funding for 20 people at each symposium
- provide a (WWW-accessible) focal point for research, education and
applications of "logic and agents", building up a set of working
exemplars concerning the role of logic in agent-based systems -- also,
provide wider access to tools for (and tutorials/explanations of) verification,
logic-based programming, etc, of agent-based systems.
- provide the basis for a later book (symposia notes/papers would be
available at a central WWW repository) coalescing the state of the art
in each particular area. Note that, aim of these symposia is not to
compete with existing logic-agent research workshops, such as ATAL,
but to provide a forum whereby the state of the art within a particular
topic concerning logic and agents can be reported, examined and transferred
not only to both CologNet and AgentLink communities, but to industry
and the wider academic community.
|
|
Deliverables
WWW pages incorporating repository of papers and software (held on central
CologNet and AgentLink servers) - provide two symposia of the form described
above, together with a meeting report for each, exploring the transfer
and exploitation of key technologies related to logic and agents. To provide
a "technological roadmap" of the logic/agents area and to identify
key future research issues and key requirements for wider use of these
techniques.
|