M.-A. Winslett. Updating logical databases. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Arti cial Intelligence and Logic Programming, volume 4, pages 133-174. Oxford University Press, 1995.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... model described further is a simplification of relevant ontological knowledge to set extensions, of context specific binary fact types called lexons, expressing plausible relationships between non lexical concepts using lexical terms, and to adopt a classical database model theoretic view [R88][Wi90] in which concept relationships are separated from constraints, rules, etc, which in this case are moved conceptually to the having designers assign a large id number to each new concept clearly is not a valid option for useful communication the binary requirement is not overridingly ....

....also be the basis for ontology alignment and merging. Additional relevant results in the database literature that therefore could be applied to this are schema and view integration [BLN84] but also formal theories of lossless schema transformation [dT93] and updates of logical databases [We86][Wi90]. The one fortunate aspect here is that these theories and algorithms become simplified somewhat in the absence of null values, which at least seem to be unnecessary in extensional ontologies (certainly in binary ones. Summary. In conclusion, we identified four critical success factors for ....

Winslett, M. "Updating Logical Databases", Cambridge University Press, 1990.

....lexons, expressing plausible relationships between non lexical concepts using lexical terms (the binary requirement is not overridingly essential but helps to avoid a number of superfluous issues of elementary representations etc. We also adopt a classical database model theoretic view [23][31] in which concept relationships are separated from constraints, rules, etc, which in this case are moved conceptually to the application realm . The resulting ontology paradigm naturally will be noun based, but the roles connecting them are first class citizens of the model, too. ....

....it must also be the basis for ontology alignment and merging. Additional relevant results in the database literature that therefore could be applied to this are schema and view integration [1] but also formal theories of lossless schema transformation [3] and updates of logical databases [30] [31]. The one fortunate aspect here is that these theories and algorithms become simplified somewhat in the absence of null values, which at least seem to be unnecessary in extensional ontologies (certainly in binary ones. Summary. In conclusion, we identified four critical success factors for ....

Winslett, M. "Updating Logical Databases", Cambridge

....we can express that the effect of an action is a choice between two or more alterations ( a] A B) which can not be expressed in their language. Interesting is that both constructs are claimed to represent the non deterministic aspect of actions. Winslett s work on database update semantics [24] focuses on a model oriented approach to updates, de emphasizing the relation between the specification and the models. Instead, we base our semantics on the declarative semantics of a specification in MAL, which allows us to reason about updates in the same language. 10 Brass and Lipeck [2] ....

M. Winslett. Updating Logical Databases. Cambridge University Press, 1990. 12

....in Artificial Intelligence 3.1 Theory Revision Dealing with knowledge in flux , i.e. with knowledge bases that are subject to change in the light of new information, is an important problem of artificial intelligence. The subject has been studied in the database research community as well (e.g. [16, 45]) and has also attracted attention of philosophers of reasoning (e.g. 1, 19] A number of di#erent change approaches have been proposed (see [45, 39] for overviews) many of them adhere to the principle of Minimal Change, according to which the body of knowledge should change as little as ....

....information, is an important problem of artificial intelligence. The subject has been studied in the database research community as well (e.g. 16, 45] and has also attracted attention of philosophers of reasoning (e.g. 1, 19] A number of di#erent change approaches have been proposed (see [45, 39] for overviews) many of them adhere to the principle of Minimal Change, according to which the body of knowledge should change as little as possible if new information is incorporated. A well known knowledge change approach is the Set Of Theories approach, a formula based change method first ....

M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.

..... 40 1 Introduction Updating knowledge bases is an important issue in the area of data and knowledge representation. While this issue has been studied extensively in the context of classical knowledge bases (cf. e.g. [32, 19]) attention to it in the area of nonmonotonic knowledge bases, in particular in logic programming, is more recent. Various approaches to evaluating logic programs in the light of new information have been presented. The proposals range from basic methods to incorporate an update U , given by a ....

M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.

....on the important issue of how in this representation different knowledge bases KB 1 ; KB l can be combined into a single KB. Main problems studied. The semantical issue of combining knowledge bases, as well as closely related issues, have been studied in the recent literature, see e.g. [2, 1, 18, 41, 23, 36, 39, 7, 33]. We do not intend to discuss the same issue here; rather, we are interested in tools and algorithms at the operational level, which are needed for the implementation of a suitable semantics. In this context, a principal operation is taking the logical intersection of knowledge bases KB 1 ; ....

M. Winslett. Updating Logical Databases. Cambridge University Press, 1990. 39

....A problem is how to express that the cleaner has been sold at time 3 We just say that there is no penalty in the change of cleaner in shop between time 2 and 3, and that cleaner in shop is false at time 3. This way, we can actually implement the standard semantics update [ Winslett, 1990 ] A statement like change(0) t]l corresponds to a release of the truth value of the literal l. change(0) 2] cleanerinshop source(3) 3] cleanerinshop The result is composed of four models. In all of them, cleaner in shop is true at time points 1 and 2, and false in the other ones. Each ....

