הועלה לאתר:  
מספר עמודים: 47
הורדת המסמך בגרסה להדפסהלהורדת המסמך בשלמותו

בינה מלאכותית

ספר אלקטרוני מאת: ניר אדר

6.1.5. פרוצדורות בתהליך הרזולוציה

על מנת לממש את תהליך הרזולוציה צריך לפרט 3 פרוצדורות הנחוצות לתהליך:

  1. הפיכת נוסחה כלשהי לקבוצת פסוקיות מצורת CNF.
  2. מציאת הצבה מאחדת (יוניפיקציה).
  3. הגדרת אסטרטגית חיפוש – איזה זוג ייבחר בשלב 3.a.


תגיות המסמך:

לפרק הקודם6.1.4. רזולוציה עם משתנים
לפרק הבאהעברת נוסחאות לצורת CNF
מאת: אוריה

אבל הוא עדיין לא נפתח...

מאת: אוריה

סליחה, זה ב-9

והקובץ יורד בסדר
מאת: ניר

אני עם אקרובט 8.1.1

הקובץ נפתח בלי שום בעייה
מאת: shoshan

אני מציע שתנסה שוב ב-acrobat 8

כי זה עובד לי בסדר גמור ב-Acrobat 9 וב-Foxit...

יכול להיות שהקובץ ירד לך לא טוב או חתוך או קטן מידי ?
מאת: אוריה

ב-5 זה נפתח

מאת: אוריה

לא נפתח

לא נפתח ב Acrobat Reader 8, הוא כותב שהקובץ לא נתמך או שהוא ניזוק.
שיתוף:
| עוד