Graduate papers
  
Description of the graduate paper
Form of studies Master
Title of the study programm Computer Systems
Title in original language Modālās loģikas lietojumu analīze intelektuāliem aģentiem
Title in English Analysis of Applications of Modal Logic for Intelligent Agents
Department Faculty Of Computer Science Information Tehnology And Energy
Scientific advisor J.Grundspeņķis, STP kat. profesors
Reviewer
Abstract Š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.
Keywords Aģenti, pirmās kārtas loģika, modālā loģika, secināšana, BDI arhitektūra
Keywords in English Agents, first-order logic, modal logic, inference, BDI architecture
Language lv
Year 2010
Date and time of uploading 19.04.2011 13:16:41