| Kods | DE0380 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Nosaukums | Intelektuālu robotu loģiskie pamati | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Statuss | Obligātais/Ierobežotās izvēles | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Līmenis un tips | Pamatstudiju, Akadēmiskais | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Tematiskā joma | Datorika | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Struktūrvienība | Datorzinātnes, informācijas tehnoloģijas un enerģētikas fakultāte | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Mācībspēks | Agris Ņikitenko, Maija Strautmane | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Kredītpunkti | 3.0 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Daļas | 1 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Anotācija |
Mākslīgā intelekta virziens, kas pēta intelektuālu sistēmu izstrādi, kuras spēj domāt racionāli, pamatojas uz pirmās kārtas loģiku. Pirmās kārtas loģika ir pamatā ļoti daudzveidīgām intelektuālām sistēmām. Studiju kursa ietvaros tiek apskatīti pirmās kārtas loģikā sakņoti intelektuāli roboti un robotizētas intelektuālas sistēmas, to zināšanu bāzes projektēšana, secināšanas likumu un izveduma mehānismu, tādu kā tiešā un inversā secināšana un rezolūcija lietošana, aģentu projektēšana un plānošanas aģenti, kā arī dots ieskats augstākas kārtas loģikās, situāciju rēķinos un loģikās, kuras lieto daudzaģentu sistēmu izstrādē, pie kurām pieder autonomas sistēmas, kas sastāv no vairākiem robotiem.. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Studiju kursa saturs |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Mērķis un uzdevumi, izteikti kompetencēs un prasmēs |
Studiju kursa apguves mērķis ir sniegt studentiem zināšanas par pirmās un augstākas kārtas loģikās sakņotiem intelektuāliem robotiem un robotizētām sistēmām un attīstīt prasmi izstrādāt šādu sistēmu tādas komponentes, kā zināšanu bāzi un secināšanas mehānismu. Studiju kursa uzdevumi ir sniegt zināšanas un iemaņas: - pirmās un augstāku kārtu loģiku pielietojumiem; - zināšanu atsopguļošanai, izmanotojot pirmās un augstāku kārtu loģikas; - pirmās un augstāku kārtu loģiku spriedumu izmantošanā; - situāciju rēķinu izmantošanā; - loģiku izmantošanai robotizētās sistēmās. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Sasniedzamie studiju rezultāti un to vērtēšana |
Zina pirmās kārtas loģikā sakņotu intelektuālu robotizētu sistēmu uzbūvi. - Praktiskie darbi, eksāmena teorētiskās daļas jautājumi. Prot izstrādāt intelektuāla robota zināšanu bāzi pirmās kārtas loģikas valodā. - Praktiskie darbi, eksāmena teorētiskās daļas jautājumi, studiju darba aizstāvēšana. Zina secināšanas likumus un prot pielietot izveduma mehānismus pirmās kārtas loģikā intelektuālu robotu realizācijai. - Praktiskie darbi, eksāmena teorētiskās daļas jautājumi, studiju darba aizstāvēšana. Prot projektēt aģentus, kuri realizē intelektuālu robotu funkcionalitāti, lietojot pirmās kārtas loģiku. - Praktiskie darbi, eksāmena teorētiskās daļas jautājumi, studiju darba aizstāvēšana. Prot pielietot pirmās kārtas loģiku plānošanā, lai izstrādātu intelektuālus robotus. - Praktiskie darbi, eksāmena teorētiskās daļas jautājumi, studiju darba aizstāvēšana. Zina augstākas kārtas loģiku un loģiku daudzaģentu robotizētām sistēmām pamatus. - Praktiskie darbi, eksāmena teorētiskās daļas jautājumi. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Studiju rezultātu vērtēšanas kritēriji |
Praktiskais darbs - 50%
Studiju darba aizstāvēšana - 25% Eksāmens - 25% |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Priekšzināšanas | Studentiem ir jāzina izteikumu un predikātu loģikas sintakse un semantika. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Studiju kursa plānojums |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||