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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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]
Datalogi
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-2438ISRN: LITH-IDA-EX--04/068--SEOAI: oai:DiVA.org:liu-2438DiVA: diva2:19770
Uppsok
teknik
Available from: 2004-09-17 Created: 2004-09-17

Open Access in DiVA

fulltext(421 kB)361 downloads
File information
File name FULLTEXT01.pdfFile size 421 kBChecksum SHA-1
c00bd1bbedfc4a860f2540d36cbb7abf87fd9bbd7a034ad8e9da2288f087f06f8f9da124
Type fulltextMimetype application/pdf

By organisation
Department of Computer and Information Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 361 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

urn-nbn

Altmetric score

urn-nbn
Total: 253 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf