Logical Consequences in Partial Knowledge Bases (CROSBI ID 656882)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Maleković, Mirko
engleski
Logical Consequences in Partial Knowledge Bases
In this paper, 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.
partial knowledge bases ; dependencies ; logical consequences ; formal systems ; inference rules ; soundness ; completeness
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
377-388.
2009.
objavljeno
Podaci o matičnoj publikaciji
Towards Intelligent Engineering and Information Technology
Rudas Imre J. ; Fodor Janos ; Janusz Kacprzyk Janucz
Berlin : Heidelberg: Springer
Podaci o skupu
Budapest Tech Jubilee Conference (September 1-2, 2009)
pozvano predavanje
01.09.2009-02.09.2009
Budimpešta, Mađarska