• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

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

Wagner, Gerd 12 July 2019 (has links)
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.

Page generated in 0.1242 seconds