Essays about: "Kristoffer Sjö"

Found 1 essay containing the words Kristoffer Sjö.

  1. 1. Semantics and Implementation of Knowledge Operators in Approximate Databases

    University essay from Institutionen för datavetenskap

    Author : Kristoffer Sjö; [2004]
    Keywords : Datalogi; knowledge representation; approximate database; knowledge operator; know whether; algorithmic knowledge; knowledge-based planning; Datalogi;

    Abstract : 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