| Studiju veids |
maģistra akadēmiskās studijas |
| Studiju programmas nosaukums |
Datorsistēmas |
| Nosaukums |
Modālās loģikas lietojumu analīze intelektuāliem aģentiem |
| Nosaukums angļu valodā |
Analysis of Applications of Modal Logic for Intelligent Agents |
| Struktūrvienība |
33000 Datorzinātnes, informācijas tehnoloģijas un enerģētikas fakultāte |
| Darba vadītājs |
J.Grundspeņķis, STP kat. profesors |
| Recenzents |
|
| Anotācija |
Šis darbs ir bakalaura darba tēmas Intelektuāla aģenta izstrāde darbam ar loģikas
valodā formalizētām zināšanām turpinājums. Maģistra darba galvenais izpētes mērķis ir
izpētīt modālās loģikas pielietojuma iespējas intelektuālajos aģentos. Tā realizācijai ir aprakstīti
intelektuālie aģenti, pirmās kārtas loģika, modālā loģika un tās praktiskais pielietojums izstrādes
ietvaros, koncentrējoties uz BDI arhitektūru.
Īpaša uzmanība ir pievērsta modālās loģikas semantikas aprakstam, kas iekļauj gan
iespējamo stāvokļu modeļa, gan aksiomu sistēmu aprakstu. Darbā ir aprakstīti arī modālās
loģikas teorēmu pierādīšanas algoritmi, kas ir pirmās kārtas loģikas algoritmu pielāgotas
versijas.
Darba ietvaros ir izstrādāts sistēmas piemērs, lai apskatītu BDI arhitektūras pamata
konceptu reālo pielietojumu un to atbilstību BDI loģikai. Piemērs arī dod iespēju uzskatāmi
demonstrēt sistēmas darbības pamatprincipus. Pēc realizācijas aprakstīti iegūtie rezultāti un
iespējamie turpmāko pētījumu virzieni.
Darba aprakstā ir 85 lappuses, 22 attēli un 6 tabulas. Darbam ir 2 pielikumi. |
| Atslēgas vārdi |
Aģenti, pirmās kārtas loģika, modālā loģika, secināšana, BDI arhitektūra |
| Atslēgas vārdi angļu valodā |
Agents, first-order logic, modal logic, inference, BDI architecture |
| Valoda |
lv |
| Gads |
2010 |
| Darba augšupielādes datums un laiks |
19.04.2011 13:16:41 |
