Expression Evaluator Page [Romanian]

Original in English by John Halleck

Pagina evaluatorului de expresii ”Expression Evaluator”

Bine aţi venit la evaluator de expresii.

În general, dacă cineva doreşte să traducă paginile mele, şi oferă indicii mele în traducere la paginile mele, nu sunt contra introducerii acestor indici la traduceri.

Porniți evaluatorul cu lumi diferite

Codul sursă pentru lumi

  • nil world (expresii de interes general boolean, fără cuantificatori sau predicate)

  • Simple World (predicate şi cuantificarea cu lume de exemplu simplă)

  • Frog World (predicate şi cuantificarea asupra unor declaraţii din punct de vedere a broaştelor)

Codul sursă pentru program

Puteti descărca gratuit codul sursă (Source Code), pentru uz non-comercial, educativ, sau personal.
Nu-l vindeți, dar nu ezitaţi să-l folosiți ca un exemplu.

Doriţi să definiți lumea Dvs. proprie?

Doriţi să definiți lumea Dvs. proprie?

Trebuie doar să descărcaţi codul sursă (Source Code), și va uitați la instrucţiunile pentru a defini Worlds (Instructions to define Worlds).

Comentarii

Acești evaluatori sunt doar jucării, dar sper că în sine au o idee foarte interesantă.
Ele pot fi utilizate de studenții începători.
Dacă găsiţi aceste utile sau interesante, scrieţi-mi apoi. Feedback va stabili dacă este sau nu alte versiuni de acest gen. 


Detalii tehnice din codul Logic Evaluation

Cod

Evaluatorul este un program CGI scris în Perl.

A fost scris ca un hack rapid … şi astfel și arată.

Dacă sunteţi cu adevărat interesaţi, puteţi obţine o copie a codului sursă pentru program.

Programul analizează în esenţă doar o expresie, şi apoi evaluează copac de varinte care rezultă cu fiecare combinaţie posibilă de valori pentru variabilele libere şi valorile logice.

Ca un ajutor pentru utilizatori, cuantificatorii existențiali la nivel ridicat returnează o listă de obiecte pentru care aceasta este adevărat. Dacă un cuantificator universal, la nivel ridicat este fals, ea returnează o listă de obiecte care fac acesta fals. 

Logic

Având în vedere că procedura de decizie generală pentru logica cuantificată este indecidabilă, singura modalitate evidentă de a avea cuantificatori a fost de a restricţiona domeniu într-o lume enumerabilă mică.

O altă simplificare a fost de a forța o interpretare care va avea doar două valori tradiționale de adevăr.
Aceste decizii sunt pentru a permite procedurilor simple de a decide dacă sunt adevărate expresii prin enumerare.

Eu cred în secret în funcţii N-are, şi am mers înainte şi înapoi pe aici căutînd dacă funcţiile sunt binare sau nu. La moment sunt unele (echivalente), iar unele nu sunt ('şi', 'sau'). Pentru teste ale funcţiei adevărului nu este multă diferenţă.

Probleme

Daca as fi fost să fac acest lucru din nou, probabil, aș face un cod care enumeră cuantificatorii care fac toate enumerări. Acest lucru ar putea fi realizat prin asumarea unui "forall" în jurul valorii de exprimare pentru fiecare variabilă gratuită.

Un afect parțial de aceast lucru constă în faptul că valorile pe care x gama trebuie să ranjeze TREBUIE să includă adevărat şi fals de ei înşişi. Am sentimente amestecate cu privire la aceasta.

Procedând astfel, se ridică probleme în cazul în care cineva aș dori vreodată să extindă aceasta la logica modală, din moment ce nu primiți întotdeauna acelaşi rezultat utilizînd operatorii modali în acest sistem, așa cum și utilizînd pentru calcul predicatele standarde.

În lumi fără obiecte existente (x, adevărat) în prezent se returnează falsul, pe motiv că nu există nici un x. Dacă cuantificatori noștri, de asemenea, ranjează valorile tradiţionale a adevărului, atunci acest lucru se primește adevărat. (Deoarece unele obiecte există). Este bizar pentru mine faptul că intuiţia mea mi-ar duce la mizeria asta.
Sunt interesat de opinia cuiva care este interesat și pentru a discuta despre aceste probleme.


Definirea lumi

Lumile sunt citite dintr-un fişier, astfel încât evaluatorul poate manipula lumi alternative.

Accept sugestii pentru lumi alternative …

Aici sunt instrucţiuni pentru a defini lumi – Instructions to define Worlds


Duceți-vă la …

ok ok