Essays about: "Kristoffer Sjö"
Found 1 essay containing the words Kristoffer Sjö.
-
1. Semantics and Implementation of Knowledge Operators in Approximate Databases
University essay from Institutionen för datavetenskapAbstract : 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. READ MORE