Τεχνητή Νοημοσύνη — 2021 (online κουίζ, μερικό)¶
ZuEMRR6.png¶
Ερώτηση 10 / 20 (Πολλαπλής Επιλογής (Μοναδική Απάντηση) — 6 βαθμοί)
Εφαρμογή Αλγορίθμου AC-3 (X,Y,Z,W) Έστω οι μεταβλητές X, Y, Z και W, με πεδία \(D_X = D_Y = D_Z = D_W = \{1,2,3,4\}\) και περιορισμούς \(X > Y\), \(Z < X\), και \(W \le Y\). Ποια θα είναι τα πεδία των μεταβλητών μετά την εφαρμογή του αλγορίθμου AC-3;
- [ ] \(D_X = \{2,3,4\}, D_Y = \{1,2,3\}, D_Z = \{1,2,3\}, D_W = \{1,2\}\)
- [ ] \(D_X = \{2,3,4\}, D_Y = \{1,2,3\}, D_Z = \{1,2,3\}, D_W = \{1,2,3\}\)
- [ ] \(D_X = \{2,3\}, D_Y = \{1,2\}, D_Z = \{1,2\}, D_W = \{1,2\}\)
- [ ] \(D_X = \{3,4\}, D_Y = \{1,2\}, D_Z = \{1,2,3\}, D_W = \{1\}\)
Λύσεις (⚪ AI, μη επαληθευμένο)
Κατάσταση: ⚪ AI, μη επαληθευμένο Πηγή: λύσεις AI (sonnet), ανεξάρτητη επανάληψη και αντιπαραβολή· καμία δεν έχει ελεγχθεί από άνθρωπο
Προσοχή
Λύση από AI — ελέγξτε την· δεν έχει επαληθευτεί από άνθρωπο. Η ένδειξη «δύο λύσεις συμφωνούν» δεν σημαίνει ότι η απάντηση είναι σωστή.
AI λύσεις — 2021¶
Οι λύσεις γράφτηκαν από μοντέλα AI και δεν έχουν ελεγχθεί από άνθρωπο. Η αρίθμηση ακολουθεί το αρχείο θεμάτων.
Θέμα 10 (AC-3)¶
Αξιοπιστία: μία λύση AI, δεν έχει αντιπαραβληθεί με δεύτερη · εμπιστοσύνη λύτη: υψηλή
Αρχικά όλα τα πεδία \(\{1,2,3,4\}\). Τα τόξα (και στις δύο κατευθύνσεις): \(X>Y\), \(Z<X\), \(W\le Y\).
- \(X>Y\): το \(X\) χρειάζεται \(y<x\) ⇒ \(X \ne 1\) ⇒ \(D_X=\{2,3,4\}\). Το \(Y\) χρειάζεται \(x>y\) ⇒ \(Y\ne 4\) ⇒ \(D_Y=\{1,2,3\}\).
- \(Z<X\): το \(Z\) χρειάζεται \(x>z\) με \(x\le 4\) ⇒ \(Z\ne 4\) ⇒ \(D_Z=\{1,2,3\}\). Το \(X\) έχει ήδη \(x\ge2\), ισχύει.
- \(W\le Y\): το \(W\) χρειάζεται \(y\ge w\) με \(y\le 3\) (νέο πεδίο του \(Y\)) ⇒ \(W\ne 4\) ⇒ \(D_W=\{1,2,3\}\). Το \(Y\) χρειάζεται \(w\le y\): ισχύει για κάθε \(y\ge1\).
- Επανέλεγχος των γειτόνων μετά από κάθε αλλαγή: δεν υπάρχει άλλη διαγραφή (το \(X=2\) έχει \(Y=1\), \(Z=1\)· το \(Y=3\) έχει \(X=4\) και \(W\le3\)).
Τελικά πεδία: \(D_X=\{2,3,4\},\ D_Y=\{1,2,3\},\ D_Z=\{1,2,3\},\ D_W=\{1,2,3\}\) — 2η επιλογή (επαλήθευση με Python).