הסקה:
בבינה מלאכותית, אנו זקוקים למחשבים חכמים שיכולים ליצור היגיון חדש מהיגיון ישן או על ידי ראיות, כך שהפקת המסקנות מראיות ועובדות נקראת הסקה .
כללי מסקנות:
כללי היסק הם התבניות ליצירת ארגומנטים תקפים. כללי היסק מיושמים כדי להפיק הוכחות בבינה מלאכותית, וההוכחה היא רצף של המסקנה שמובילה למטרה הרצויה.
בכללי מסקנות, ההשלכה בין כל החיבורים משחקת תפקיד חשוב. להלן כמה מינוחים הקשורים לכללי מסקנות:
מחולל מספרים אקראיים ב-c
מהמונח שלעיל חלק מהמשפטים המורכבים שוות ערך זה לזה, דבר שאנו יכולים להוכיח באמצעות טבלת אמת:
מכאן מטבלת האמת שלמעלה, אנו יכולים להוכיח ש- P → Q שווה ערך ל- ¬ Q → ¬ P, ו- Q → P שווה ערך ל- ¬ P → ¬ Q.
סוגי חוקי הסקת מסקנות:
1. הגדרת מצב:
כלל Modus Ponens הוא אחד מכללי ההסקה החשובים ביותר, והוא קובע שאם P ו-P → Q נכונים, אז נוכל להסיק ש-Q יהיה נכון. זה יכול להיות מיוצג כ:
דוגמא:
הצהרה-1: 'אם אני ישנוני אז אני הולך לישון' ==> P→ ש
הצהרה-2: 'אני ישנונית' ==> P
מסקנה: 'אני הולך לישון'. ==> ש.
לפיכך, אנו יכולים לומר שאם P → Q נכון ו-P נכון אז Q יהיה נכון.
טבלת הוכחה לפי אמת:
2. שיטת הסרה:
הכלל של Modus Tollens קובע שאם P→ Q נכון ו ¬ Q נכון, ואז ¬ P יהיה גם נכון. זה יכול להיות מיוצג כ:
הצהרה-1: 'אם אני ישנוני אז אני הולך לישון' ==> P→ ש
הצהרה-2: 'אני לא הולך למיטה.'==> ~ש
הצהרה-3: מה שמסיק ש' אני לא עייף ' => ~P
טבלת הוכחה לפי אמת:
3. סילוגיזם היפותטי:
כלל הסילוגיזם ההיפותטי קובע שאם P→R נכון בכל פעם ש-P→Q נכון, ו-Q→R נכון. זה יכול להיות מיוצג בתור הסימון הבא:
דוגמא:
הצהרה-1: אם יש לך את מפתח הבית שלי אז אתה יכול לפתוח את הבית שלי. P → ש
הצהרה-2: אם אתה יכול לפתוח את הבית שלי אז אתה יכול לקחת את הכסף שלי. Q→R
סיכום: אם יש לך את מפתח הבית שלי אז אתה יכול לקחת את הכסף שלי. P→R
טבלת הוכחה לפי אמת:
4. סילוגיזם דיסjunktive:
כלל הסילוגיזם הדיסjunktive קובע שאם P∨Q נכון, ו¬P הוא נכון, אז Q יהיה נכון. זה יכול להיות מיוצג כ:
דוגמא:
מחרוזת פיצול ג'אווה
הצהרה-1: היום יום ראשון או שני. ==>P∨Q
הצהרה-2: היום זה לא יום ראשון. ==> ¬P
סיכום: היום יום שני. ==> ש
הוכחה לפי טבלת אמת:
5. תוספת:
כלל ההוספה הוא אחד מכללי ההסקה הנפוץ, והוא קובע שאם P נכון, אז P∨Q יהיה נכון.
דוגמא:
הַצהָרָה: יש לי גלידת וניל. ==> פ
הצהרה-2: יש לי גלידת שוקולד.
סיכום: יש לי גלידת וניל או שוקולד. ==> (P∨Q)
הוכחה על ידי Truth-Table:
6. פישוט:
כלל הפשט קובע כי אם P∧ ש נכון, אם כן Q או P יהיה גם נכון. זה יכול להיות מיוצג כ:
הוכחה על ידי Truth-Table:
7. החלטה:
כלל הרזולוציה קובע שאם P∨Q ו- ¬ P∧R נכונים, אז גם Q∨R יהיו נכונים. זה יכול להיות מיוצג בתור
הוכחה על ידי Truth-Table:
