liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Semantics and Implementation of Knowledge Operators in Approximate Databases
Linköping University, Department of Computer and Information Science.
2004 (English)Independent thesis Basic level (professional degree)Student thesisAlternative title
Semantik och implementation för kunskapsoperatorer i approximativa databaser (Swedish)
Abstract [en]

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.

Place, publisher, year, edition, pages
Institutionen för datavetenskap , 2004.
Keyword [en]
Datalogi, knowledge representation, approximate database, knowledge operator, know whether, algorithmic knowledge, knowledge-based planning
Keyword [sv]
National Category
Computer Science
URN: urn:nbn:se:liu:diva-2438ISRN: LITH-IDA-EX--04/068--SEOAI: diva2:19770
Available from: 2004-09-17 Created: 2004-09-17

Open Access in DiVA

fulltext(421 kB)342 downloads
File information
File name FULLTEXT01.pdfFile size 421 kBChecksum MD5
Type fulltextMimetype application/pdf

By organisation
Department of Computer and Information Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 342 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 228 hits
ReferencesLink to record
Permanent link

Direct link