commitment微博air

Index3APLxix,3933T214,225abductivereasoning14accesscontrol338accessibilityrelation49,368ACP34action66,82,383,428–decomposition83–fullyresolved83–function66–knowledge-producing366–resolved83activeobjects318adaptability2,220,406agency,macro-level145agency,micro-level145agent–altruist118–andphysics280–anthropologist126–benevolent125–cloningxx,414–cognitive16,103,244–communicationlanguagesxix,311,363,377–composition180–deliberative213–methodologiesxviii,42–goal-governed103–head349–holonic197–implementation12–instance335–interacting213–interactionmodelxviii–layered195–library356,359–migrationxx–modelxviii,333––physics-oriented278–program383–reactive196,213–receiver164–relation136–self-interested116–sender164–standardsvi,431–teamsxvii,81,293–technology2–testbeds431–WorldWideWeb214agentapplicationsxvi,206–airtravel81–assignmentofland-use398–businessprocessmanagmement1–electroniccommerce82–factoryprocesscontrol1–faultdiagnosis1–exibletransportsystems200–IBM273–networkmanagement323–papermillschedulingxvii–semiconductormanufacturingxvii–soccerxvii–steelmillschedulingxvii–transportation283agentarchitecturesxi,xv,xvi,11,211,227,261,296,311,427–3T214,225–ALFA348–ATLANTIS214,225–Aura213,225–COSY213,225–deliberative427–DIMA310–forpracticalreasoning65–GRATE213,225–HEIR243,245–hybrid196,200,243–interrap199–IRMA213,225–layered236,238,427–MECCA213,225–NMRA214,225–ProsA2146–PRS213,225–RAPS214,225–reactive427–SIMAGENT128,214,225444Index–Soar213,225–Tok128,214,225–TouringMachines214,225–VET214,225agentlanguagesxi,29,309,431APLxix,393–Agent-0xix,43,213,225,393–AgentSpeak(L)xix,43,393–APRIL347–ConcurrentMetateM43–ConGolog43–MAGSY213,225–interpreter393–rule-based382–semantics36,41–syntax34,35,382agentsystems–Agentis331–ARCHON325–dMARS332–RETSINA414–UM-PRS219AGENT-0xix,43,213,225,393Agentisxviii,331–agentclasses334–contactagents335–sessionagents335–systemagents334AGENTLINKxiagent-orientedanalysisanddesign319agent-orientedmethodologies317AgentSoft214,225AgentSpeak(L)xix,43,393Akkiraju,R.
261ALFA348–agentlibrary356,359algebraofcommunicatingprocesses34altruism115,118,134–effectsof123altruisticagentsxivaltruisticbehavior100anthropologistagent126anytimealgorithm400APRIL347ARCHON325argumentation430assertives364,373assistantagentsxvi,217association342A-Teamxvii,159,263–classlibrary269–congurationlanguage271–constructor263–destroyer263–factory268–improver263ATLANTIS214,225Aura213,225authentication338authorization101autonomousagentsxiii,xiv,xvi,100,216autonomouscontrolsystem215autonomousrobot243autonomy99axiomschemes58,59axiomatization48bargaining313–scenario139,141–set141Bazzan,A.
113BDIxii,16–agentmodellingtechnique319–agentsxi,63,78,331–architecturevii,xv,150,192–holon199–interpretation––basic198–interpretation––normative199–logicsxii,xv,47,197–modelsxi,1,11,16–operators167–systemsxii,11–theoriesxii,50,58,195––holonicandlayered204––normative197BDICTL51–completeaxiomatization58–satisability59behavior246–expansion401–external296–graph296–internal296–optimization401behavioralcomponents349,355behavioralconformity104behavior-basedlayer201belief3,8,17,30,103Index445beliefbase30–consistent42–establishing38–expansion37–non-verifying39–test39–verifying38belief-desire-intention,seeBDIbeliefrevisionxii,13,66beliefset66beliefupdate30–discriminatingapproach31–naiveapproach31–scheme31–splittingapproach32believableagents214benchmarks431Benerecetti,M.
163benevolence100,125,133–evolutionof126bidding430blackboard249,267black-boxassumption384blocksworld143Bordini,R.
113bounded-optimalagents1,78bounded-rationality196Bratman,M.
1,6bridgelanguage183Briot,J.
-P.
310businessprocessmanagemment1C++xviii,309Campbell,J.
113candidatedesires21capability413capacity413,423Castelfranchi,C.
99CCS34Chaib-draa,B.
363Chalasani,P.
413change2Chevrier,V.
397choice16,66,150,152–non-deterministic35Clark,K.
xi,311,345classicalmechanics278client-serverarchitecture252cloningxx,414–algorithm417–initiation416–optimization417–protocol417CNP,seeContractNetProtocolcoalitions430codeserver357Coelho,H.
11cognitive–agent103–architecture244–modeling128–psychology9Cohen,P.
9collaborativeplanning81collision282commissives364,374commitment16,63,115,159,369–revision7–strategies8,69CommonKADS321communicatingsequentialprocesses34,340communicationxii,29,42,229,249,430–error341–intra-agent345–language338,363,430–protocol165––termination341–semantics363CoMoMAS322compatibilityrelation171completeaxiomatization,ofBDICTL48,58completeness59completion–Clark's188–temporal189complexity,ofagentsystems2,58,428component–behavioral349,355–diagrammatic244,255–reactive244–symbolic244–technology345component-basedsoftwareengineeringxix,356composition–ofproperties185–relation190compositional–proofstructure185–provability187–temporaltheory183446Index–vericationxv,177,178compromise313computation42computationtreelogic50computationalagenttheory12computationalcomplexity58Computer-SupportedCooperativeWork215concurrency229–logics12,47,52–theoryxii,29concurrentconstraintprogramming34ConcurrentMetateMxvi,43,191,228,324condition–preparatory366–propositionalcontent366–sincerity366congurationlanguage268conict100,140,430–utility140ConGolog43constraint–consistent36–hard33–integrity33–languages33–persistent33,41–receiving40–satisfactionxix,397–sending39–solving400–system33,34constructionism133constructor263contactagents335Conte,R.
99content-basedroutingxix,345contractionindependence141ContractNetProtocol289,311controlrelationship342controlstructure384,387conventions,emergence290cooperatinghardwareagents215cooperation139,279,428–economicmodels428–emergence430–protocols428cooperativeexpertsystems215cooperativeinformationagents324cooperativeinformationgathering179coordinationxiv,149,311,313,430–languages325––AgentTalk325––COOL325–precisionof151–protocols430–techniques430CORBAxviii,220,346COSY213,225CSCW,seeComputerSupportedCooperativeWorkCTL50,164,166CTL50,59,197cumulativelanguagecomposition183Cypressplanner213,225DAI,seeDistributedArticialIntelligenceDas,R.
261databases–object-oriented309–relational309DCOMxviiideBoer,F.
xi,29,381decentralizingrenement326decentralizedmultiagentsystem149decisionxiv,99,116–support261,265–theory428declarativepast188declaratives364,375defaultpersistence187defeasiblereasoning14delegation101deliberation63,66–function66deliberative–agents212–componentxvi–rule231deonticlogic369dependence–relation137––types137–structurexiv,136,138design–methodologies310,317–pattern311desire4,8,17,65–candidate20–preferencegraph20–preferencerelation20Index447–triggers24DESIRE(methodology)43,178,324destroyer263deterministicenvironments67developmenttools431diagrammatic–componentxvi,244,255–expert248–knowledgexvi–reasoning244Dignum,F.
99DIMA310directives364,374disagreementpoint141–monotonicity142DistributedArticialIntelligence128,318distributedproblem-solvingxiv,133distributedresourceallocation215DistributedVehicleMonitoringTestbed289dMARS8,213,225,332Dury,A.
397DVMT,seeDistributedVehicleMonitoringTestbeddynamicactionselection213dynamiclogics53ECOproblemsolving213,225egoism,effectsof124EIEP,seeExpertInformationExchangeProto-coleligibleintentions19ELP,seeExtendedLogicProgrammingemergent–behavior100–functionality431emotion100,108,113empowerment101Engelfriet,J.
177enterprisemodeling320environment30,64,399error341errortolerance154ETHNOS253ethology431eventcalculus15evolution–ofbenevolence126–ofgoalachievement407executabletemporalformula188–simplied188execution,ofagentspecications12expansion37,401expert246–communication254–diagrammatic248–distribution251–execution254–InformationExchangeProtocol249–reactive249–symbolic247explicitnegation12exploitation158exploration158expressives364,375ExtendedLogicProgrammingxii,13externalbehavior296factoryprocesscontrol1failurerule386faultdiagnosis1Ferber,J.
309nitestate–automata59–process163FIP,seeFullIndividualPlanFIPAvi,xviii,165,310,338,340FireFly214,225tnessfunction272exibleteamworkstructure97focusofattention66formalmethods309,312formalsemantics309,312formationxvii,97,297–switchingxviii,301fullcomputationtreelogic50,59FullIndividualPlan89fullplantree86fullSharedPlan94gametheoryxiv,126,428Garca-Serrano,A.
133Garijo,M.
317GEM332GeneralMagicvigeneticalgorithm267Georgeff,M.
xii,1Giunchiglia,F.
163glass-boxassumption384global,provability187global,state66448Indexgoal4,103,368,382,399–achievement407–adoption105–autonomy103–conict108–conformity105–execution383–formation99–hierarchy12–reaching283–revision386–satisfactionxvii,277,283–term388goal-orientedsoftwaresystems4Gonzalez,J.
317Goodwin,R.
261GRATE213,225group229–properties228–structure235–synchronous237hardconstraint33hardwareagentsxvi,216HCI,seeHumanComputerInteractionHEIRxvi,243,245Hennessy-Milnerlogic53heterogeneousagentsociety147heuristics264Hewitt,C.
312higher-levelrule232Hindriks,K.
xi,381historyofanagent64HLBDI204–interpretation204–syntax204holonxv,197holonicagents197homogeneousagentsociety147,302HumanComputerInteraction215,264Hunsberger,L.
81hybridagents196hybridarchitecture243Iglesias,C.
317IIOP312illocutionaryactxix,364–satisfaction373–success371illocutionaryforce364illocutionarypoint364imperativefuture188implicitnegation12improver263incompatibilityofplans136individuallayer146individualrationality141inertia150,154,157information–exchange248–gathering179–hiding190–management248–passingxii,29–sharing30–state66inheritance334instance335integrityconstraint33intention4,8,17,63,103,369–eligible19–primary22–reconsiderationxiii,63––boldstrategy64––cautiousstrategy64–renement22–relative22–revision7,23–set66–triggers23intentions-that81,84intentions-to81,83interactingagents212interaction–model331,333,336–protocolsxviiiinterface–language183–process335interference,betweenagents100internalbehavior296internalstate296Internetagentsvinteroperability220interpreter393interrapxv,2,65,199,235–commitedagents206–holon205–knowledgebase205IPD,seeIteratedPrisoner'sDilemmaIndex449IRMA1,6,213,225IteratedPrisoner'sDilemma117–strategies117–tit-for-tat117Javavi,xviii,309Jennings,N.
vJha,S.
413jointintention96jointplan96Jonker,C.
177Jung,C.
195KIFvikineticenergy278Kinny,D.
331knowledge152–acquisition321–base347–engineering321–shared150,156knowledge-basedsystem227KQMLvi,xix,xviii,310,338,346–performatives377–semantics377Kraus,S.
xi,277Kripkestructure49Kumaran,S.
261languagecomposition183layeredagentarchitecturesxv,xvi,195,212,214,236LeBer,F.
397learning2,7legalexpertsystem100Levesque,H.
9loadbalancingxx,413loadingdock201localchannel41localplanninglayer202localstate66locker-roomagreement97,295logicprogramming12logicsofconcurrencyxiiLopes,J.
11macro-level145Maes,P.
viMAGSY213,225MAMC-View–algorithm172–correctness174market-basedsystems430market-orientedprogramming430MASB,seemultiagentscenario-basedmethodMAS-CommonKADS322means-end–reasoning7,63–rule386MECCA213,225mentalattitudes195mentalstate11,377message–boardxix,349,353–collision340–passing249metastate389metastatement388meta-levelcontrolxiii,63–bold78–cautious77–rst-order77–function66––completeness72––soundness72–higher-order77–second-order77meta-levelreasoning8,63–generalized77meta-predicate82MetateMxvmethodologies–agent-oriented317–AWIC325–Cassiopeia310,324–CommonKADS321–CoMoMAS322–cooperativeinformationagents324–design317,431–DESIRE43,178–formal324–knowledgeengineering321–MAS-CommonKADS322–object-oriented318Meyer,J.
-J.
Ch.
29,309,381micro-level145middleagents414migrationxxmobileagentsvimodallogic49450Indexmodelcheckingxv,48,59,163–algorithm163,172–tools––SMV163––SPIN163model–dynamic318–functional318–static318modeofachievement365modularity232,266Mora,M.
11moralsentimentsxiii,xiv,113,114-calculusxii,175M¨uller,J.
211multiagentxvi,216–architecturexvii,261––A-Teams159––GRATE213,225––RETSINA159–ltering290–nitestatemachine168––modelchecking170––satisability170–interactions2–language29–scenario-basedmethod,320multiagentsystemsxiv,113,177,277–andphysics279–decentralized149–design42,149–evolution282–large-scale277,311–verication182multiplan135–multiplan,utility140multi-robotsystem251Murthy,S.
261mutualbelief91Nashequilibrium141Nashsolution141negation–asfailure12–explicit12–implicit12negotiation100,313,430–applicationsof314–science312–technology312networkmanagement323next-statefunction66NMRA214,225non-deterministicchoice35,40,384non-hierarchicalagentarchitecturesxvinon-monotonicreasoning14normxiii,99–acceptancexiii,99,102,105,107–autonomy104–compliance102,108–conict108–evaluation106–formation110–recognition106–responsibility108–sharing109,110–violation110normativebeliefxiii,102normativegoalxiiinormativelayer146normativestructure142norm-basedreasoner100OBCP,seeObject-basedConcurrentProgram-mingObjectModelingTechnique,318Object-basedConcurrentProgramming318objectorientation253object-orientedmethodologies310object-orientedsoftwareengineering,318obligations100observable42observingtheenvironment30,39OMT,seeObjectModelingTechniqueonlinetransaction314OOSE,seeobject-orientedsoftwareenginee-ringoperationalagentmodel12optimal–agent69,72–agentcomponent69–behavior68–intentions71–solution272optimization401–ofperformance413–rule386–problem261––multi-objective262,272Ossowski,S.
133Index451papermillschedulingxviiparallelcomposition41parallelism29parameterizedplans4Pareto-optimality141Parsons,S.
63PartialGlobalPlanning289partialplan81partialplantree86partialrecipe82particle278–dynamic282–static282PAS,seePhysicsAgentSystemmodelpathformula50PDL,seePropositionalDynamicLogicPell,B.
xii,1PENGI213,225periodicteamsynchronizationxvii,294persistence187–constraint33PGP,seePartialGlobalPlanningPhysicsAgentSystemmodelxvii,281Piaggio,M.
243PLACA213,225plan135,369–execution135–incompatible136–merging7–partial81–recipe82–shared81–relation136plantree85–full86–partial86planning428Pollack,M.
xii,1position,exible302possibleworld49potential278–energy281–eld278–well278practicalreasoningxiii,1,6,63,428–scenario73preferredrevisions14prexing40primaryintentions22Prisoner'sDilemma117,159proceduralknowledgexviprocedurecall40programrevision14programstates52prohibitions138PropositionalDynamicLogic53propositional-calculus48,54,59ProsA2xiv,146provability–compositional187–global187provider414PRS1,6,65,196,213,225PTS,seeperiodicteamsynchronizationpublish–subscribeprotocolxvi,249purerealism58Rachlin,J.
261Rao,A.
xiiRAPs,seeReactiveActionPackagesrational–agentsxiv–commitment5–fool115,126–reasoning16ReactiveActionPackages214,225reactive–agentsxx,196,212–agentarchitectures213,427–componentxvi,244–expert249–rule231,386realism–pure58–strong58–weak58real-timesystem293real-timetaskenvironmentxiii,70reasoning–abductive14–defeasible14–mechanism12–non-monotonic14–rational16receiveragent164recipe82–partial82reciprocity100reductionism133renementfromintentions22452Indexregistration336relativeintentions22representatives364requester414resource153–consumption422–sharing159–utilization413resource-boundedagents6,16responsibility101RETSINA159,414revision187RMIxviiiRobocupxvii,298robotnavigation256roboticsoccer298–set-play303role97,297–assignment293–exible299rule382–application384–deliberative231–failure386–higher-level232–means-end386–optimization386–reactive231,386–term388rule-basedagentlanguagesxixrun–ofanagent64,67–optimal68–valueof68Russell,S.
1Rustogi,S.
149satisfaction,ofanillocutionaryactxixsatisability50,56–ofBDICTL58–oversituationstructures56,57–oversituation-compatibleKripkestructures56,57scalability8scaleinvariance141schedulingproblemxvii,262,265Schild,K.
47Searle,J.
363self-interestedagent116selshgenetheory115self-organization213self-similarity197SEMarchitecture12semantics36,41,237–ofagents428–ofKQML377–ofmultiagentsystems431–ofspeechacts370–ofterms390–state-based190semiconductormanufacturingxviisenderagent164separatednormalform230sequentialcomposition383Serani,L.
163seriality51servicexviii,336–concurrent339–registration336sessionagents335sharedknowledgexiv,150,156SharedPlanxiii,9,81–action82–full94–recipe82–tree86Shehory,O.
xi,277,413ShopBot214,225side-effectproblem22SIMAGENT128,214,225simulation120,151,283,303,402,422Singh,M.
149single-agentgroups96situation51,367–calculusxix,366–compatibility55–structure52–theory12Skarmeas,N.
xi,345skepticalrevision22skill246skip40Soar2,7,8,213,225–andBDIarchitectures8social–action430–agentsxiii,100–autonomy102–behavior100–coordination139Index453–coordinationsetting136–interaction7–law134–layer146–modeling128–planninglayer203–rationality134–structurexiii,xiv,133,139societies–ofagents118,399–evolution126–heterogeneous147–homogeneous147sociology431softbots214softwareagentsxvi,216softwareengineering211,272,431fsoftwaresystems–goal-oriented4–task-oriented4specication,ofagents12,42,163,309,428,432–intemporallogics324–languages––GEM332––Z324–mentalattitudesaspect163–temporalaspect163speechactsxix,364,430–semantics370splitbeliefbase32standardizationvi,431state–formula50–global66–internal296–local66–oftheworld295–transformerfunction67STEAM9,97steelmillschedulingxviiStone,P.
293strategies–formationswitchingxviii,301–IteratedPrisoner'sDilemma117strength,degreeof366strongrealism58sub-agentsxvisub-formation97,297sub-groups228,235Subramanian,D.
1subsumptionarchitecture213,225success,ofanillocutionaryactxixswarmbehavior431Sycara,K.
413symbolic–component244–expert247symmetry141synchronization29systemagents334Tambe,M.
xii,1taskxviii,336–allocation278–concurrent339–decomposition293–distributionxx–environment68–real-time70–execution278,423–space97task-orientedsoftwaresystems4taxonomy,ofagentsxvi,216–FranklinandGraesser221–M¨uller211–Nwana221team293–asynchronous262–formation297–role297team-orientation96teamwork101,293–structure,exible303–structure,rigid303telecomputing313Telescriptvitemporal–completion189–formula229–logic229––executable229––multi-epistemic177,182termination341terms,semantics390test383testbeds431theorycomposition184thermodynamics281Tileworld69,290454Indextit-for-tat117TMEL,seeTemporalMulti-EpistemicLogicTok128,214,225TouringMachines2,214,225transition–rule38–systemxix,37transitivity187transportationproblemxvii,283Treur,J.
177triggerconstraints–desires24–intentions23UML,seeUniedModelingLanguageUM-PRS219uncertainty314UniedModelingLanguage,318utility140–maximization7validationofagentsystemsxvvalue-passing29vanderHoek,W.
xi,29,381vanEijk,R.
29Vanderveken,D.
363Veloso,M.
293verication,ofagentsxv,8,42,309,312,432VET214,225Viccari,R.
11view167virtualrepresentative101VRISKO214,225weakrealism58WebCompass214,225window36wish368Wooldridge,M.
v,1,63workowmanagement219workspace36worldstate135,295WorldWideWebagents214,216Wu,F.
261Yadgar,O.
xi,277