Ασκηση τεχνητης νοημοσυνης προτασιακή λογική

[kklhs]

το ξερω ότι δεν είναι και το καλυτερο να ζηταω βοηθεια για ασκηση, αλλα είναι ανάγκη !

ξερω τι σημαινει entailed ( α ⊨ β  α αληθής ⇒ β αληθής ) και το unit resolurtion ((α ⋁ β) ⋀ ¬β |= α) στην προκυμμένη περίπτωση φαντάζομαι καπώς 

((¬β ⋁ α) ⋀ ¬α |= ¬β)

αλλα δεν ξερω πως να τα συνδυάσω για να λυσω την ασκηση (cnf)!

Παρακαλω οποιος ξερει να βοηθησει (η να στείλει μηνυμα)

 

Επεξ/σία 16 Σεπτεμβρίου 2019 από kklhs

[Theo1903]

CNF σημαίνει κανονική συζευκτική μορφή στα ελληνικά .Κοινώς ,όλες οι προτάσεις σου συνδέονται μεταξύ τους με και (^) .Απο εκεί και πέρα υπάρχει το θεωρημα της ανάλυσης που είναι ο συνήθης τρόπος απόδειξης ,όπου χοντρικά το (Α v Β)^(~Α v Γ) αναλύεται σε Β v Γ .Νομίζω μόνο με αυτά βγαίνει αυτό που θες

 

edit : τώρα παρατήρησα οτι ήδη είχες αναφέρει τον τύπο της ανάλυσης .Αν δεν μπορείς να συνδυάσεις τα 2 για να βγάλεις την λύση ,πρέπει να το πιάσεις απο την αρχή το θέμα .

Επεξ/σία 19 Σεπτεμβρίου 2019 από Theo1903