Notes:
|
One of the most difficult problems in multiagent systems involves
representing knowledge and beliefs of agents in dynamic environments.
New perceptions modify an agent’s current knowledge about the
world, and consequently its beliefs. Such revision and updating process
should be performed efficiently by the agent, particularly in the context
of real time constraints.
This paper introduces an argument-based logic programming language
called Observation-based Defeasible Logic Programming (ODeLP). An
ODeLP program is used to represent an agent’s knowledge in the context
of a multiagent system. The beliefs of the agent are modeled with
warranted goals computed on the basis of the agent’s program. New perceptions
from the environment result in changes in the agent’s knowledge
handled by a simple but effective updating strategy. The process of
computing beliefs in a changing environment is made computationally
attractive by integrating a “dialectical database” with the agent’s program,
providing precompiled information about inferences. We present
algorithms for creation and use of dialectical databases.
This research was partially supported by Projects TIC2001-1577-C03-01 and TIC2003-00950, by Ram´on y Cajal Program (Ministerio de Ciencia y Tecnolog´ıa, Spain), by CONICET (Argentina), by CIC (Argentina), by the Secretar´ıa General de Ciencia y Tecnolog´ıa de la Universidad Nacional del Sur and by Agencia Nacional de Promoci´on Cient´ıfica y Tecnol´ogica (PICT 2002 No. 13096). The authors would like to thank anonymous reviewers for providing helpful comments to improve the final version of this paper. |