Agent Technology from a Formal Perspective

- Softcover of Or

indgår i serie Nasa Monographs in Systems and Software Engineering


Agent Technology from a Formal Perspective
Format:
Bog, hæftet
Udgivelsesdato:
01-10-2010
Sprog:
Engelsk
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

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.

Vis mereVis mindre

Udgivelsesdato:
01-10-2010
ISBN13:
9781849969697
Vægt:
522 g
Dybde:
20 mm
Bredde:
156 mm
Højde:
234 mm
Forlag:
Springer
Format:
Hæftet
  • Forfattere

    Vis mereVis mindre

    Vis mereVis mindre

    Agent Technology from a Formal Perspective

    - Softcover of Or

    indgår i serie Nasa Monographs in Systems and Software Engineering

    • Leveringstid 4-6 hverdage
    • Forventet levering 02-09-2019

    på lager

    Fandt du ikke hvad du søgte?

    Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

    Velkommen til Saxo

    Du har nu adgang til din konto hos Saxo, og kan se alle oplysninger om dit medlemskab, dine
    ordrer og din digitale boghylde under "Mit Saxo".

    Som tak for, at du har aktiveret dit medlemskab, har vi valgt at give dig fri læsning hele
    sommeren. Dvs. at du frit kan tilgå de mere en 50.000 bøger i Saxos app, samt købe bøger til
    vores altid lave medlemspris og fri fragt her på Saxo.com hele juli. Din næste medlemsbetaling
    vil først falde i august.

    Vi glæder os meget til at byde dig velkommen i vores univers, og håber at du kommer godt i
    gang med Saxo Premium.

    God sommer og god læselyst!

    Med venlig hilsen Saxo

    Kom i gang nu!