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

Direct link
Cite
Citation style
  • apa
  • 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
A default extension to description logics and its applications
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
1996 (English)Licentiate thesis, monograph (Other academic)
Abstract [en]

This thesis discusses how to extend a family of knowledge representation formalisms known as description logics with default rules. Description logics are tailored to express knowledge in problem domains of a hierarchical or taxonomical nature, that is domains where the knowledge is easily expressed in terms of concepts, objects and relations. The proposed extension makes it possible to express "rules of thumb" in a restricted form of Reiter's default rules. We suggest that defaults of this form improve both the representational and inferential power of description logics. The default rules are used to compute the preferential instance relation which formally expresses when it is plausible that an object is an instance of a concept. We demonstrate the usefulness of the extension by describing two applications. The first solves a configuration problem where the goal is to find a suitable wine for a given meal where defaults are used as recommendations of wines. The second is a document retrieval application where default rules are used to enhance the search of WWW documents. The applications are based on an extended version of the knowledge-based system CLASSIC.

Place, publisher, year, edition, pages
Linköping: Univ. , 1996. , p. 121
Series
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 591
National Category
Philosophy
Identifiers
URN: urn:nbn:se:liu:diva-163841Local ID: LiU-Tek-Lic-1996:56ISBN: 9178718724 (print)OAI: oai:DiVA.org:liu-163841DiVA, id: diva2:1395260
Available from: 2020-02-21 Created: 2020-02-21 Last updated: 2020-02-21Bibliographically approved

Open Access in DiVA

No full text in DiVA

Search in DiVA

By author/editor
Wahllöf, Niclas
By organisation
Department of Computer and Information ScienceThe Institute of Technology
Philosophy

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 2 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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