Sökning: onr:"swepub:oai:DiVA.org:liu-31792" >
Approximate Databas...
Approximate Databases : A support tool for approximate reasoning
-
- Doherty, Patrick, 1957- (författare)
- Linköpings universitet,KPLAB - Laboratoriet för kunskapsbearbetning,Tekniska högskolan
-
- Magnusson, Martin, 1978- (författare)
- Linköpings universitet,KPLAB - Laboratoriet för kunskapsbearbetning,Tekniska högskolan
-
- Szalas, Andrzej, 1956- (författare)
- Linköpings universitet,KPLAB - Laboratoriet för kunskapsbearbetning,Tekniska högskolan
-
(creator_code:org_t)
- 2012-04-13
- 2006
- Engelska.
-
Ingår i: Journal of applied non-classical logics. - : Éditions Hermès-Lavoisier. - 1166-3081 .- 1958-5780. ; 16:1-2, s. 87-118
- Relaterad länk:
-
http://www.martinmag...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.3...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- approximate reasoning
- approximate databases
- knowledge representation
- secondorder quantifier elimination
- Computer science
- Datavetenskap
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas