Approximate Reasoning about Combined Knowledge

Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge, coming from its background knowledge and the communicatedinformation. Speci cally, such an agent is confronted with three main di culties: the prospect of inconsistency which arises when di erent beliefs are grouped together, the presence of uncertainty which may occur due to not fully reliable beliefs, and the high computational complexity of reasoning with very large pools of collected information. The purpose of this paper is to de ne a formal framework which handles these three aspects and which is useful to specify resource bounded agents. Based on the concept of approximate reasoning, our framework includes several major features. First, a model checking approach is advocated, which enables an agent to perform decidable reasoning with a rst-order representation language. Second, a stepwise procedure i...

• Type: Conference
• Year: 1997
• Where: ATAL
• Authors: Frédéric Koriche
• Keywords: ATAL 1997, Di Erent Beliefs, Intelligent Agents, Main Di Culties, Reasoning