Дедуктивті тіл - Deductive language - Wikipedia
 | Бұл мақалада а қолданылған әдебиеттер тізімі, байланысты оқу немесе сыртқы сілтемелер, бірақ оның көздері түсініксіз болып қалады, өйткені ол жетіспейді кірістірілген дәйексөздер. (Қазан 2019) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз) |
A дедуктивті тіл бұл компьютер бағдарламалау тілі онда бағдарлама предикаттардың ('фактілердің) жиынтығы және оларды байланыстыратын ережелер. Мұндай тіл жасау үшін қолданылады білімге негізделген жүйелер немесе сараптамалық жүйелер олар берілген фактілерге ережелерді қолдану арқылы проблемалар жиынтығына жауаптар шығара алады.Дедуктивті тілдің мысалы Пролог, немесе оның дерекқоры сұранысының туысы, Деректер.
Тарих
Атауынан көрініп тұрғандай, дедуктивті тілдер дедуктивті пайымдау қағидаларына негізделген; қазіргі білімге негізделген қорытынды жасау. Компьютерлік бағдарламаларды ұсыну үшін логиканың сөйлем формасын қолдануға бірінші ұсыныс жасаған Корделл Грин (1969) Стэнфорд ғылыми-зерттеу институтында (қазір Халықаралық ҒЗИ ). Бұл идеяны жасанды интеллекттің алғашқы жүйелеріндегі процедуралық және декларативті ақпаратты ұсыну арасындағы шайқаспен байланыстыруға болады. Дедуктивті тілдер және олардың қолданылуы логикалық бағдарламалау Фостер мен Элкок енгізілген бір жылға жатқызылуы мүмкін Абсис, алғашқы дедуктивті / логикалық бағдарламалау тілі. Көп ұзамай, алғашқы Prolog жүйесі 1972 жылы енгізілді Колмерауэр ынтымақтастық арқылы Роберт Ковальски.
Компоненттер
Дедуктивті тілдің компоненттері - жүйесі формальды логика және а білім базасы логика қолданылады.
Ресми логика
Ресми логика дегеніміз - формальды мазмұнға байланысты қорытынды жасауды зерттеу. Ресми және бейресми логиканың айырмашылығы - бұрынғы жағдайда мазмұнға қолданылатын логикалық ереже жағдайға тән емес. Заңдар контексттің өзгеруіне қарамастан қолданылады. Дегенмен бірінші ретті логика дедуктивті тілдің қолданылуын көрсету үшін төмендегі мысалда сипатталған, ешқандай ресми жүйеге мандат берілмейді және белгілі бір жүйені қолдану тілдік ережелер немесе грамматика шеңберінде анықталады.
Кіріс ретінде предикат қызығушылық аймағында кез-келген объектіні (объектілерді) қабылдайды және логикалық екі мәннің біреуін шығарады: ақиқат немесе жалған. Мысалы, «Барак Обама - 44-ші президент» және «Егер бүгін жаңбыр жауса, мен қолшатыр әкелемін» деген сөйлемдерді қарастырыңыз. Біріншісі - байланысты шындық мәні бар мәлімдеме. Екіншісі - кейбір басқа тұжырымдардың мәніне сүйенетін шартты мәлімдеме. Осы сөйлемдердің кез-келгенін предукцияларға бөлуге болады, оларды салыстыруға болады және дедуктивті тілдің білім қорын құрайды.
Сонымен қатар, «Барак Обама» немесе «президент» сияқты айнымалылардың санын анықтауға болады. Мысалы, 'x' айнымалы ретінде 'Барак Обаманы' алыңыз. «Егер« х »президент болса, онда« х »бас қолбасшы болатындай« х »бар» деген сөйлемде. Бұл бірінші ретті логикадағы экзистенциалды квантордың мысалы. 'Y' айнымалысы ретінде 'президентті' алыңыз. «Әрбір« у »үшін« у »- өз ұлтының көшбасшысы». Бұл әмбебап квантордың мысалы.
Білім қоры
'Фактілер' немесе предикаттар мен айнымалылар жиынтығы дедуктивті тілдің білім қорын құрайды. Тілге байланысты білім базасында осы предикаттарды жариялау тәртібі логикалық ережелерді қолдану нәтижесіне әсер етуі немесе әсер етпеуі мүмкін. Белгілі бір «ережелерді» немесе тұжырымдарды қолданған кезде білім қорына жаңа предикаттар қосылуы мүмкін. Жаңа фактілер анықталған немесе қосылған кезде олар жаңа қорытынды жасауға негіз болады. Ертедегі сараптамалық жүйелердің, сарапшы адам сияқты шешім қабылдай алатын жасанды интеллект жүйелерінің негізі ретінде білім базалары мәліметтер базасына қарағанда көбірек ақпарат берді. Оларда сыныптар, кіші сыныптар және даналар бар құрылымдық деректер болған.
Пролог
Пролог білім базасына бірінші ретті логиканы қолданатын дедуктивті, декларативті тілдің мысалы. Бағдарламаны Прологта іске қосу үшін сұрау қойылады және негізделген қорытынды қозғалтқыш және білім қорындағы нақты фактілер, нәтиже қайтарылады. Нәтижесінде қозғалтқышқа байланысты жаңа қатынастан немесе предикаттан логикалық (шын / жалған) сияқты сөзбе-сөз сәйкес келетін кез келген нәрсе болуы мүмкін. типтік жүйе.
Әдебиеттер тізімі
- Дж.М. Фостер және Э.В.Элкок. ABSYS 1: Бекітуге арналған қосымша компилятор: кіріспе, Machine Intelligence 4, Edinburgh U Press, 1969, 423-429 бет.
- Корделл Грин. Дәлелдеу теоремасын есептер шығаруға қолдану IJCAI 1969 ж.
- Корделл Грин, Халықаралық ҒЗИ жасанды интеллект орталығының түлегі, алынды 12.09.09.
- Роберт Ковальски, Дональд және Куэхнер, Таңдау функциясы бар сызықтық ажыратымдылық Жасанды интеллект, т. 2, 1971, 227–60 бб.
- Роберт Ковальски Логиканы бағдарламалау тілі ретінде болжау Естелік-70, Эдинбург университетінің жасанды интеллект бөлімі. 1973. Сондай-ақ П.