Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 225804

Reasoning about dependencies in partial knowledge bases


Maleković, Mirko
Reasoning about dependencies in partial knowledge bases // Proceedings of the IEEE 9th International Conference on Intelligent Engineering Systems, Ines, 2005 / Rudas, Imre ; Tar, Joszef ; Szakal, Aniko (ur.).
Budapest: Institute of Electrical and Electronics Engineers, Inc., 2005. str. 135-138 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)


CROSBI ID: 225804 Za ispravke kontaktirajte CROSBI podršku putem web obrasca

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 - Budapest : Institute of Electrical and Electronics Engineers, Inc., 2005, 135-138

Skup
IEEE 9th International Conference on Intelligent Engineering Systems

Mjesto i datum
Cruiser Agean I, Mediterranean sea, Greece, Turkey, 16-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


Projekti:
0016015

Ustanove:
Fakultet organizacije i informatike, Varaždin

Profili:

Avatar Url Mirko Maleković (autor)


Citiraj ovu publikaciju:

Maleković, Mirko
Reasoning about dependencies in partial knowledge bases // Proceedings of the IEEE 9th International Conference on Intelligent Engineering Systems, Ines, 2005 / Rudas, Imre ; Tar, Joszef ; Szakal, Aniko (ur.).
Budapest: Institute of Electrical and Electronics Engineers, Inc., 2005. str. 135-138 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
Maleković, M. (2005) Reasoning about dependencies in partial knowledge bases. U: Rudas, I., Tar, J. & Szakal, A. (ur.)Proceedings of the IEEE 9th International Conference on Intelligent Engineering Systems, Ines, 2005.
@article{article, author = {Malekovi\'{c}, Mirko}, year = {2005}, pages = {135-138}, keywords = {knowledge base, reasoning, functional dependencies}, title = {Reasoning about dependencies in partial knowledge bases}, keyword = {knowledge base, reasoning, functional dependencies}, publisher = {Institute of Electrical and Electronics Engineers, Inc.}, publisherplace = {Cruiser Agean I, Mediterranean sea, Greece, Turkey} }
@article{article, author = {Malekovi\'{c}, Mirko}, year = {2005}, pages = {135-138}, keywords = {knowledge base, reasoning, functional dependencies}, title = {Reasoning about dependencies in partial knowledge bases}, keyword = {knowledge base, reasoning, functional dependencies}, publisher = {Institute of Electrical and Electronics Engineers, Inc.}, publisherplace = {Cruiser Agean I, Mediterranean sea, Greece, Turkey} }




Contrast
Increase Font
Decrease Font
Dyslexic Font