Hostname: page-component-848d4c4894-xm8r8 Total loading time: 0 Render date: 2024-07-05T04:05:14.083Z Has data issue: false hasContentIssue false

Stabilization of cooperative information agents in unpredictable environment: a logic programming approach

Published online by Cambridge University Press:  27 January 2006

PHAN MINH DUNG
Affiliation:
Computer Science and Information Management Department, Asian Institute of Technology (e-mail: dung@cs.ait.ac.th, hanh@cs.ait.ac.th, thangphm@cs.ait.ac.th)
DO DUC HANH
Affiliation:
Computer Science and Information Management Department, Asian Institute of Technology (e-mail: dung@cs.ait.ac.th, hanh@cs.ait.ac.th, thangphm@cs.ait.ac.th)
PHAN MINH THANG
Affiliation:
Computer Science and Information Management Department, Asian Institute of Technology (e-mail: dung@cs.ait.ac.th, hanh@cs.ait.ac.th, thangphm@cs.ait.ac.th)

Abstract

An information agent is viewed as a deductive database consisting of three parts:

  1. an observation database containing the facts the agent has observed or sensed from its surrounding environment;

  2. an input database containing the information the agent has obtained from other agents;

  3. an intensional database which is a set of rules for computing derived information from the information stored in the observation and input databases.

Stabilization of a system of information agents represents a capability of the agents to eventually get correct information about their surrounding despite unpredictable environment changes and the incapability of many agents to sense such changes causing them to have temporary incorrect information. We argue that the stabilization of a system of cooperative information agents could be understood as the convergence of the behavior of the whole system toward the behavior of a “superagent”, who has the sensing and computing capabilities of all agents combined. We show that unfortunately, stabilization is not guaranteed in general, even if the agents are fully cooperative and do not hide any information from each other. We give sufficient conditions for stabilization. We discuss the consequences of our results.

Type
Regular Papers
Copyright
2006 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)