26.11.2009

Ograniczanie kontekstu modalnego wieloagentowych logik modalnych

Jednym z podejść do opisu systemów wieloagentowych jest architektura BDI, w ramach której informacje posiadane przez poszczególnych agentów reprezentowane są jako przekonania, ich zadania reprezentowane są jako cele, zaś podzbiór zadań przeznaczonych do realizacji w określonym momencie pracy systemu jako intencje. Dodatkowo, na bazie tych pojęć definiowane są pojęcia kolektywnych przekonań i wzajemnych intencji odnoszące się do grup agentów. Pojęcia te pozwalają na zdefiniowanie kolektywnych intencji, charakteryzujących współpracującą grupę agentów. Pojęcia powyższe definiowane są przy pomocy logik wielomodalnych i pozwalają na tworzenie specyfikacji systemów wieloagentowych w tych logikach.

W związku z wysoką złożonością obliczeniową problemu spełnialności dla tych logik badano możliwe ograniczenia ich języka: ograniczanie głębokości modalnej formuł czy modalne formuły Horna. Na seminarium przedstawione zostanie ograniczanie języka powyższych logik polegające na ograniczaniu kontekstu modalnego formuł. Zaprezentowane zostaną wyniki związane z wpływem tego ograniczenia na złożoność problemu spełnialności.