בתשובה לקהלת, 12/05/06 13:01
מוטיבציה 384819
ייתכן שפספסתי משהו, אבל ממתי מובטח (או אפילו סביר) שמחשב שעובר את מבחן טיורינג מסוגל לתכנת?
מוטיבציה 384828
אפשר ללמד כל אדם סביר לתכנת (ברמה זו או אחרת), מכאן שאם לא ניתן ללמד זאת מחשב (לאותה רמה של האדם הממוצע) אזי זה הוא מבחן טורינג שבו המחשב נכשל.
מוטיבציה 384835
אתה קצת מותח את ההגדרה של "מבחן טיורינג", לא?

אולי אני לא יודע מה ההגדרה.
מוטיבציה 384841
זה המשכו הלוגי, אם קיים מחשב שאני לא יכול להבדיל בינו לבין אדם, נגיד תוך התכתבות באייל, ואני יכול (תמורת סכום נאות) לגרום לאייל הממוצע לתכנת, אזי גם אותו מחשב יכול לתכנת.
האם זה מותח את ההגדרה ? זה מוציא אותה מהקשרה, אבל זו כל המטרה של בינה מלאכותית, אני (אולי אחרים כן) לא אשקיע זמן וכסף כדי שמחשב יוכל להתכתב איתי על <הכנס שם של סלב>, אלא כדי שהוא יוכל לעבוד במקומי (על מנת שיהיה לי יותר זמן לאייל).
בשלב הראשון אני לא מבקש מקוריות או יצירתיות (שספק אם אפשר לבקש ולקבל מהאדם הממוצע), רק יכולת טכנית לתרגם שפה טבעית לשפת מכונה, תוך קבלת אי אילו החלטות שהן טריוויאליות בשבילנו, אבל לא בשביל מחשבים כיום.

(כמובן שהפסקתי להבדיל בין מחשב לתוכנה בתגובה, תתעלמו מזה).
מוטיבציה 384845
לא הבנתי. כוונתך שבמהלך המבחן עצמו תגיד למשתתפים במבחן "בואו תכתבו לי תוכנה"?

אני דווקא חושב שמחשב יהיה מסוגל לתכנת הרבה לפני שהוא יעבור את מבחן טיורינג.
מוטיבציה 384849
1. כן
2. נכון, אבל מעבר של מבחן טיורינג גורר מחשב שיודע לתכנת, לזה כאמור יש ערך כספי די ניכר, מכאן שישנה תועלת כלכלית במחשב שעובר את מבחן טיורינג (למרות שזה overkill).
מוטיבציה 385067
מחשב‏1 שתגיד עליו שהוא "יכול לתכנת" הוא מחשב שתזין לו רצף כלשהו בשפה מוסכמת שמתאר את התוכנה הנדרשת, והוא יציג לך אחת שעונה לדרישה. ההבדל בין קומפיילר, לבין "מחשב שיודע לתכנת" ומתקשר איתך בשפה קצת יותר פשוטה להבנה מאנגלית (או אפילו באנגלית), קשה מאוד להגדרה. ככל שאתה מתרחק מכתיבת התוכנה בעצמך בשפה עילית והידורה למתקרב יותר לכתיבת הדרישות באנגלית וקבלת תוכנה שעונה עליהן, אתה בעצם דורש ממנו להיות מסוגל לדברים הנדרשים ממנו במבחן טיורינג, הרבה לפני שהוא ניגש לכתוב את התוכנה.

-----
1 אני מתכוון, כמובן, תוכנה. אני אמשיך להגיד "מחשב" ולהתכוון "תוכנה". עמך הסליחה.
מוטיבציה 385082
עד כמה שאני רואה, אני דורש ממנו רק *להבין* דרישות פורמליות (לא בהכרח בשפה טבעית לגמרי). כדי לעבור את מבחן טיורינג, מחשב צריך לדעת להבין שפה טבעית לגמרי, ולהתנסח בשפה טבעית לגמרי.
מוטיבציה 384843
נדמה לי שמבחן טיורינג הוא ביטוי מוסכם למשמעות "בעל תבונה כמו-אנושית". בכל מקרה, אפשר בהחלט לטעון כי מחשב שמסוגל לעבור את המבחן האמור סביר מאוד שיוכל גם ללמוד לתכנת. אחרי הכל, אפשר בהחלט לשלב בשאלות המבחן שאלות הנוגעות בתחומי ההבנה הלוגית, למשל.

נכון שהמחשב יוכל לענות "אני גרוע בלוגיקה" – ראה התשובה בנוגע לאריתמטיקה במאמר המקורי של טיורינג – אבל התחמקות עקבית מכל שאלה הקשורה להבנה לוגית תהיה די dead giveaway. ומרגע שיש מחשב עם מידה מסוימת של הבנה לוגית, המרחק מההבנה שיש לאדם מהשורה לרמת ההבנה שיש לנבון שבאנשים היא יותר כמותית מאיכותית, לדעתי.
מוטיבציה 385066
מבחן טיורינג משופר - התוכנה הנבחנת נדרשת לשכנע לא רק שהיא בן אדם באופן כללי, אלא שהיא בן אדם עם הכשרה בתחום ספיציפי.

אחד המקרים המפורסמים מההיסטוריה של המבחן האמיתי הייתה תוכנה שהעמידה פני פסיכיאטר - "אז, אדון יוסי בני, איך הרגשת לגבי זה שהחברים שלך קוראים לך יוסי?" אם הבוחן יהיה תוכניתן שמנסה להבדיל בין המחשב ותוכניתן אחר, ולא רופא שמנסה להבחין בין דוגמנית ותוכנה שמעמידה פנים שהיא נהג מירוצים, והתוכנה עוברת את המבחן, קיבלנו כנראה מה שרצינו.

חזרה לעמוד הראשי

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים