R.M. van Eijk

On programming KARO agents

After having defined the KARO logic for specifying intelligent agents (an amalgam of various modal logics to reason about both informational and motivational attitudes of agents) in earlier work we now turn to the question how to realise agents specified in the KARO framework. To this end we look at agent programming languages that we have defined, and investigate how programs in these languages can be linked to the KARO logic.

Information-passing and belief-revision in multi-agent systems

We define a programming language for multi agent systems in which agents interact with a common environment and cooperate by exchanging their individual beliefs on the environment. In handling the information they acquire, the agents employ operations to expand remove and update their individual belief bases. The overall framework, which generalizes traditional concurrent programming concepts, is parameterized by an information system of constraints. Such a system is used to represent the environment as well as the beliefs of the agents. We give the syntax of the programming language and develop an operational semantics in terms of a transition system.

Modeling Decentralized Information Flow in Ambient Environments

This paper proposes a decentralized approach for modeling information flow in ambient environments. We study how query and notification mechanisms can be used to reduce the amount of information exchanged between agents. We will propose qualitative criteria which state whether querying a concept is appropriate given the logical structure of an agent’s knowledge base. Furthermore, we will propose quantitative criteria which state which concept is most likely to be most informative, given an agent’s information needs and its experience with past events.