Computer Science – Logic in Computer Science
Scientific paper
2005-03-14
Computer Science
Logic in Computer Science
To appear in Theory and Practice of Logic Programming (TPLP)
Scientific paper
An information agent is viewed as a deductive database consisting of 3 parts: an observation database containing the facts the agent has observed or sensed from its surrounding environment, an input database containing the information the agent has obtained from other agents, and 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 and discuss the consequences of our results.
Dung Phan Minh
Hanh Do Duc
Thang Phan Minh
No associations
LandOfFree
Stabilization of Cooperative Information Agents in Unpredictable Environment: A Logic Programming Approach does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Stabilization of Cooperative Information Agents in Unpredictable Environment: A Logic Programming Approach, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Stabilization of Cooperative Information Agents in Unpredictable Environment: A Logic Programming Approach will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-659124