A feladat gráfreprezentációja (előre haladó köv.)
Tény :? r ? ? s
Szabályok: p ? qq ? r
Cél : ? p ? ? s
? r ? ? s
? r
? s
1. a gráf csúcsa a tényállítás
2. a tényállításliterálokká bontása
3. cél(ok)illesztése
? s
4. szabályok illesztése...
Nincs illeszkedő szabály… csináljunk...
Előző kocka
Következő kocka
Első kocka
Grafikus változat megtekintése