Agents in proactive environments

Dov Gabbay; Rolf Nossum; Michael Thielscher

doi:10.1007/3540634932_34

Agents in proactive environments

Dov Gabbay, Rolf Nossum, Michael Thielscher

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions. A formal framework for simulating and reasoning about this generalized kind of dynamic systems is proposed. The capabilities of the agents axe modeled by a set of conditional rules in a temporal-logical format. The environment itself is modeled by an independent transition relation on the state space. The temporal language is given a declarative semantics.

Original language	English
Title of host publication	KI-1997
Subtitle of host publication	Advances in Artificial Intelligence - 21st Annual German Conference on Artificial Intelligence, 1997, Proceedings
Editors	Gerhard Brewka, Christopher Habel, Bernhard Nebel
Publisher	Springer Verlag
Pages	389-392
Number of pages	4
ISBN (Print)	9783540634935
DOIs	https://doi.org/10.1007/3540634932_34
State	Published - 1997
Externally published	Yes
Event	21st Annual German Conference on Artificial Intelligence, KI 1997 - Freiburg, Germany Duration: 9 Sep 1997 → 12 Sep 1997

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1303
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	21st Annual German Conference on Artificial Intelligence, KI 1997
Country/Territory	Germany
City	Freiburg
Period	9/09/97 → 12/09/97

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1997.

Access to Document

10.1007/3540634932_34

Cite this

Gabbay, D., Nossum, R., & Thielscher, M. (1997). Agents in proactive environments. In G. Brewka, C. Habel, & B. Nebel (Eds.), KI-1997: Advances in Artificial Intelligence - 21st Annual German Conference on Artificial Intelligence, 1997, Proceedings (pp. 389-392). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1303). Springer Verlag. https://doi.org/10.1007/3540634932_34

Gabbay, Dov ; Nossum, Rolf ; Thielscher, Michael. / Agents in proactive environments. KI-1997: Advances in Artificial Intelligence - 21st Annual German Conference on Artificial Intelligence, 1997, Proceedings. editor / Gerhard Brewka ; Christopher Habel ; Bernhard Nebel. Springer Verlag, 1997. pp. 389-392 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{19fee12f78034908a0064fd81727be26,

title = "Agents in proactive environments",

abstract = "Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions. A formal framework for simulating and reasoning about this generalized kind of dynamic systems is proposed. The capabilities of the agents axe modeled by a set of conditional rules in a temporal-logical format. The environment itself is modeled by an independent transition relation on the state space. The temporal language is given a declarative semantics.",

author = "Dov Gabbay and Rolf Nossum and Michael Thielscher",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1997.; 21st Annual German Conference on Artificial Intelligence, KI 1997 ; Conference date: 09-09-1997 Through 12-09-1997",

year = "1997",

doi = "10.1007/3540634932_34",

language = "אנגלית",

isbn = "9783540634935",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "389--392",

editor = "{ Brewka}, Gerhard and Christopher Habel and Bernhard Nebel",

booktitle = "KI-1997",

address = "גרמניה",

}

Gabbay, D, Nossum, R & Thielscher, M 1997, Agents in proactive environments. in G Brewka, C Habel & B Nebel (eds), KI-1997: Advances in Artificial Intelligence - 21st Annual German Conference on Artificial Intelligence, 1997, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1303, Springer Verlag, pp. 389-392, 21st Annual German Conference on Artificial Intelligence, KI 1997, Freiburg, Germany, 9/09/97. https://doi.org/10.1007/3540634932_34

Agents in proactive environments. / Gabbay, Dov; Nossum, Rolf; Thielscher, Michael.
KI-1997: Advances in Artificial Intelligence - 21st Annual German Conference on Artificial Intelligence, 1997, Proceedings. ed. / Gerhard Brewka; Christopher Habel; Bernhard Nebel. Springer Verlag, 1997. p. 389-392 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1303).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Agents in proactive environments

AU - Gabbay, Dov

AU - Nossum, Rolf

AU - Thielscher, Michael

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1997.

PY - 1997

Y1 - 1997

N2 - Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions. A formal framework for simulating and reasoning about this generalized kind of dynamic systems is proposed. The capabilities of the agents axe modeled by a set of conditional rules in a temporal-logical format. The environment itself is modeled by an independent transition relation on the state space. The temporal language is given a declarative semantics.

AB - Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions. A formal framework for simulating and reasoning about this generalized kind of dynamic systems is proposed. The capabilities of the agents axe modeled by a set of conditional rules in a temporal-logical format. The environment itself is modeled by an independent transition relation on the state space. The temporal language is given a declarative semantics.

UR - http://www.scopus.com/inward/record.url?scp=84956990871&partnerID=8YFLogxK

U2 - 10.1007/3540634932_34

DO - 10.1007/3540634932_34

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84956990871

SN - 9783540634935

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 389

EP - 392

BT - KI-1997

A2 - Brewka, Gerhard

A2 - Habel, Christopher

A2 - Nebel, Bernhard

PB - Springer Verlag

T2 - 21st Annual German Conference on Artificial Intelligence, KI 1997

Y2 - 9 September 1997 through 12 September 1997

ER -

Gabbay D, Nossum R, Thielscher M. Agents in proactive environments. In Brewka G, Habel C, Nebel B, editors, KI-1997: Advances in Artificial Intelligence - 21st Annual German Conference on Artificial Intelligence, 1997, Proceedings. Springer Verlag. 1997. p. 389-392. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3540634932_34

Agents in proactive environments

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this