Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 1 [21] Vandaag. 3. Aggregeren van support op regelniveau (accrual)

Transcriptie

1 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 1 [21] Vandaag 1. Recapitulatie DOS en DOB 2. Verschil tussen locaal (regel-gebaseerd) en globaal (argument-gebaseerd) redeneren. 3. Aggregeren van support op regelniveau (accrual) 4. Vertaling van zoekalgoritme naar dialoogvorm.

2 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 2 [21] Taxonomie van regels en proposities Propositie Atomaire bewering, bv. p. 1. Bezit soms een DOB, verkregen door observatie of input van buiten het systeem. (Als DOB ontbreekt, dan DOB = 0 bij verstek.) 2. Bezit altijd een DOS, verkregen door een combinatie van DOB en inferentie. Altijd: DOS DOB. Regel Bijzonder soort propositie. Verbindt proposities door inferentie, bv. a, b, c (s) p. Bezit, naast DOB en DOS, 1. Een regel- of implicatiesterkte, hier s: sterkte van verbinding tussen antecedent en consequent. 2. Een r-dos: de support die door deze regel stroomt.

3 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 3 [21] Ondersteuning die een regel aan consequent geeft Laat r = p 1,...,p n (s) q Laat alle voorwaarden bekend zijn voor de toepassing van r: - DOS(p 1 ),..., DOS(p n ) - DOS(r) - De implicatiesterkte s Dan wordt r s support voor q gegeven door DOS(r; q) = Def s min{dos(p 1 ),...,DOS(p n ), DOS(r)}

4 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 4 [21] Voorbeeld van berekening van support-per-regel Propositie DOB r waarbij r 1 = b, c (0.89) a r waarbij r 2 = d (0.94) c a 0.00 b 0.97 c 0.00 d 0.98

5 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 5 [21] Voorbeeld van berekening DOS(r 1 ;a) Volgens eerdere definitie: DOS(r 1 ; a) = s min{dos(r 1 ), DOS(b), DOS(c)}. Er geldt: DOS(r 1 ) = DOB(r 1 ) = 1.00 DOS(b) = DOB(b) = 0.97 Dus DOS(r 1 ; a) = 0.89 min{1.00, 0.97, DOS(c)}.

6 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 6 [21] DOS(r 2 ; c) = 0.94 min{dos(r 2 ), DOS(d)} Er zijn geen regels die verder r 2 of d ondersteunen, zodat DOS(d) = DOB(d) = 0.98, and DOS(r 2 ) = DOB(r 2 ) = Dus DOS(r 2 ; c) = 0.94 min{dos(r 2 ), DOS(d)} = 0.94 min{1.00, 0.98} = 0.92 Tenslotte kan support van r 1 voor a berekend worden: DOS(r 1 ; a) = 0.89 min{1.00, 0.97, 0.92} = 0.82

7 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 7 [21] Regels zijn (ook) proposities bezitten ook DOB en DOS a, b (0.97) (c, d, e, f (0.89) g), i.e., c d e 0.89 g f 0.97 a, b Regel r 1 = a, b (0.97) r 2, waarbij regel r 2 = c, d, e, f (0.89) g. De antecedent van r 1 is a, b en de consequent van r 1 is r 2. Het is mogelijk om bv. te zeggen: DOB(r 1 ) = 0.45.

8 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 8 [21] DOS = 1 DOS < 1 strength = 1 strength < 1 Zekere deductieve regels. A-priori inferenties: cirkel rond ; vrijgezel niet-getrouwd. Inductief a-posteriori: In nieuwsbladen staan advertenties. Zekere regels met weerlegbare consequent. Regels a-priori met een plausibele conclusie: het rollen van een dobbelsteen resulteert gewoonlijk niet in een zes ; inductief a-posteriori met massieve bevestiging: meeste vogels vliegen. Plausibele deductieve regels. Deductieve regels a-posteriori waarvoor (nog?) geen tegenvoorbeelden zijn gevonden: alle Denen (die ik ontmoet heb) zijn aardig. Plausibele regels met weerlegbare consequent. Weerlegbare regels a-posteriori: de meeste Spaniels die ik ontmoet heb waren aardig, op een paar na.

9 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 9 [21] Verschil tussen regels en redenen Regel Een inferentieschema r = p 1,...,p n (s) q waar de volgende parameters bekend van zijn 1. Regelsterkte s Reden Een geïnstantieerde regel. Naast (1) zijn ook de volgende parameters bekend: 2. DOS(r) 3. DOS(p 1 ),..., DOS(p n ) 4. Met 1e-orde regels: alle variabele-instanties. a Observatie: een sterke regel kan resulteren in een zwakke reden. a Gedaan in argumentation engine ontwikkeld i.h.k. van Europees ASPIC project. (Zoek op internet met argumentation service platform with integrated components ).

10 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 10 [21] Vorig college: argument-gebaseerd redeneren Argument-gebaseerd redeneren Eerst argumenten vormen, dan argumenten tegen elkaar uitspelen. Regel-gebaseerd redeneren Support van regels met strijdige conclusies combineren. Deze berekening is vindt locaal plaats: Voorbeeld: twee regels voor p en twee regels tegen p (voor p): DOS(r 4, p)= 0.9 DOS(r 1, p)= 0.8 DOS(r 7, p)= 0.5 DOS(r 3, p)= 0.2 Het probleem is nu om het support van deze vier regels te combineren met DOB(p) en evt. DOB( p).

11 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 11 [21] Accrual of evidence (Ned.: ophoping van bewijs) Propositie DOS waarbij h (0.83) j 1.00 h = hittegolf r (0.87) j 1.00 r = het regent h, r (0.91) j 1.00 j = joggen is plezierig h 1.00 r 1.00 Wat kun je zeggen over j als h en r.? Twee strijdige visies: 1. Meest specifieke regel wint: h, r (0.91) j. 2. Bewijs uit de eerste twee regels kan gecombineerd worden: h (0.83) j en r (0.87) j levert support ( )/( ) = 0.99.

12 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 12 [21] Ondersteuning door onafhankelijke regels Laat R = {r 1,...,r m } een verzameling onafhankelijke regels voor q zijn. a De ondersteuning van R voor q, notatie DOS(R; q), wordt gegeven door DOS(R; q) = Def DOS(r 1 ; q) DOS(r m ; q) waarbij gedefinieerd is als x y = Def (x + y)/(1 + xy). De hyperbolische som gedraagt zich als gewone optelling, met het verschil dat de sum altijd in [ 1, 1] blijft. a Welke regels (on-)afhankelijk zijn valt in beginsel niet uit de regels zelf af te leiden en wordt apart gespecificeerd in de kennisbank.

13 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 13 [21] Ondersteuning door verzameling afhankelijke regels Laat R een verzameling regels zijn voor q, en laat π = {R 1,...,R m } een partitie zijn van R in onafhankelijke regel-verzamelingen. De ondersteuning van π voor q, notatie DOS(π; q), wordt gegeven door DOS(π; q) = Def max{dos(r 1 ; q),..., DOS(R m ; q)} waarbij DOS(R i ; q) gedefinieerd is als boven. Tekening: Als r i R i en r j R j, i j dan zijn r i en r j afhankelijk. R 1 R 2 R 4 R 3

14 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 14 [21] Afhankelijkheidsgraaf: regels met identieke consequent a b h d e i f c j g n k p m q l Knoop (punt): regel voor α; kant (lijn): twee regels zijn afhankelijk. Omcirkelde knopen: een maximaal onafhankelijke verzameling regels voor α.

15 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 15 [21] (Eénzijdige) ondersteuning voor propositie (gross support) Laar R bestaan uit alle regels voor q. Dan GROSS(q) = Def max{ DOS(π; q) π is een onafhankelijke partitie van R } Algoritme om GROSS(q) te berekenen: 1. Bereken DOS(R, q) voor iedere maximaal onafhankelijke verzameling R R. 2. Neem de zwaarste verzameling uit (1). Komt neer op het oplossen van het maximum weighted independent set problem (MWIS). De algemene versie van dit probleem is NP-volledig.

