Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Logical Consequences in Partial Knowledge Bases (CROSBI ID 40105)

Prilog u knjizi | izvorni znanstveni rad

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, 2009. str. 377-388

Podaci o odgovornosti

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

engleski

Logical Consequences in Partial Knowledge Bases

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.

objavljeno

Podaci o knjizi

Towards Intelligent Engineering and Information Technology

Imre J. Rudas, Janos Fodor, Janusz Kacprzyk

Berlin : Heidelberg: Springer

2009.

978-3-642-03736-8

Povezanost rada

Informacijske i komunikacijske znanosti