Napredna pretraga

Pregled bibliografske jedinice broj: 437666

Logical Consequences in Partial Knowledge Bases


Maleković, Mirko; Čubrilo, Mirko; Rabuzin, Kornelije
Logical Consequences in Partial Knowledge Bases // Towards Intelligent Engineering and Information Technology / Imre J. Rudas, Janos Fodor, Janusz Kacprzyk (ur.).
Berlin Heidelberg: Springer-Verlag, 2009. str. 377-388


Naslov
Logical Consequences in Partial Knowledge Bases

Autori
Maleković, Mirko ; Čubrilo, Mirko ; Rabuzin, Kornelije

Vrsta, podvrsta i kategorija rada
Poglavlja u knjigama, znanstveni

Knjiga
Towards Intelligent Engineering and Information Technology

Urednik/ci
Imre J. Rudas, Janos Fodor, Janusz Kacprzyk

Izdavač
Springer-Verlag

Grad
Berlin Heidelberg

Godina
2009

Raspon stranica
377-388

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.

Izvorni jezik
Engleski

Znanstvena područja
Informacijske i komunikacijske znanosti



POVEZANOST RADA


Projekt / tema
016-0000000-3327 - Automatizacija postupaka u projektiranju informacijskih sustava (Alen Lovrenčić, )
016-0161741-1739 - Razvoj informacijske infrastrukture i deduktivnih mehanizama Semantičkog Weba (Mirko Čubrilo, )
016-0361935-1728 - Semantičko modeliranje višeagentnih sustava (Mirko Maleković, )

Ustanove
Fakultet organizacije i informatike, Varaždin