|
Showing 1 - 3 of
3 matches in All Departments
During the last several years, the ?eld of agent and multi-agent s-
tems has experienced tremendous growth, i.e., the topic has gained
- precedented popularity. Meanwhile, the ?eld of formal methods has
also blossomed and has proven its importance in substantial
industrial and government applications. Thus, in 2000 it was quite
timely to pursue a workshop to merge the concerns of the two ?elds.
The need for such a workshop was particularly compelling given the
growing concerns of
agent-basedsystemsusersthattheirsystemsshouldbeaccompaniedby
behavioral assurances. The Formal Approaches toAgent-Based Systems
(FAABS'00) workshop was the ?rst step in trying to address this
need. The overwhelming response to FAABS'00 motivated subsequent
FAABS ('02and'04)workshops, aswellasthisbook,
whichisdesignedtoprovide amorein-depthtreatmentofthetopic. This
book is organized into four parts. Part I provides introductory
backgroundmaterialonthetwocentraltopicsofthebook, namely, agents
andformalmethods. Chapter1, byTruszkowski,
isanoverviewofagents.Thechapter- gins by introducing the basic
concept of an agent from a very simple,
abstractperspective.Itthengraduallyre?nesthisnotionintoadetailed
agent architecture, using the Goddard agent architecture as an ex-
ple model. First, the major architectural components (e.g.,
percepts, - fectors, communications, reasoning, planning,
execution)arede?nedand described. Then, agent behaviors are de?ned
and related to the arc-
tecturalcomponentsthatgeneratethem.Thechapterconcludeswithan
intriguingdiscussionofmulti-agentcommunities.
As intelligent autonomous agents and multiagent system applications
become more pervasive, it becomes increasingly important to
understand the risks associated with using these systems. Incorrect
or inappropriate agent behavior can have harmful - fects, including
financial cost, loss of data, and injury to humans or systems. For
- ample, NASA has proposed missions where multiagent systems,
working in space or on other planets, will need to do their own
reasoning about safety issues that concern not only themselves but
also that of their mission. Likewise, industry is interested in
agent systems that can search for new supply opportunities and
engage in (semi-) automated negotiations over new supply contracts.
These systems should be able to securely negotiate such
arrangements and decide which credentials can be requested and
which credentials may be disclosed. Such systems may encounter
environments that are only partially understood and where they must
learn for themselves which aspects of their environment are safe
and which are dangerous. Thus, security and safety are two central
issues when developing and deploying such systems. We refer to a
multiagent system's security as the ability of the system to deal
with threats that are intentionally caused by other intelligent
agents and/or s- tems, and the system's safety as its ability to
deal with any other threats to its goals.
During the last several years, the ?eld of agent and multi-agent s-
tems has experienced tremendous growth, i.e., the topic has gained
- precedented popularity. Meanwhile, the ?eld of formal methods has
also blossomed and has proven its importance in substantial
industrial and government applications. Thus, in 2000 it was quite
timely to pursue a workshop to merge the concerns of the two ?elds.
The need for such a workshop was particularly compelling given the
growing concerns of
agent-basedsystemsusersthattheirsystemsshouldbeaccompaniedby
behavioral assurances. The Formal Approaches toAgent-Based Systems
(FAABS'00) workshop was the ?rst step in trying to address this
need. The overwhelming response to FAABS'00 motivated subsequent
FAABS ('02and'04)workshops, aswellasthisbook,
whichisdesignedtoprovide amorein-depthtreatmentofthetopic. This
book is organized into four parts. Part I provides introductory
backgroundmaterialonthetwocentraltopicsofthebook, namely, agents
andformalmethods. Chapter1, byTruszkowski,
isanoverviewofagents.Thechapter- gins by introducing the basic
concept of an agent from a very simple,
abstractperspective.Itthengraduallyre?nesthisnotionintoadetailed
agent architecture, using the Goddard agent architecture as an ex-
ple model. First, the major architectural components (e.g.,
percepts, - fectors, communications, reasoning, planning,
execution)arede?nedand described. Then, agent behaviors are de?ned
and related to the arc-
tecturalcomponentsthatgeneratethem.Thechapterconcludeswithan
intriguingdiscussionofmulti-agentcommunities.
|
You may like...
Southpaw
Jake Gyllenhaal, Forest Whitaker, …
DVD
R99
R24
Discovery Miles 240
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Poor Things
Emma Stone, Mark Ruffalo, …
DVD
R449
R329
Discovery Miles 3 290
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|