Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

ΠΛΗ31 ΤΕΣΤ 10

2,093 views

Published on

1) Ερωτήσεις Κατανόησης
2) Αναζήτηση: Μοντελοποίηση Ορθογώνιου Παζλ
3.1) Λογική
3.2) Prolog

Published in: Education
  • Be the first to comment

ΠΛΗ31 ΤΕΣΤ 10

  1. 1. ∆ηµήτρης Ψούνης – ΠΛΗ31, Τεστ 10 www.psounis.gr 1 ΠΛΗ31 – ΤΕΣΤ 10 Θέµα 1: Ερωτήσεις Κατανόησης Ερώτηµα 1: Οι ακόλουθες προτάσεις είναι ισοδύναµες: • «οι p και q δεν είναι και οι δύο αληθείς» • «οι p και q είναι και οι δύο ψευδείς». α. Ναι β. Όχι γ. ∆εν µπορούµε να αποφανθούµε Ερώτηµα 2: Οι ακόλουθες προτάσεις είναι ισοδύναµες: • «Ο Γιάννης είναι κουµπάρος και ο Κώστας είναι κουµπάρος» • «Ο Κώστας και ο Γιάννης είναι κουµπάροι». α. Ναι β. Όχι γ. ∆εν µπορούµε να αποφανθούµε Ερώτηµα 3: Οι ακόλουθες προτάσεις είναι ισοδύναµες: • «oύτε η p ούτε η q είναι αληθείς» • «οι p και q είναι και οι δύο ψευδείς». α. Ναι β. Όχι γ. ∆εν µπορούµε να αποφανθούµε Ερώτηµα 4: Οι προτάσεις p και q είναι λογικά ισοδύναµες. Τότε: α. Οι p και q είναι αληθείς. β. Οι p και q είναι ψευδείς. γ. Τίποτα από τα παραπάνω. Ερώτηµα 5: Κατά το µετασχηµατισµό µίας πρότασης ΚΛ σε ΣΚΜ συναρτήσεις Skolem ενδέχεται να εισάγονται ... α. ...στο βήµα που εξαλείφουµε τους καθολικούς ποσοδείκτες. β. ...στο βήµα που εξαλείφουµε τους υπαρξιακούς ποσοδείκτες. γ. ...στο βήµα που εξαλείφουµε τις συνεπαγωγές και τις ισοδυναµίες. δ. ...στο βήµα που τις αρνήσεις στο επίπεδο των ατοµικών προτάσεων.
  2. 2. ∆ηµήτρης Ψούνης – ΠΛΗ31, Τεστ 10 www.psounis.gr 2 Θέµα 2: Αναζήτηση ∆ίνεται το γνωστό πρόβληµα του τετράγωνου παζλ στο οπόιο έχουµε ένα τετράγωνο πλαίσιο 3x3 = 9 τετραγώνων θέσεων, που τις 8 τις καταλαµβάνουν τετράγωνα πλακίδια αριθµηµένα από το 1 έως το 8, ενώ η 9η θέση είναι κενή. Τα πλακίδια µπορούν να µετακινούνται πάνω, κάτω, δεξιά ή αριστερά, εφόσον αυτό είναι δυνατό. Στο σχήµα φαίνεται µία αρχική κατάσταση και η τελική κατάσταση: (α) Καταστάσεις: Να ορίσετε την αναπαράσταση µιας κατάστασης και µε βάση αυτήν να ορίσετε στη συνέχεια την αρχική και την τελική κατάσταση (β) Τελεστές: Να ορίσετε τους τελεστές µετάβασης. (γ) Συναρτήσεις Κόστους – Ευρετικές: Να οριστεί µια συνάρτηση κόστους g(n) και µια ευρετική συνάρτηση h(n). Εξετάστε αν η ευρετική συνάρτηση είναι παραδεκτή. (δ) Να εφαρµόσετε τον αλγόριθµο Α* µε το ευρετικό που προτείνατε. 1 2 3 7 4 6 8 5 1 2 3 8 4 7 6 5
  3. 3. ∆ηµήτρης Ψούνης – ΠΛΗ31, Τεστ 10 www.psounis.gr 3 Θέµα 3: Γνώση (ΕΡΩΤΗΜΑ 1) ∆ίνονται οι προτάσεις «τα άλογα είναι ζώα», «τα σκυλιά είναι ζώα», «τα ζώα έχουν ουρά», «τα ζώα έχουν πόδια», «τα σκυλιά φοράνε περιλαίµιο», «η Αστραπή είναι άλογο», «ο Κέρβερος είναι σκύλος». Μέσω αναγωγής αντίκρουσης αντίφασης απαντήστε στις ερωτήσεις: a. Ποιο είναι άλογο; b. Ποιος φοράει περιλαίµιο;
  4. 4. ∆ηµήτρης Ψούνης – ΠΛΗ31, Τε (ΕΡΩΤΗΜΑ 2) Ο πίνακας αλήθειας για τις λογικές πύλες κύκλωµα δεξιά είναι αυτό του ηµιαθροιστή I1 I2 AND(I1,I2) OR(I1,I2) NOT(I1) 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 1 Ένας άλλος τρόπος να υπολογίζουµε την έξοδο AND(I1,I2) = Ι1*Ι2, OR(I1,I2) = I1+I2-I1*I2 Συµπληρώστε στο πρόγραµµα Prolog που µέσω των κατηγορηµάτων and_gate1(Ι1, xor_gate1(Ι1,Ι2,Οutput). Επίσης, συµπληρώστε or_gate2(Ι1,Ι2,Οutput), not_gate2(I,Οutput υπολογισµού των εξόδων των πυλών µέσω του ηµιαθροιστή. and_gate1(0,0,0). Α ∆ Ε Η not_gate1(1,0). Θ Ι and_gate2(I1,I2,Output) :- Output is I1*I2. or_gate2(I1,I2,Output) :- Λ not_gate2 Μ Ν half_adder( Ξ ) :- xor_gate1( Ο εστ 10 λογικές πύλες AND, OR, NOT και XOR φαίνεται αριστερά στη ηµιαθροιστή. NOT(I1) XOR(I1,I2) 1 0 1 0 1 0 υπολογίζουµε την έξοδο των λογικών πυλών είναι σαν συναρτήσεις I1*I2, NOT(I) = 1-I, XOR(I1,I2) = NOT(I1)*I2+I1*NOT(I2) που ακολουθεί την αναπαράσταση του προηγούµενου 1,Ι2,Οutput), or_gate1(Ι1,Ι2,Οutput), not_gate1( Επίσης συµπληρώστε τους ορισµούς των κατηγορηµάτων utput) και xor_gate2(Ι1,Ι2,Οutput), µε βάση τον εναλλακτικό πυλών µέσω συναρτήσεων. Τέλος, συµπληρώστε τον ορισµό Β Γ or_gate1(1,0,1). Ζ Κ xor_gate1(1,1,0). Output is I1*I2. ), and_gate1( Π ). www.psounis.gr 4 αριστερά, στη συνέχεια, και το σαν συναρτήσεις, δηλαδή: I, XOR(I1,I2) = NOT(I1)*I2+I1*NOT(I2) προηγούµενου πίνακα αλήθειας, _gate1(I,Οutput) και κατηγορηµάτων and_gate2(Ι1,Ι2,Οutput), βάση τον εναλλακτικό τρόπο συµπληρώστε τον ορισµό για το κύκλωµα

×