Werner Kießling and Ulrich Guntzer. Database reasoning --- a deductive framework for solving large and complex problems by means of subsumption. In Proc. 3rd Workshop on Information Systems and Artificial Intelligence, volume 777 of Lecture Notes in Computer Science, pages 118--138, Hamburg, Germany, Febr. 1994.  Home/Search   Document Details and Download   Summary   Related Articles   Check

.... context by Barbar a et al. BGMP92] and for deductive databases by Ng and Subramanian [NS92b] Lakshmanan and Sadri [LS94] Our own previous work comprises a major project with the so called DUCK system for reasoning under a conditional probability model (see e.g. GKT91] KTG92] Tho94] TKG94] Before extending current OODBs towards uncertainty, the following aspects must be considered: Since uncertain knowledge comes in a variety of flavors in the real world, which of its facets should we provide (See [Pea88] Som90] for a discussion. Like other database researchers we decided ....

....is a tremendously complex task with many intractability results known. Therefore many researchers a priori restrict their attention to tractable subclasses. For the purposes of this paper we present a very wide class, which continues our previous work with the DUCK approach ( GKT91] KTG92] TKG94] Definition 3.1 (Syntax of probabilistic formulas) Let A; B; C 2 C, x 1 ; x 2 ; y 1 ; y 2 2[0; 1] x 1 x 2 , y 1 y 2 , k 2R and 2 f; g. a) pos(A) is called a positive probability statement, b) A x1 ;x2 Gamma Gamma Gamma Gamma Gamma B is called an uncertain rule, c) A x1 ;x2 ....

[Article contains additional citation context not shown here]

Werner Kießling and Ulrich Guntzer. Database reasoning --- a deductive framework for solving large and complex problems by means of subsumption. In Proc. 3rd Workshop on Information Systems and Artificial Intelligence, volume 777 of Lecture Notes in Computer Science, pages 118--138, Hamburg, Germany, Febr. 1994.

.... relational context by Barbar a et al. BGMP92] and for deductive databases by Ng and Subramanian [NS92b] Lakshmanan and Sadri [LS94] Our own previous work comprises a major project with the so called DUCK system for reasoning under a conditional probability model (see e.g. GKT91] KTG92] TKG94] Before extending current OODBs towards uncertainty, the following aspects must be considered: Since uncertain knowledge comes in a variety of flavors in the real world, which of its facets should we provide (See [Som90] for a discussion. Like other database researchers we decided on the ....

....of OODBs towards the so called TOP database model: TOP = Taxonomy Object Orientation Probability In the rest of this paper we introduce the TOP model mostly by examples. More details and novel solutions relating to the technical issues of taxonomic and uncertain deduction can be found in [LKKG94] 2 Taxonomic knowledge Taxonomic knowledge and reasoning is a widely explored field. One of its uses is in terminological reasoning to answer typical questions like is a class of objects subset of or disjoint to another class of objects . Considering object oriented databases, it immediately ....

[Article contains additional citation context not shown here]

Werner Kießling and Ulrich Guntzer. Database reasoning --- a deductive framework for solving large and complex problems by means of subsumption. In Proc. 3rd Workshop on Information Systems and Artificial Intelligence, volume 777 of Lecture Notes in Computer Science, pages 118--138, Hamburg, Germany, Febr. 1994.

No context found.

Werner Kießling and Ulrich Guntzer. Database reasoning --- a deductive framework for solving large and complex problems by means of subsumption. In Proc. 3rd Workshop on Information Systems and Artificial Intelligence, volume 777 of LNCS, pages 118--138, Hamburg, Germany, Febr. 1994.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC