Argumentationens logik

Argumentationens logik ( LA) är en formaliserad beskrivning av de sätt på vilka människor resonerar och argumenterar om påståenden . Det används till exempel i datorsystem för artificiell intelligens inom områdena medicinsk diagnos och prognos och forskningskemi .

Termens ursprung

Krause et al. tycks ha varit de första författarna att använda termen "argumentationslogik" i en artikel om sin modell för att använda argumentation för kvalitativa resonemang under osäkerhet, även om tillvägagångssättet hade använts tidigare i prototypdatorapplikationer för att stödja medicinsk diagnos. Deras idéer har utvecklats vidare och används i applikationer för att förutsäga kemisk toxicitet och främlingsfientlig metabolism , till exempel.

Genomföranden

I LA är argument för och argument emot en proposition distinkta; ett argument för en proposition bidrar ingenting till målet mot det, och vice versa. Det innebär bland annat att LA kan stödja motsägelse – bevis på att ett argument är sant och att det är falskt. Argument till stöd för och argument som stöder målet sammanställs separat, vilket leder till en enda bedömning av förtroendet i målet för och en enda bedömning av förtroendet i målet. Sedan bestäms de två för att ge ett enda mått av förtroende för förslaget.

I de flesta implementeringar av LA är det aggregerade standardvärdet lika med det starkaste värdet i uppsättningen av argument för eller emot förslaget. Att ha mer än ett argument överens ökar inte automatiskt förtroendet eftersom det inte kan antas att argumenten är oberoende när man resonerar under osäkerhet . Om det finns bevis för att argument är oberoende och det finns skäl för ökat förtroende när de är överens, uttrycks det ibland i ytterligare regler av formen "Om A och B då ...".

Processen för aggregering och upplösning kan representeras enligt följande:

T = Lös [Max{För(Ca,x, Cb,y, ...)}, Max{Mot(Ca,x, Cb,y, ...)}]

där T är den övergripande bedömningen av förtroendet för en proposition; Resolve[] är en funktion som returnerar det enda konfidensvärdet som är upplösningen av valfritt värdepar; För och emot är uppsättningarna av argument som stödjer respektive motsätter sig förslaget; Ca,x, Cb,y, ..., är konfidensvärdena för dessa argument; Max{...} är en funktion som returnerar den starkaste medlemmen av den mängd som den verkar på (för eller emot).

Argument kan ge förtroende till påståenden som i sig påverkar förtroendet för andra argument, och en regel kan underskridas av en annan. En datorimplementering kan känna igen dessa inbördes samband för att konstruera resonemangsträd automatiskt.

Se även