Наредни састанак Семинара биће одржан онлајн у среду, 20. марта 2024. са почетком у 19 часова.
Предавач: Pablo Cordero Ortega, Matemática Aplicada, Universidad de Málaga, Málaga, Spain
Наслов предавања: ATTRIBUTE IMPLICATIONS AND FUNCTIONAL DEPENDENCIES: REASONING WITH SIMPLIFICATION LOGIC
Апстракт: Attribute implications in Formal Concept Analysis, functional dependencies in database theory and Horn clauses in logic are three views of the same concept that, traditionally, have been studied by making use of the so-called Armstrong axioms. This axiomatization is very useful from the theoretical point of view, but not from the applied point of view. An alternative that opens the door to a large number of applications comes from the Simplification logic that allows the design of efficient automatic reasoning tools. With these tools, applications have been proposed, for example, to the analysis of social networks or the design of recommender systems.
Напомена: Регистрациона форма за учешће на Семинару је доступна на линку:
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p
Уколико желите само да пратите предавање без могућности активног учешћа, пренос је доступан на линку:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz