Agent Technology From A Formal Perspective at Meripustak

Agent Technology From A Formal Perspective

Books from same Author: Christopher Rouff , Associate editor Michael Hinchey

Books from same Publisher: Springer

Related Category: Author List / Publisher List


  • Retail Price: ₹ 15143/- [ 25.00% off ]

    Seller Price: ₹ 11357

Sold By: T K Pandey      Click for Bulk Order

Offer 1: Get ₹ 111 extra discount on minimum ₹ 500 [Use Code: Bharat]

Offer 2: Get 25.00 % + Flat ₹ 100 discount on shopping of ₹ 1500 [Use Code: IND100]

Offer 3: Get 25.00 % + Flat ₹ 300 discount on shopping of ₹ 5000 [Use Code: MPSTK300]

Free Shipping (for orders above ₹ 499) *T&C apply.

In Stock

Free Shipping Available



Click for International Orders
  • Provide Fastest Delivery

  • 100% Original Guaranteed
  • General Information  
    Author(s)Christopher Rouff , Associate editor Michael Hinchey
    PublisherSpringer
    ISBN9781852339470
    Pages354
    BindingHardback
    LanguageEnglish
    Publish YearOctober 2005

    Description

    Springer Agent Technology From A Formal Perspective by Christopher Rouff , Associate editor Michael Hinchey

    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 (FAABS00) workshop was the ?rst step in trying to address this need. The overwhelming response to FAABS00 motivated subsequent FAABS (02and04)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._x000D_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._x000D_ _x000D_What Is an Agent? And What Is an Agent Community?.- to Formal Methods.- Formal Methods and Agent-Based Systems.- A Process-Algebraic Agent Abstraction.- Dynamic Team Formation in Executable Agent-Based Systems.- Scenario-Based Engineering of Multi-Agent Systems.- Verification Within the KARO Agent Theory.- Assuring the Behavior of Adaptive Agents.- Agents in a Wild World.- Formal Methods at NASA Goddard Space Flight Center.- Formal Verification of Autonomy Models._x000D_