M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.

.... One of the best known and most studied theories of belief change is the classic AGM theory of belief revision of Alchourr6n, G firdenfors and Makinson [2, 18] Recent years have seen many extensions and refinements of the AGM paradigm, including the distinction between revision and update [23, 32], the proposal of models that combine the two [8, 15] and the acceptance of the notion that epistemic states are much richer than simple belief sets [4, 17, 27, 29] All of these advances can be viewed as refinements of the AGM paradigm, for none contradict the basic, ifin This work was ....

M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.

..... 31 8 Conclusion 31 1 Introduction Since the eighties of the last century, the problem of updating logical data and knowledge bases has been studied by many researchers, and a number of different approaches have been developed (cf. [18, 33] and [16] for accounts of early methods) While the early approaches were devised for classical monotonic knowledge bases, methods for updating nonmonotonic knowledge bases, and in particular for nonmonotonic logic programs, have been proposed only much later, cf. 1, 2, 11, 15, 35, 30, 24] ....

M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.

....languages and discuss ways to state that nothing else changes by syntactic as well as semantic means. Our work can be regarded as introducing a richer semantics for the specification language to capture this. On the other side of the spectrum, Winslett s work on database update semantics [13] focuses on a model oriented approach to updates, de emphasizing the relation between the specification and the models. Instead, we base our semantics on the declarative semantics of a specification in PDL, which allows us to reason about updates in the same language. Brass and Lipeck [2] 10] ....

M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.

....becomes crucial in choosing one formalism instead of another to represent the knowledge. Another important aspect of nonmonotonic reasoning is that we have to deal with uncertain and or incomplete information. Several criteria for updating and or revising a knowledge base have been proposed [1, 11, 12, 18, 21, 22, 24]. Suppose we have a knowledge base T and a new piece of information, represented by a formula P , is given. It might be the case that T and P are not consistent. In this case the revision of T with P , denoted as T ffi P , contains those models of P dened by means of a belief revision operator ....

M. Winslett. Updating logical databases. Cambridge University Press, 1990.

....finitary characterizations of the evolution, and derive complexity results for our framework. 1 Introduction Updating knowledge bases is an important issue in the area of data and knowledge representation. While this issue has been studied extensively in the context of classical knowledge bases [18, 11], attention to it in the area of nonmonotonic knowledge bases, in particular in logic programming, is more recent. Various approaches to evaluating logic programs in the light of new information have been presented, cf. 1] The proposals range from basic methods to incorporate an update U , given ....

M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.

No context found.

M.-A. Winslett. Updating logical databases. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Arti cial Intelligence and Logic Programming, volume 4, pages 133-174. Oxford University Press, 1995.

No context found.

Winslett, M.-A. 1995. Updating logical databases. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume 4. Oxford University Press. 133--174.

No context found.

WINSLETT, M. Updating Logical Databases. Cambridge University Press, 1990.

No context found.

Mary-Anne Winslett, Updating Logical Databases, Cambridge University Press, 1990.

No context found.

M. Winslett. Updating Logical Databases. Cambridge U. Press, 1990.

No context found.

Mary-Anne Winslett, Updating Logical Databases, Cambridge University Press, 1990.

No context found.

M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.

No context found.

Mary-Anne Winslett. Updating Logical Databases. Cambridge University Press, 1990.

No context found.

Winslett, M. "Updating Logical Databases", Cambridge

No context found.

M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.

No context found.

M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.

No context found.

M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.

No context found.

M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.

First 50 documents  Next 50

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