BibTeX
@MISC{Ramanujam_knowledge,views,
author = {R. Ramanujam},
title = {Knowledge, Views and Model Checking},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Any reasoning agent in a system has a model of the system which represents the partial view available to that agent. We suggest the following notion of knowledge: agent i knows that ff holds if and only if ff is true in the sub-model visible to i. This corresponds to considering knowledge as an agent's ability to answer questions about the subject, and to provide evidence on which the knowledge is based. Simply stated, on facing a query, the agent runs a model checking algorithm on M V and ff, where M V is the agent's view-based model of the system (or evidence available to that agent). We argue that this is one way of getting around the logical omniscience problem, at least when the reasoners are components of distributed computing systems. We also prove a completeness theorem for the logic. 1 Motivation 1.1 Basic logic of knowledge The notion of knowledge has attracted philosophers for centuries. During the last decade, computation theorists have studied this notion extensively wit...
