Навигација

ДС2АР - Аутоматско резоновање

Спецификација предмета
НазивАутоматско резоновање
АкронимДС2АР
Студијски програмЕлектротехника и рачунарство
Модул
Тип студијадокторске академске студије
Наставник (предавач)
Наставник/сарадник (вежбе)
    Наставник/сарадник (ДОН)
      Број ЕСПБ9.0Статус предметаизборни
      Условљност другим предметиманема
      Циљеви изучавања предметаУпознавање студената са основним методама и техникама аутоматског резоновања и применама у математици, рачунарству и електротехници
      Исходи учења (стечена знања)Студенат је способан да препозна и реши неке проблеме из електротехнике и рачунарства применом идеја и техника аутоматског резоновања.
      Садржај предмета
      Садржај теоријске наставеПредстављање знања. Класичне и некласичне логике. Дедуктивни системи . Технике и стратегије аутоматског резоновања. Резоновање базирано на моделима, под задатим условима, временски одређено резозовање, хеуристичко резоновање. Логичко програмирање. Разумевање и превођење језика. Софтверски агенти. Верификација и контрола софтвера.
      Садржај практичне наставеОдговарајући задаци из наведених области теоријске наставе.
      Литература
      1. S. Kleene: "Introduction to Metamathematics", North-Holland, 1952.
      2. L. Wallen: " Automated Proof -Search in Non-classical Logic", MIT Press, 1990.
      3. L. Wos at all: " Automated Reasoning: Intoroduction and Applications" McGraw-Hill, 1992.
      4. L. Wos: " Journal of Automated Reasoning, Special Issue: Advances in Logic Through Automated Reasoning" , L. Wos, ed., Vol. 27, No. 2, 2001.
      5. G. Luger, W. A. Stubblefield: " Artificial Intelligence: Structures and Strategies for Complex Problem Solving", The Benjamin/Cummings PublishingCompany, Inc. 1993.
      Број часова активне наставе недељно током семестра/триместра/године
      ПредавањаВежбеДОНСтудијски и истраживачки радОстали часови
      6
      Методе извођења наставепредавања , аудиторне вежбе, дискусије.
      Оцена знања (максимални број поена 100)
      Предиспитне обавезеПоенаЗавршни испитПоена
      Активности у току предавања0Писмени испит30
      Практична настава0Усмени испит0
      Пројекти0
      Колоквијуми
      Семинари70