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

Multi agent systems
Specifications

Cite this

Jonker, C. M., & Treur, J. (2001). A Formal Analysis of Pro-activenes and Reactiveness in Cooperative Information Gathering. In Dynamics and Management of Reasoning Processes (pp. 299-338). (Series in Defeasible Reasoning and Uncertainty Management Systems; Vol. 6). Springer. https://doi.org/10.1007/978-94-017-1743-4_15
Jonker, C.M. ; Treur, J. / A Formal Analysis of Pro-activenes and Reactiveness in Cooperative Information Gathering. Dynamics and Management of Reasoning Processes. Springer, 2001. pp. 299-338 (Series in Defeasible Reasoning and Uncertainty Management Systems).
@inbook{b93314bc9a59458cb5d3db3375c056c0,
title = "A Formal Analysis of Pro-activenes and Reactiveness in Cooperative Information Gathering",
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].",
author = "C.M. Jonker and J. Treur",
year = "2001",
doi = "10.1007/978-94-017-1743-4_15",
language = "English",
isbn = "978-90-481-5903-1",
series = "Series in Defeasible Reasoning and Uncertainty Management Systems",
publisher = "Springer",
pages = "299--338",
booktitle = "Dynamics and Management of Reasoning Processes",

}

Jonker, CM & Treur, J 2001, A Formal Analysis of Pro-activenes and Reactiveness in Cooperative Information Gathering. in Dynamics and Management of Reasoning Processes. Series in Defeasible Reasoning and Uncertainty Management Systems, vol. 6, Springer, pp. 299-338. https://doi.org/10.1007/978-94-017-1743-4_15

A Formal Analysis of Pro-activenes and Reactiveness in Cooperative Information Gathering. / Jonker, C.M.; Treur, J.

Dynamics and Management of Reasoning Processes. Springer, 2001. p. 299-338 (Series in Defeasible Reasoning and Uncertainty Management Systems; Vol. 6).

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

TY - CHAP

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

AU - Jonker, C.M.

AU - Treur, J.

PY - 2001

Y1 - 2001

N2 - 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].

AB - 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].

U2 - 10.1007/978-94-017-1743-4_15

DO - 10.1007/978-94-017-1743-4_15

M3 - Chapter

SN - 978-90-481-5903-1

T3 - Series in Defeasible Reasoning and Uncertainty Management Systems

SP - 299

EP - 338

BT - Dynamics and Management of Reasoning Processes

PB - Springer

ER -

Jonker CM, Treur J. A Formal Analysis of Pro-activenes and Reactiveness in Cooperative Information Gathering. In Dynamics and Management of Reasoning Processes. Springer. 2001. p. 299-338. (Series in Defeasible Reasoning and Uncertainty Management Systems). https://doi.org/10.1007/978-94-017-1743-4_15