A Formal Analysis of Pro-activenes and Reactiveness in Cooperative Information Gathering

C.M. Jonker, J. Treur

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Abstract

When designing multi-agent systems, it is often hard to guarantee that the specification of a system that has been designed actually fulfils the needs, i.e., whether it satisfies the design requirements. Especially for critical applications, for example in real-time domains, there is a need to prove that the designed system will have certain properties under certain conditions (assumptions). While developing a proof of such properties, the assumptions that define the bounds within which the system will function properly are generated. For nontrivial examples, verification can be a very complex process, both in the conceptual and computational sense. For these reasons, it is a recent trend in the literature on verification in general to study the use of compositionality and abstraction to structure the process of verification; for example, see [Abadi and Lamport, 1993], [Hooman, 1994], [Dams et al., 1996].
Original languageEnglish
Title of host publicationDynamics and Management of Reasoning Processes
PublisherSpringer
Pages299-338
Number of pages40
ISBN (Electronic)978-94-017-1743-4
ISBN (Print)978-90-481-5903-1
DOIs
Publication statusPublished - 2001

Publication series

NameSeries in Defeasible Reasoning and Uncertainty Management Systems
Volume6

Fingerprint Dive into the research topics of 'A Formal Analysis of Pro-activenes and Reactiveness in Cooperative Information Gathering'. Together they form a unique fingerprint.

Cite this