Return to search

Vivid Agents: How They Deliberate, How they React, How They Are Verified

We propose a model of an agent which is both logical and operational. Our
model of vivid agents takes into account that agents need not only the ability to
draw inferences but also to update their current knowledge state, to represent and
to perform (and to simulate the execution of) actions in order to generate and exe-
cute plans, and to react and interact in response to perception and communication
events. We illustrate our formalization of this basic functionality of an agent by
means of examples. We also show how our model fits into the transition system
semantics of concurrent reactive systems by identifying the five basic transitions
of vivid agent systems: perception, reaction, planning, action, and replanning.

Identiferoai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:34510
Date12 July 2019
CreatorsWagner, Gerd
PublisherUniversität Leipzig
Source SetsHochschulschriftenserver (HSSS) der SLUB Dresden
LanguageEnglish
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/publishedVersion, doc-type:book, info:eu-repo/semantics/book, doc-type:Text
SourceReport / Institut für Informatik, Report / Institut für Informatik
Rightsinfo:eu-repo/semantics/openAccess
Relationurn:nbn:de:bsz:15-qucosa2-343029, qucosa:34302

Page generated in 0.0018 seconds