Skip to main content
Article thumbnail
Location of Repository

Modālās loģikas izmantošana daudzaģentu sistēmās

By Arvīds Grabovskis

Abstract

Šajā rakstā tiek apskatītas modālās loģikas pielietošanas iespējas daudzaģentu sistēmās. Pirmās kārtas loģika, kas tradicionāli tiek lietota intelektuālās sistēmās, neļauj atspoguļot un apstrādāt nepilnīgas zināšanas. Modālā loģika ļauj risināt šo problēmu, pievienojot modālos operatorus, kuriem nav patiesuma vērtības. Tas ļauj formalizēt zināšanas un pārliecību par reālās pasaules faktiem. Šī aspekta dēļ modālā loģika ir daudzsološa izmantošanai daudzaģentu tehnoloģijās, kur aģentiem nepieciešams spriest ne tikai par citu aģentu darbībām, bet arī par to rīcībā esošajām zināšanām, iespējamām darbībām, kā arī pārliecību, ka pārējie aģenti veiks mērķa sasniegšanai nepieciešamās darbības. Pēdējos gados vērojama strauja modālās loģikas lietojumu attīstība daudzaģentu sistēmās. No dažādiem modālās loģikas paveidiem normālā modālā loģika ar Kripkes semantiku spriešanā par aģentiem ir kļuvusi par visplašāk izmantoto. Raksts dod ieskatu pašreizējā stāvoklī pētījumos par modālās loģikas izmantošanu daudzaģentu sistēmās

Topics: Modālā loģika, intelektuālie aģenti, daudzaģentu sistēmas
Publisher: RTU Izdevniecība
OAI identifier: oai:ortus.rtu.lv:5371
Sorry, our data provider has not provided any external links therefore we are unable to provide a link to the full text.

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.