რა არ შეიძლება სიტყვებში აღებული

Hamming-ის ცენტრალური დაკვეთა მანქანური ინტელიგენციის საზღვრების შესახებ: არა ყველა ადამიანური ცოდნა შეიძლება თარგმნის წესებში ან ინსტრუქციებში. მხედელი ცოდნა ეწინააღმდეგება ფორმალიზაციას — არა რადგან ჩვენ დაკლებული ძალისხმევა ან ინტელიგენცია, მაგრამ რადგან ვერბალიზაცია არ არის მართებული საშუალო.

ექსპერტული სისტემები 1980-იანებში ცდილობდა ჰყვებოდა expertise წესი-ძირი: თუ სიმპტომი-A და სიმპტომი-B მაშინ დიაგნოზი-C. ისინი მუშაობდნენ ვიწრო, კარგი განმარტებული დომენი. ისინი ვერ დაიმტკიცეს ეს დომენი საზღვრები, სადაც ზუსტად იფარული ცოდნა გამოცდილი practitioners მატერიალი ყველაზე.

ქიმიკოსის intuition რომელი რეაქცია აშკარა წამოუჯდება, გამოცდილი დამწურავი განცდა უფლება arc gap, სამეწამული აზრი რომელი ქსოვილი გამოიყურება არასწორი — ეს არ არის უბრალო წესი აღმოსაჩენი. Hamming ამტკიცებს რომ ზოგიერთი შესაძლო სამუდამოდ uncoded.

რატომ ეს მატერიალი ავტომატიზაციისთვის

წესი-ძირი სისტემი კარგად დაკმაყოფილებული ცენტრში კარგი განმარტებული დომენი. ისინი ვერ დაიმტკიცეს საზღვრები. გამოცდილი practitioners ცხოვრება საზღვრები. ეს asymmetry ფორმებს რა ავტომატიზაცია შეუძლია & არ შეუძლია ჩალიჩა.

იფარული ცოდნის დადგენა

Michael Polanyi წაკითხვა რა ეს: 'ჩვენ ვიცით მეტი ვიდრე შეიძლება თქვა.' მან გამოიყენა მაგალითი სახის აღიარება — ყველაზე ხალხი აღიარებს ათასობით სახე მყისიერი მაგრამ ვერ აღწერს წესი ისინი იყენებენ.

Hamming აკავშირებს ეს ექსპერტული სისტემი: უფრო ღრმა პრობლემა არ არის რომ ჩვენ არ დაწერილი წესი; ეს რომ ზოგიერთი დომენი, არა სრულ წესი კომპლექტი არსებობს.

4×4×4 Tic-Tac-Toe

Hamming გამოიყენება 4×4×4 სამი-dimensional tic-tac-toe როგორც მის მხეთ მაგალითი. დაფა 64 მოედანი & 76 აგებულ ხაზი. ორი-dimensional tic-tac-toe აქვს ცნობილი რესურსი სტრატეგია; ეს აჩვენებს არა საინტერესო ინტელიგენცია. 4×4×4 ვერსია რთული საკმარისი მოითხოვს რეალური heuristics.

პროგრამის სტრუქტურა

ნაბიჯი 1: enumerate იურიდიული ღირებულება.

ნაბიჯი 2: უპირატესი 'ცხელი spot' — კუთხე & ცენტრი გაკეთება მეტი აგებულ ხაზი მეშვეობით უფრო ვიდრე edge ან სახე-ცენტრი მოედანი. გამოიყენება კუბი ცენტრი-კუთხე duality: არსებობს inversion კუბი მიმდებარე კუთხე ცენტრი & ცენტრი კუთხე ხოლო რჩება ყველა 76 ხაზი.

ნაბიჯი 3: თამაში randomly ამ უხეშად ეკვივალენტი ღირებულება. მოწესრიგებული თამაში მოთმენა ფარული რუქა თქვენი სტრატეგია & პოვნა exploits. უიცი ხელი exploits.

ნაბიჯი 4: ზღვრული სიმბოლო წესი ამ უპირატესი ბრძანებით.

სიმბოლო წესი, უპირატესი ბრძანებით: (1) გამარჯვება თუ გამარჯვება ღირებულება გაკეთება; (2) ბლოკი ფარული გამარჯვება ღირებულება; (3) აიღო fork თუ ხელმისაწვდომი; (4) ბლოკი ფარული fork; (5) უპირატესი forcing ღირებულება; (6) დაბრუნება heuristics.

ღვინის სტრუქტურა: მოწესრიგებული წესი cover명 განმარტებული ითვალი. Heuristics handle ყველაფერი სხვა. ხაზი მათ არის ზუსტად სადაც იფარული ცოდნა იწყება.

Samuel-ის მკითხავი მოთამაშე პროგრამა

Arthur Samuel IBM დაწერა მკითხავი მოთამაშე პროგრამა რომელი გახდა ცნობილი გამარჯვება სახელმწიფო უფროსი. რა მიხაკ ის აღსანიშნავი: ეს უნდა კერძო მექანიკა. Samuel parameterized შეფასება ფუნქცია (weighing დაფა კონტროლი, სამეფო ხელმოწერა, მობილობა, ნაჭუჭი pinning, და ა.შ.), შემდეგ დაუშვებელი ორი ასლი პროგრამა თამაშ თითოეული სხვა სხვა parametri ნიშეთი. უკეთ-მოწესრიგებული ვერსია გამოუშვა.

ეს არის parametri ძიება, არა წესი აღმოსაჩენი — მაგრამ ეს აკეთებს კერძო sensible. პროგრამა აუმჯობესებელი გამოუშვო programmer აშკარად დაწერილი უკეთ წესი.

Hamming კითხვა: აკეთებს Samuel-ის პროგრამა აჩვენება ორიგინალობა როდესაც ეს აკეთებს გაკვირვება ღირებულება? თქვენ არ შეუძლია დამტკიცოს ეს შეაქვს, მაგრამ თქვენ ზოგიერთი ვერ დამტკიცოს თქვენ აქვთ ორიგინალობა ნაკებ მისაღებ ხელმოწერა რომელი excludes მკითხავი პროგრამა.

ექსპერტული სისტემი & მათი საზღვრები

ექსპერტული სისტემი 1970-80 წელი საკმაო საკმაო წერა ფორმალიზაციას პროფესიული ცოდნა რა სიმბოლო-executable წესი. სამედიცინო დიაგნოზი, გეოლოგიური კვლევა, ფინანსური ანალიზი, წრე დიზაინი — თითოეული დომენი attracted მის საკუთარი წესი-ძირი სიმბოლო.

განხორციელება კარგი განმარტებული ქვე-პრობლემა იყო ხშირად inspiring. მაგრამ სისტემა გაზიარებული ჩასხმის რეჟიმი: ისინი მუშაობდნენ სანამ პრობლემა stepped გარეთ წესი სიხშირე, შემდეგ ვერ დაიმტკიცოს. ადამიანური პროფესიონალი degrade gracefully; წესი სისტემა აღმოსაჩენი დაეცა.

root დაიკავებს Hamming აღმოაჩენს: ხალხი აშენება ექსპერტული სისტემი აქვთ არა სისტემა რა არის missing. პროფესიონალი შეუძლია წეკილო მათი წესი — მაგრამ პროფესიონალი ეძლეული მათი მხედელი მსჯელობა ისაზ რომელი წესი ზღვრულ თავის შემთხვევა. რომელი მეტა-ენ მსჯელობა არასდროს აკეთებს სიმბოლო.

სწორი კითხვა თქვენი კარიერი

practically სარგებელი კითხვა არ არის 'შეუძლია სიმბოლო აზროვნება?' ეს არის: რამდენი ღირებულება საქმე თქვენი დომენი, აკეთებს კრიტიკული სიმძიმე ცხოვრება ის rule-covered ცენტრი, ან საზღვარი სადაც მსჯელობა & იფარული ცოდნა ოპერაციული? ავტომატიზაცია reliably handles მე. ეს struggles მე. თქვენი კარიერი სტრატეგია გამოყოლილი პოვნა განსხვავება.