Noslēguma darbu reģistrs
  
Studiju darba apraksts
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 12300 Lietišķo datorsistēmu institūts
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