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

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

Предавач: Меланија Митровић, Машински факултет, Универзитет у Нишу

Наслов предавања: КОНСТРУКТИВНЕ СЕМИГРУПЕ СА АПАРТНЕС РЕЛАЦИЈОМ - НОВИ ПУТЕВИ КА ПРИМЕНИ АЛГЕБРЕ У ВЕШТАЧКОЈ ИНТЕЛИГЕНЦИЈИ

Апстракт:
Иако често фрагментарни, радови на тему семигрупа који су се појавили крајем 20-их година прошлог века означени су као почетак историје теорије семигрупа. У ери без уређаја за брзу комуникацију семигрупе су се ускоро показале корисним у развоју других математичких дисциплина. Флексибилност и примена семигрупа са становишта моделовања и решавања проблема у различитим ситуацијама је брзо препозната. За разлику од класичне теорије семигрупа коју у последњим деценијама карактерише динамични и продуктивни развој, конструктивна математика није обраћала много пажње на развој семигрупа. Под конструктивном математиком подразумевамо математику која користи интуиционистичку логику. Конструктивна математика није јединствена научна дисциплина. У оквиру ње се развијају неколико њених варијетета. Треба да нагласимо да се наш рад креће у оквиру Errett Bishop-варијетета у којем је појам алгоритма или коначне процедуре примитивни појам. Развој моћних рачунарских система скренуо је пажњу на интуитивни појам ефикасне процедуре и, уопште, на израчунљивост. Заузврат, развој конструктивне алгебре и њене могуће примене је добио на значају. Апартнес релација, други најважнији основни појам развијен у конструктивној математици, нашла је своју примену и у рачунарству. Инспирисани резултатима добијеним у области примене интерактивних доказивача теорема у делу формалних верифкација, створили смо нову конструктивну алгебарску теорију - теорију семигрупа са апартнес релацијом. Описна дефиниција семигрупе са апартнес релацијом подразумева следеће: појам класичне семигрупе се директно преноси; на структури је дефинисана апартнесс релација коју операција семигрупе мора поштовати на прописан начин. Развили смо конструктивну теорију ко-уређења као главно средство неопходно за развој ове теорије у почетку, а касније и за могуће примене имајући у виду чињеницу да почетне примене алгебарских знања у другим наукама „често попримају облик мреже односа између одређених објеката “. Током овог предавања биће дат преглед (неких) наших објављених резултата о коструктивним семигрупама са апартнес релацијом. Скренућемо пажњу и могуће примене ове теорије у другим (конструктивним) математичким дисциплинама, у рачунарству, друштвеним наукама, економији итд.

Регистрациона форма за учесће на Семинару је доступна на:
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p

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


Нажалост није могуће оставити коментар.

Вести и дешавања


Активности на семинарима

све вести