Naslov
Reasoning about dependencies in partial knowledge bases

Autori
Maleković, Mirko

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the IEEE 9th International Conference on Intelligent Engineering Systems, Ines, 2005 / Rudas, Imre ; Tar, Joszef ; Szakal, Aniko - Budimpešta : Institute of Electrical and Electronics Engineers (IEEE), 2005, 135-138

Skup
IEEE 9th International Conference on Intelligent Engineering Systems

Mjesto i datum
Sredozemno more; Grčka; Turska, 16.09.2005. - 19.09.2005

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
knowledge base; reasoning; functional dependencies

Sažetak
In this paper we describe the rules for reasoning about existence dependencies and functional dependencies in partial knowledge bases. We characterize a formal system ED with only two rules for reasoning about existence dependencies. We prove that ED is sound and complete. In addition, we consider implication problem for functional dependencies. Three types of logical consequenses (implications) are described: standard, strong, and weak logical consequence. The center of our attention is the weak logical consequence and its properties. We prove that that reasoning based on the standard consequence is equivalent to reasoning based on the strong logical consequence, whereas reasoning based on the standard logical consequence and reasoning based on the strong logical consequence are not equivalent to reasoning based on the weak logical consequence.

Izvorni jezik
Engleski

Znanstvena područja
Informacijske i komunikacijske znanosti

POVEZANOST RADA