Titlul lucrării: Sistem formal în reprezentarea cunoștințelor
Domeniu: Informatică, Cibernetică și Programare
Descriere: Dintr-un set de formule, se disting subgrupuri de formule PPF bine formate. Se definește o procedură eficientă care ne permite să determinăm dacă această expresie este un FFT într-un FS dat. Un anumit set de PPF-uri este cunoscut ca axiome FS. În acest caz, trebuie să existe o procedură eficientă care să permită unui PPF arbitrar să decidă dacă este o axiomă.
Mărime fișier: 36 KB
Lucrarea a fost descărcată: 4 persoane.
28. Sistem formal în reprezentarea cunoștințelor.
Într-un sistem formal (FS) care operează cu unul sau alte simboluri, aceste simboluri sunt percepute pur și simplu ca elemente care sunt tratate conform anumitor reguli, depinzând numai de forma expresiilor formate din simboluri.
Sistemele oficiale sunt sisteme axiomatice, adică sisteme cu prezența unui anumit număr de cuvinte inițiale preselectate și fixe, numite axiome.
Un sistem formal este considerat dat dacă sunt îndeplinite următoarele condiții.
1. Dat fiind un set format dintr-un număr finit sau infinit de elemente, numite termeni. Există un alt set finit al cărui elemente sunt pachete sau operațiuni.
2. Orice set de termeni și operațiuni liniar ordonate se numește o formulă. Dintr-un set de formule, se disting subgrupuri de formule corect construite (PPF). Pentru FNF se specifică regulile pentru proiectarea lor, adică se determină o procedură eficientă care ne permite să determinăm prin această expresie dacă este un FFT într-un FS dat.
3. Unele seturi de PSF-uri, numite axiome ale FS, sunt separate. În același timp, trebuie să existe o procedură eficientă care să permită unui PPF arbitrar să decidă dacă este o axiomă.
4. Există un set finit R 1. R 2. R k al relațiilor dintre PPF numit reguli de inferență. Conceptul de "retragere" ar trebui să fie de asemenea eficient, adică trebuie să existe o procedură eficientă care să permită o secvență finită arbitrară a PPF-urilor să decidă dacă fiecare termen al acestei secvențe poate fi derivat din unul sau mai multe PPF-uri precedente prin anumite reguli de ieșire fixe. O derivație a FS este orice secvență de PPT A 1. A 2. A n astfel încât pentru orice i (i = 1, n) PPF A i este fie axiomul FS, fie consecința imediată a oricărui PSF anterior conform uneia dintre regulile de inferență. *
Orice FS este dat de un cvadruple <Т, Н, А, R> unde T este setul de termeni și operațiuni; H este setul de reguli pentru construirea PPF; A este sistemul de axiome; R este setul de reguli de inferență. Sistemul formal nu este nici un limbaj, nici un sistem de cunoaștere, nu conține nici o afirmație despre obiecte, ci este pur și simplu un calcul - un fel de acțiuni de către anumite reguli asupra secvențelor termenilor.
Două clase de sisteme formale sunt baza matematică pentru construirea sistemelor AI: calculul propozițional și calculul predicat al primei ordini.
Calculul afirmațiilor ca sistem formal.
O afirmație complexă are o valoare a adevărului, care este determinată în mod unic de valorile adevărurilor simplelor utterances din care ea este compusă.
De exemplu: "Dacă un student merge la culcare târziu și bea cafea, atunci dimineața se va ridica într-o stare proastă sau cu o durere de cap". Această declarație complexă constă în următoarele cuvinte simple:
"Studentul merge la culcare târziu"
"Un student băncă noaptea pentru cafea"
"Dimineața elevul se va ridica într-o stare proastă"
"Dimineața, elevul se va ridica cu o durere de cap"
Denumirea unei declarații complexe de către X. și simplă respectiv de Y, Z. U. V. poate fi scrisă
X = dacă Y și Z, atunci U sau V
Sau X = (Y Z Z) → (UvV)
Fiecare pachet logic poate fi privit ca o operațiune care formează o nouă exprimare - un complex mai simplu.
Astfel, orice afirmație compusă poate fi scrisă sub forma unei formulări care conține conectivități logice și simboluri care denotă expresii simple, numite atomi. Pentru a afla dacă o declarație compusă este adevărată sau falsă, este suficient să cunoaștem adevăratul sens al tuturor atomilor din care este compusă.
Formula formulării propoziționale, care este adevărată în toate interpretările, se numește o tautologie sau o formulă valabilă universal.
Formula formulării propoziționale este numită o contradicție dacă este falsă în toate interpretările.
Trimiteți-le prietenilor: