Computing Environment-Aware Agent Behaviours with Logic Program Updates

Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably reconciled with a more deliberative rational behaviour. In this paper we show how different behaviours of environment-aware agents can be naturally specified and computed in terms of logic program updates. Logic program updates are specified, in our setting, by the language of updates LUPS. We show how such language can be used to model the more reactive behaviours, while keeping the more deliberative features provided by its underlying Dynamic Logic Programming paradigm. The obtained declarative semantics sets a firm basis for the development, implementation, and analysis of environmentaware agents.

• Type: Conference
• Year: 2001
• Where: LOPSTR
• Authors: José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
• Keywords: Automated Reasoning, Deliberative Rational Behaviour, Logic Program Updates, LOPSTR 2001, Underlying Dynamic Logic