crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Naslovna
 O projektu
 FAQ
 Kontakt
4 gif
Pregledavanje radova
Jednostavno pretraživanje
Napredno pretraživanje
Skupni podaci
Upis novih radova
Upute
Ispravci prijavljenih radova
Ostale bibliografije
Slični projekti
 Bibliografske baze podataka

Pregled bibliografske jedinice broj: 437666

Poglavlje/Rad u knjizi

Autori: Maleković, Mirko; Čubrilo, Mirko; Rabuzin, Kornelije
Naslov: Logical Consequences in Partial Knowledge Bases
Knjiga: Towards Intelligent Engineering and Information Technology
Urednik/ci: Imre J. Rudas, Janos Fodor, Janusz Kacprzyk
Izdavač: Springer-Verlag
Grad: Berlin Heidelberg
Godina: 2009
Serija: Studies in Computational Intelligence
Raspon stranica:: 377-388
Ukupni broj stranica u knjizi:: 11
ISBN: 978-3-642-03736-8
Ključne riječi: partial knowledge bases, dependencies, logical consequences, formal systems, inference rules, soundness, completeness
Sažetak:
We consider logical consequences for reasoning about functional, multivalued, and join dependencies in partial knowledge bases. The standard consequence, strong consequence, and the weak consequence are characterized. We prove that reasoning based on the standard logical consequence is equivalent to reasoning based on the strong logical consequence. In addition, we prove that reasoning based on the standard logical consequence and reasoning based on the weak logical consequence are not equivalent. We also define a formal system FSED for reasoning about existence dependencies. We prove that the formal system FSED is sound and complete. We state the connection between existence and functional dependencies: reasoning about existence dependencies based on the corresponding logical consequence and reasoning about functional dependencies based on the standard logical consequence are equivalent.
Projekt / tema: 016-0161741-1739, 016-0361935-1728, 016-0000000-3327
Izvorni jezik: ENG
Kategorija: Znanstveni
Znanstvena područja:
Informacijske i komunikacijske znanosti
Upisao u CROSBI: mmalekov@foi.hr (mmalekov@foi.hr), 15. Pro. 2009. u 18:26 sati



Verzija za printanje   za tiskati


upomoc
foot_4