Knowledge Operators in Approximate Databases Project Report

In order that epistemic formulas might be coupled with approximate databases, it is necessary to have a well-defined semantics for the knowledge operator and a method of reducing epistemic formulas to approximate formulas. In this thesis, two possible definitions of a semantics for the knowledge operator are proposed for use together with an approximate relational database:

* One based upon logical entailment (being the dominating notion of knowledge in literature); sound and complete rules for reduction to approximate formulas are explored and found not to be applicable to all formulas.
* One based upon algorithmic computability (in order to be practically feasible); the correspondence to the above operator on the one hand, and to the deductive capability of the agent on the other hand, is explored.Also, an inductively defined semantics for a”know whether”-operator, is proposed and tested. Finally, an algorithm implementing the above is proposed, carried out using Java, and tested.

Contents

1 Introduction
2 Method
3 Basics
4 Entailment as knowledge
5 An Algorithmic Notion of Knowledge
6 Know Whether
7 Implementation
8 Examples
9 Conclusions
A Proofs
B Basic test cases

Author: Sjo, Kristoffer

Source: Linkoping University

Download URL 2: Visit Now

Leave a Comment