Let M = { ∀a, t.(AuthorOf(a, t)→ ∃g.BookInfo(t, a, g)) }, I1 = { AuthorOf(nabokov, lolita), AuthorOf(tolkien, lotr) }. Then I2 = { BookInfo(lolita, nabokov, n1), BookInfo(lotr, tolkien, n2) } is a universal solution. Data Exchange Example Let M = { ∃AuthorOf− v ∃BookGenre, AuthorOf− v WrittenBy, TaxNumber v SSN }, T1 = { ∃AuthorOf v Author, Author v ∃TaxNumber }, A1 = { AuthorOf(nabokov, lolita...

A common practice for resolving connicts among a group of agents is to let the majority decide. We formalize this principle and apply it to the problem of merging the knowledge of multiple agents. We then postulate logical properties that all knowledge merging operators should satisfy and give a model-theoretic characterization of all merging operators that satisfy the postulates. It turns out ...

It is well known that the minimal change principle was widely used in propositional knowledge base updates. However, recent research has shown that under some circumstances, the conventional minimal change methods were inappropriate for updating knowledge bases with disjunctive eeects. In this paper we propose a new method for the knowledge base update based on a persistence principle, which pr...

KBMSs for natural language knowledge will be fundamental components of knowledgeable environments where non-computer professionals can use various kinds of support tools for document preparation or translation. However, basic models for such KBMSs have not been established yet. Thus, we propose a model for an LKB focusing on dictionary knowledge such as that obtained from machine-readable dicti...

Our work develops a new methodology and tool for the validation of probabilistic knowledge bases throughout their lifecycle. The methodology minimizes user interaction by automatically modifying incorrect knowledge; only the occurrence of incomplete knowledge involves interaction. These gains are realized by combining and modifying techniques borrowed from rulebased and artificial neural networ...

In the field of Artificial Intelligence (AI) there exists a long-standing goal for an expert system. Intelligent Query Processing is concerned with in the context of automatically processing NL text query with several Knowledge Base (KB) technique of AI-literature to develop an expert system. An intelligent system requires understanding of related terms like wisdom, knowledge, reasoning, though...

Companies incur significant costs from the financial distress. Predicting financial distress will have an important role in preventing bankruptcy. The aim of the present study is to predict the financial distress costs using the Leland and Toft models, during 1996 and 1998. This study examines data relating to 49 companies listed in the Tehran stock exchange collected over ten years from 2005 t...