Czym jest Ramowy system argumentacji (Argumentation Framework)?
Ramowy system argumentacji, w skrócie AF, to formalny model reprezentowania i oceniania argumentów przedstawiony w 1995 r. przez Phan-Minh Dunga z Uniwersytetu Monasha. Konstrukcja ta opisuje zbiór argumentów oraz relację ataku między nimi. Dzięki temu pozwala maszynie analizować, które twierdzenia mogą zostać uznane za uzasadnione, a które należy odrzucić. AF pełni więc rolę szkieletu logicznego, na którym buduje się bardziej złożone mechanizmy wnioskowania opartego na sporze, negocjacji lub analizie dowodów.
Jak dokładnie działa Ramowy system argumentacji (Argumentation Framework)
Podstawową strukturę AF tworzą dwa elementy: zbiór skończonych argumentów oraz binarna relacja ataku. Jeżeli argument A atakuje B, oznacza to, że treść A podważa prawdziwość albo wiarygodność B. Następnie wprowadza się semantyki (np. preferowaną, stabilną, pełną), które wyznaczają dopuszczalne zbiory argumentów zwane rozszerzeniami. Algorytmy wyszukują te rozszerzenia, analizują wzajemne powiązania i wyłaniają argumenty nieodrzucalne. Proces obliczeniowy przypomina filtrowanie sieci zależności, gdzie część węzłów zostaje zablokowana, a część przechodzi do końcowej odpowiedzi.
Krótki przykład
W systemie wspomagania diagnozy lekarskiej jeden argument głosi, że pacjent ma grypę, bo występują gorączka i bóle mięśni. Drugi przekonuje, że to COVID-19, dodając utratę węchu. Argument trzeci podaje wynik negatywnego testu PCR, który atakuje drugi argument. Semantyka stabilna wykluczy twierdzenie o COVID-19 i uzna grypę za bardziej uzasadnione. Takie rozstrzygnięcie staje się podstawą rekomendacji terapeutycznej.
Zastosowania w praktyce
AF znajduje zastosowanie w systemach negocjacyjnych agentów programowych, automatycznym doradztwie prawnym, filtrowaniu fałszywych informacji, wyjaśnialnych modelach decyzji medycznych oraz w tworzeniu chatbotów zdolnych do prowadzenia spójnych, uargumentowanych dyskusji. W porównaniu z klasycznym wnioskowaniem opartym na regułach, AF lepiej radzi sobie z informacjami sprzecznymi i niepełnymi, ponieważ nie wymaga globalnej spójności bazy wiedzy, lecz analizuje lokalne konflikty.
Zalety i ograniczenia
Do głównych zalet należy intuicyjność reprezentacji sporów, modularność i zdolność obsługi sprzeczności. Ograniczenia pojawiają się przy dużej liczbie argumentów: obliczeniowe wyszukiwanie rozszerzeń może być złożone wykładniczo. Dodatkowo formalizm sam w sobie nie wskazuje, jak konstruować argumenty – to zadanie pozostaje po stronie domenowych heurystyk lub języków logicznych.
Na co uważać?
Projektując system oparty na AF, warto zwrócić uwagę na dobór odpowiedniej semantyki, bo różne kryteria mogą prowadzić do odmiennych wyników. Trzeba też dbać o transparentność reguł tworzących relację ataku, inaczej użytkownik straci zaufanie do wniosków. Wreszcie należy monitorować koszty obliczeń w scenariuszach czasu rzeczywistego.
Dodatkowe źródła
Pełny artykuł Dunga z 1995 r. jest dostępny pod adresem ScienceDirect. Przegląd semantyk opisuje publikacja arXiv:1108.5733. Wprowadzenie w języku polskim można znaleźć na Wikipedii.
