Agents in proactive environments | Zendy

Dov M. Gabbay | Zendy; Rolf Nossum | Zendy; Michael Thielscher | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Agents in proactive environments

Author(s) -

Dov M. Gabbay,

Rolf Nossum,

Michael Thielscher

Publication year - 1997

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-63493-2

DOI - 10.1007/3540634932_34

Subject(s) - situated , computer science , set (abstract data type) , relation (database) , state space , semantics (computer science) , state (computer science) , temporal logic of actions , space (punctuation) , theoretical computer science , artificial intelligence , programming language , temporal logic , human–computer interaction , mathematics , data mining , interval temporal logic , statistics , operating system

. Agents situated in proactive environments are acting au-tonomously 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 sys-tems is proposed. The capabilities of the agents are 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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research