16 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 16 [21] Tweezijdige ondersteuning voor propositie (nett support) Laat GROSS(p) als boven gedefinieerd zijn. Dan GROSS(p) als GROSS(p) GROSS( p) NETT(p) = 0 anders GROSS( p) als GROSS(p) < GROSS( p) NETT( p) = 0 anders. Merk op: 1. Nooit positieve support voor zowel propositie als negatie van propositie. 2. Alles-of-niets benadering weerspiegelt karakter van argumentatie.

17 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 17 [21] Berekening van DOS(f) [= NETT(f)] Prop. DOB Prop. DOB a 0.91 f 0.00 b 0.63 r waarbij r 1 = a, b (0.89) f c 0.74 r waarbij r 2 = b, c (0.94) f d 0.86 r waarbij r 3 = d (0.88) f e 0.98 r waarbij r 4 = e (0.73) f Te berekenen DOS(f) en DOS( f). Stap 1: GROSS(f) en GROSS( f) berekenen. Propositie f wordt ondersteund door regels r 1 en r 2 ; deze delen variabelen onafhankelijkheid kan niet worden aangenomen.

18 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 18 [21] Berekening van DOS(f) [= NETT(f)] (vervolg) Regels r 1 en r 2 zijn afhankelijk: GROSS(f) = max{dos(r 1 ; f), DOS(r 2 ; f)} = max{min{0.91, 0.63} 0.89, min{0.63, 0.74} 0.94} = Regels r 3 en r 4 delen geen variabelen we nemen onafhankelijkheid aan: GROSS( f) = DOS(r 1 ; f) DOS(r 2 ; f) = ( ) ( ) = Stap 2: eenzijdig support combineren: DOS(f) = NETT(f) = 0.00 en DOS( f) = NETT( f) = 0.96.

19 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 19 [21] Zoekalgoritme omzetten in dialoogvorm Idee: 1. Dialoog = trace zoekalgoritme. 2. Twee partijen: PRO en CON. - Prefix print statements met PRO als zoekacties positief verbonden zijn met hoofdthese. - Prefix print statements met CON, anders. 3. Wat je ziet: PRO probeert de hoofdthese met een onweerlegbare reden a te verdedigen, CON tracht elke reden die PRO in de verdediging gebruikt te weerleggen (met andere redenen). Vreeswijk, G.A.W. (2001). Eight dialectic benchmarks discussed by two artificial localist disputors. Synthese, vol. 127, nr. 1-2, pp a Een reden is een instantiatie van een inferentieregel.

20 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 20 [21] PRO probeert A te verdedigen: Dialoog op basis van lege database 1 0,0 pro: I claim that A holds. 2 1,0 con: Why? - Eerste kolom: regelnummer. 3 0,0 pro: Um... upon closer inspection 4 0,0 pro: I see I have no grounds for A. - Tweede kolom: diepte in zoekboom (= hoe vaak bewijslast is omgedraaid; vgl. aantal plies in schaak-zoekboom). - Derde kolom: diepte van de rechtvaardiging (vgl. lengte van compleet argument). - Uitspraken rechts: print-statements gesubjectiveerd naar PRO of CON.

21 Gerard Vreeswijk Automatisch redeneren College 13 [16], Slide 21 [21] Dialoog op basis van één gegeven, t.w. DOB(A) = ,0 pro: I claim that A holds. 2 1,0 con: Why? 3 0,0 pro: Simply because A is the case with DOS = ,0 con: Frankly, I am willing to contest A: 5 1,0 con: I claim that A holds. 6 2,0 pro: Why? 7 1,0 con: Um... upon closer inspection 8 1,0 con: I see I have no grounds for A. 9 0,0 pro: That leaves me with A, obviously.