5.06.2008

Perswazja, Perseusz i Marketing. Formalne modelowanie i implementacja procesu przekonywania.

Wystąpienie będzie poświęcone badaniom zespołu PERSEUS http://perseus.ovh.org w ramach projektu "PERsuasiveness: Studies on the Effective Use of argumentS". Tematem przewodnim będzie prezentacja modelu procesu przekonywania w ramach formalizmu systemów wieloagentowych. Zaproponowana logika jest wykorzystywana do badania własności systemów, w których interakcje między agentami obejmują między innymi procesy argumentacyjne.
Aspekty procesu przekonywania, na które kładziemy szczególny nacisk, to jego dynamika ujmowana z punktu widzenia interakcji między agentami oraz siła perswazji, z jaką dany agent oddziałuje na przekonania innych agentów. Dzięki uwzględnieniu tych aspektów możliwe staje się śledzenie zmian, jakie zachodzą w stanach przekonaniowych agentów na każdym pośrednim etapie procesu perswazji. Pokażemy w jaki sposób odzwierciedlić w modelu wpływ subiektywnych ocen uczestników przekonywania na jego skuteczność. To znaczy, zaproponujemy formalny model, w którym wynik perswazji zależy nie tylko od użytych argumentów, ale również od tego, kto te argumenty przedstawia (proponent) oraz do kogo są one adresowane (audytorium). Do modelowania systemów, w których wspólne przekonania i działania generowane są w warunkach konfliktu opinii poszczególnych stron sporu, konieczne jest rozszerzenie modalnej logiki epistemicznej (standardowo wykorzystywanej do wnioskowania o wiedzy) o elementy zaczerpnięte z teorii perswazji. Dokładniej mówiąc, potrzebne jest stworzenie takiej logiki, która wprowadzałaby wyrażenia pozwalające bezpośrednio opisywać najważniejsze cechy procesu przekonywania, a nie tylko statyczne własności wyrażające to, co agent wie lub w co wierzy. Dlatego naszym celem jest stworzenie formalizmu rozszerzającego istniejące logiki modalne o brakujące elementy. Przedstawimy pełny system logiczny, który pozwala na formalny opis procesu perswazji przeprowadzanego w systemach wieloagentowych. Zaproponowana logika opiera się na elementach logiki doksastycznej - do modelowania przekonań, logiki ze stopniowalnymi modalnościami - do wyrażania stopni przekonań, oraz logiki algorytmicznej - do opisu zarówno samych argumentów jak i ich wpływu na zmianę przekonań agentów. Pozwala ona na specyfikację jak i weryfikację systemów, w których agenci wpływają wzajemnie na swoje postawy za pomocą procesu przekonywania.
Bardzo istotnym aspektem współczesnej nauki, a dokładniej, szeroko pojętych prac badawczych, jest możliwość praktycznego zastosowania otrzymanych rezultatów wraz z kluczowym pojęciem skalowalności rozwiązania. Bazując na tych kryteriach oraz na przedstawionym pełnym systemie logicznym, zaprezentujemy autorskie narzędzie o nazwie PERSEUSZ. Umożliwia ono automatyczną weryfikację i badanie własności systemów wieloagentowych. Istotą działania tego systemu informatycznego jest analiza zarówno globalnych jak i lokalnych cech zadanego modelu, ze szczególnym zwróceniem uwagi na proces perswazji, względem charakterystyk wyrażalnych za pomocą rozważanego formalizmu logicznego. Dzięki temu oraz rozbudowanej interakcji użytkownika z aplikacją PERSEUSZ, narzędzie to spełnia podstawowe własności systemu wspierania procesu podejmowania decyzji. Główną częścią wystąpienia będzie prezentacja możliwości systemu wraz z uzasadnieniem ich praktycznego zastosowania. Szczególnie interesować będą nas zastosowania w zakresie marketingu, w tym również w elektronicznym handlu i biznesie. Pokrótce przedstawimy aspekty modelowania własności systemów wieloagentowych, z punktu widzenia badania procesu perswazji, z użyciem grafów i algorytmów grafowych. Całość wystąpienia zakończy omówienie implementacji metod badania cech zadanego modelu. Implementacja ta jest oparta na rekurencyjnej analizie wyrażeń ustalonej gramatyki bezkontekstowej oraz wykorzystuje konstrukcje produktu skończonych automatów niedeterministycznych.