LiU Electronic Press
Full-text not available in DiVA
Author:
Doherty, Patrick (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab) (Linköping University, The Institute of Technology)
Magnusson, Martin (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab) (Linköping University, The Institute of Technology)
Szalas, Andrzej (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab) (Linköping University, The Institute of Technology)
Title:
Approximate Databases: A support tool for approximate reasoning
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Article in journal (Refereed)
Language:
English
Publisher: Éditions Hermès-Lavoisier
Status:
Published
In:
Journal of applied non-classical logics, ISSN 1166-3081
Volume:
16
Issue:
1-2
Pages:
87-118
Year of publ.:
2006
URI:
urn:nbn:se:liu:diva-31792
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-31792
Local ID:
17616
Subject category:
Computer Science
SVEP category:
Computer science
Keywords(en) :
approximate reasoning, approximate databases, knowledge representation, secondorder quantifier elimination
Abstract(en) :

This paper describes an experimental platform for approximate knowledge databases called the Approximate Knowledge Database (AKDB), based on a semantics inspired by rough sets. The implementation is based upon the use of a standard SQL database to store logical facts, augmented with several query interface layers implemented in JAVA through which extensional, intensional and local closed world nonmonotonic queries in the form of crisp or approximate logical formulas can be evaluated tractably. A graphical database design user interface is also provided which simplifies the design of databases, the entering of data and the construction of queries. The theory and semantics for AKDBs is presented in addition to application examples and details concerning the database implementation.

Note:
Special issue on implementation of logics
Available from:
2009-10-09
Created:
2009-10-09
Last updated:
2012-02-13
Statistics:
20 hits