Hostname: page-component-cd9895bd7-8ctnn Total loading time: 0 Render date: 2024-12-26T04:54:49.701Z Has data issue: false hasContentIssue false
  • English
  • Français

An algorithmic approach to knowledge evolution

Published online by Cambridge University Press:  01 April 1999

ALESSIO LOMUSCIO  and
MARK RYAN
ALESSIO LOMUSCIO
Affiliation:
School of Computer Science, University of Birmingham, Birmingham B15 2TT, UK
MARK RYAN
Affiliation:
School of Computer Science, University of Birmingham, Birmingham B15 2TT, UK
Get access Rights & Permissions [Opens in a new window]

Abstract

Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases in societies of agents. Halpern and Vardi have proposed the notion of refinement of S5n Kripke models in order to solve multi-agent problems in which knowledge evolves. We argue that there are some problems with their proposal and attempt to solve them by moving from Kripke models to their corresponding trees. We define refinement of a tree with a formula, show some properties of the notion, and illustrate with the muddy children puzzle. We show how some diagnosis problems in engineering can be modelled as knowledge-based multi-agent systems, and hence how our approach can address them.

Keywords

Knowledge RepresentationModal LogicMulti-agent Systems
Type
Research Article
Information
AI EDAM , Volume 13 , Issue 2 , April 1999 , pp. 119 - 132
Copyright
© 1999 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.)