1 Емтихан билеті Жасанды интеллектке анықтама беріңіз
жүктеу/скачать 52,52 Kb.
|
- Бұл бет үшін навигация:
- 2. Резолюция принципі.
- 3. Логикалық көбейту(конъюнкция).
- 14 Емтихан билеті 1. Логика алгебрасының анықтамасы және оның тарихы.
| 1. Ресми жүйе ұғымы.
Ресми жүйелерді пайда болуы, техникалық, әлеуметтік, экономикалық, немесе биологиялық болсын толық түрлі жүйелер, терең жақындығын алатындар іске асыру есебінен болды. Басқа бір таңбалардағы ресми жүйесімен (РЖ), қатар, бұл символдар жай ғана таңбалардың алынған білдіру түрінде байланысты белгілі бір ережелер бойынша шағымдануға элементтері ретінде қабылданады. Ақиқат ұғымы тек қана жүйе ықтимал қосымшаларға (интерпретациялау) байланысты пайда болады. Ресми жүйе - аксиомалық жүйесі болып табылады, яғни бастапқы алдын ала таңдалған және тіркелген есептілігінің белгілі бір санының қатысуымен, аксиома деп атайды. 2. Резолюция принципі. Ереже қаулы предикат логика толық жиынтығы ереже шығару фазасы нысаны болып табылады - ереже бәрін қабылдауға қиын, бірақ тиімді компьютерде іске асырды. Prolog аудармашының негізгі компоненті жұмыс істеу принципі ереже қаулыға негізделген, проблемаларды шешу үшін әмбебап тетігі болып табылады. Резолюция - бұл нәрсе негізінде қорытынды фразалар теориялар осы жасасу негізі болып табылады.Төмендегідей қаулы принципі болып табылады. Олардың біреуі оң мағынадағы және басқа да теріс болса, екі сөз тіркестерін ruzolvirovany бір-біріне болуы мүмкін. 3. Логикалық көбейту(конъюнкция). Екі конъюнкция (немесе кез келген басқа да саны) айнымалылар x1 және x2 тек барлық айнымалылар жиынтығы қалған 1 болып, бұл функцияға 0 қойылса онда жиынтығы, 1 орнатылады. Бұл кестеде екі айнымалылар x1 және x2 туралы бірлесіп бір шындық кесте болып табылады. Біріктіру f2 = x1x2 ретінде белгіленеді және келесідей оқылады: «F2 x1 және x2 (баламалы) болып табылады». Конъюнкциясын белгілеу үшін және таңбаны пайдалануға болады. Ол бірінші және екінші аргументтер 1 маңызды емес ғана 1 мәні бар ретінде бірлесіп, сондай-ақ функцияларды деп аталады. ЖӘНЕ функциясы электрондық сызба түрінде жүргізліп, конъюнктор деп аталады. № 14 Емтихан билеті 1. Логика алгебрасының анықтамасы және оның тарихы. ЭЕМ түйінін анализдеу және синтездеу кезінде ормальді түрде сипаттау үшін логика алгебрасы пайдаланылады. Логика алгебрасының негізін қалаған XIX ғ. ағылшын математигі Джордж Буль. Логика алгебрасын сондай-ақ булевтік алгебра деп атайды. Булевтік алгебрада екілік айнымалы және булевтік функциялар бар. Екілік айнымалы 0 және 1 болып табылатын екі мәнді қабылдайды. Олар логикалық немесе булевтік айнымалы деп аталып, x1,x2,x3,… символдарымен анықталады. Булевтік функциялары екілік айнымалы байланысты. Олар, дәлел сияқты, тек екі мәндер қабылдай алады, 0 немесе 1 Булевтік функциялары, сондай-ақ логикалық немесе коммутациялық функцияларды деп аталады. Қосылғыш функцияларды f(x1, x2, x3, …) түрінде жазамыз, жақша ішіне аргументты енгіземіз. жүктеу/скачать 52,52 Kb. Достарыңызбен бөлісу:
|