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

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

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

6.1.1. העברת הפסוקים לצורת CNF - הרעיון

בגדול: ביטוי מצורת CNF זהו ביטוי מהצורה:

plot:\[\begin{gathered}   \left( {{L_{11}} \vee {L_{12}} \vee ...{L_{1{n_1}}}} \right) \wedge  \hfill \\   ... \hfill \\   \left( {{L_{m1}} \vee {L_{m2}} \vee ...{L_{m{n_m}}}} \right) \hfill \\ \end{gathered} \]

כאשר plot:${L_{ij}}$הוא פסוק אטומי או שלילת פסוק אטומי.

כל אחת מהשורות הנ"ל נקראת פסוקית (clause).



לנוסחה הנ"ל מתייחסים כקבוצת פסוקיות. לכל פסוקית מתייחסים כקבוצת ליטרלים:

plot:\[\left\{ {\left\{ {{L_{11}},{L_{12}},...,{L_{1{n_1}}}} \right\},...,\left\{ {{L_{m1}},{L_{m2}},...,{L_{m{n_m}}}} \right\}} \right\}\]

קיים אלגוריתם להמרת כל נוסחה לנוסחה מצורת CNF.

תגיות המסמך:

לפרק הקודם6.1. רזולוציה
לפרק הבא6.1.2. כלל הרזולוציה
מאת: אוריה

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

מאת: אוריה

סליחה, זה ב-9

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

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

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

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

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

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

ב-5 זה נפתח

מאת: אוריה

לא נפתח

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