Семинар из вештачке интелигенције, 2. јун 2021.

• 31. Мај, 2021
• Коментари (0)

Наредни састанак Семинара биће одржан онлајн у среду, 2. јуна 2021. од 19 до 20 часова.

Предавач: др Бранимир Шешеља, редовни професор у пензији, Природно-математички факултет, Универзитет у Новом Саду

Наслов предавања: ОМЕГА СТРУКТУРЕ

Апстракт: Тема излагања су алгебарске структуре које моделирају поједине некласичне поливалентне логике:  аналогне су Буловим алгебрама у класичној логици. Уопштена је класична једнакост, па се припадност колекцији и једнакост објеката вреднују степенасто. Основни појам је Омега скуп, уведен у другој половини и крајем XX века (Fourman, Scott, Borceux, Cruciani) с основном намером да се моделира интуиционистичка логика и решавају проблеми у Теорији скупова. Омега је Heyting-ова алгебра (мрежа), а припадности објеката Омега скупу и њихове сродности разликују се, што дефинише придружена уопштена једнакост, тј. посебна функција са вредностима из Омега. У даљим истраживањима Омега скупови су снабдевени операцијама и релацијама, па се испитују Омега групе, Омега квазигрупе, Омега мреже...

Закони (посебно идентитети) у таквим структурама зависе од те једнакости, па могу добро да моделирају ситуације у којима нема довољно података, у којима се не могу применити стриктна правила рачунања, или је дошло до грешака у прикупљању тих података. Доказано је да се ове ослабљене структуре могу испитивати колекцијама класичних количничких структура, посебним системима затварања на придруженој мрежи подструктура. Показаћемо да се са довољном поузданошћу могу решавати једначине и када нема једнозначних или нема никаквих решења у класичном смислу; успоставићемо мрежни (дакле правилан) поредак и када је упоредивост нејасна. Поред наведених примена, указаћемо и на друге. Heyting-ова алгебра је посебна резидуирана мрежа, па се Омега структурама може моделирати расплинута (fuzzy) логика (Hohle) и разни системи управљања (controllers). Даље примене могуће су у базама података, системима заснованим на знању (knowledge based systems), дубинском истраживању података (data mining), ASP (answer set programming)...

У излагање су укључени резултати на којима су радили и А. Тепавчевић, А. Крапеж, В. и Б. Будимировић, Ј. Јовановић, E.E. Edeghaba и O.S.A. Bleblou.
Регистрациона форма за учешће на Семинару је доступна на:
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p

Пренос семинара је доступан и регистрованим и нерегистрованим корисницима на следећем линку:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz