| 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 |
12300 Institute of Applied Computer Systems |
| 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 |
