Interfete Inteligente pentru Sisteme de Calcul Simbolic

Proiect
9/10 (1 vot)
Domeniu: Calculatoare
Conține 1 fișier: pdf
Pagini : 159 în total
Cuvinte : 40629
Mărime: 717.86KB (arhivat)
Cost: 5 puncte
Profesor îndrumător / Prezentat Profesorului: Constantin Gaindric
Teza este dedicată problemelor de cercetare a modalităţilor de interacţiune om–calculator în sistemele de calcul simbolic, şi elaborare a metodelor de construire a interfeţelor inteligente pentru astfel de sisteme.

Cuprins

Cuprins

Introducere 5

1 Interfet¸e inteligente 10

1.1 Modalit˘at¸i de interact¸iune om–calculator 11

1.2 Interfet¸e grafice 14

1.3 Interfet¸e inteligente 20

1.3.1 Definit¸ii ¸si propriet˘at¸i 20

1.3.2 Clasificarea interfet¸elor inteligente 22

1.4 Interfet¸e pentru sistemele de calcul simbolic 24

1.4.1 Particularit˘at¸ile interfet¸elor pentru SCS 24

1.4.2 Clasificarea interfet¸elor SCS. Exemple 27

1.5 Concluzii 32

1.6 Rezultatele principale ale capitolului 33

2 Generarea lexiconului computat¸ional 34

2.1 Utilizarea limbajului natural ˆın interfet¸ele inteligente 35

2.2 Gramatici cu context dispersat

pentru generarea vocabularului 38

2.3 Criterii de flexionare automat˘a 44

2.3.1 Algoritmul de determinare a grupului de flexionare 45

2.3.2 Exemplu de aplicare a algoritmului 46

2.4 Aplicat¸ii lingvistice 51

2.4.1 Metoda static˘a 51

2.4.2 Metoda dinamic˘a 52

2.4.3 Pachetul RomPW 53

2.4.4 Corectorul ortografic RomSP 53

2.4.5 Resurse lingvistice reutilizabile pentru limba romˆan˘a–

RLRLR 54

2.4.6 Alte aplicat¸ii 55

2

2.4.7 Posibilit˘at¸i de aplicare pentru sistemele de calcul simbolic 56

2.5 Concluzii 57

2.6 Rezultatele principale ale capitolului 58

3 Preliminarii algebrice 59

3.1 Sumar 60

3.2 Not¸iuni de baz˘a 60

3.3 Exemple 62

3.4 Serii Hilbert 62

3.5 Baza Gr¨obner ¸si calculul ei 63

3.6 Module 66

3.7 Homomorfisme ¸si rezolut¸ii 68

3.8 Rezultatele principale ale capitolului 69

4 Interfet¸e inteligente pentru SCS: studiu de caz ¸si generaliz˘ari 70

4.1 Sumar 71

4.2 Sistemul de calcul simbolic Bergman 71

4.3 Obiectele ¸si procedurile sistemului Bergman 72

4.4 Evaluarea interfet¸ei LISP a sistemului Bergman 81

4.5 Interfat¸a grafic˘a a sistemului Bergman: descriere general˘a 82

4.5.1 Descrierea interfet¸ei 84

4.5.2 Preluarea problemei de la utilizator 88

4.5.3 Adaptare la utilizator 92

4.5.4 Generarea mediului de calcul 93

4.5.5 Prevenirea erorilor 97

4.6 Concluzii 101

4.7 Rezultatele principale ale capitolului 101

Concluzii finale ¸si contribut¸ii 104

Bibliografie 108

Anex˘a. Gramatica de flexionare pentru clasele deschise productive

122

Substantive masculine 122

Substantive feminine 126

Substantive neutre 132

Adjective 135

Verbe 140

3

Adnotare 156

Summary 157

Аннотация 158

Extras din document

Introducere

Referint¸e generale asupra lucr˘arii

Sistemele de calcul simbolic (SCS) sunt instrumente utilizate ˆın cercetare,

instruire, inginerie. Ele cont¸in implementarea unei game largi de algoritmi,

ce opereaz˘a cu diverse categorii de obiecte simbolice: din limbaje formale,

algebr˘a, geometrie etc. Sistemele de algebr˘a computat¸ional˘a, strict vorbind,

reprezint˘a o subclas˘a a acestor sisteme, ˆıns˘a ˆın multe cazuri aceste dou˘a

not¸iuni sunt tratate ca sinonime. Vom urma ¸si noi acest principiu, referindune

la sistemele de calcul simbolic ca la programe pentru calculator, axate pe

manipul˘ari exacte cu formulematematice. Cu alte cuvinte, un sistem denumit

“sistem de algebr˘a computat¸ional˘a” [1] nu neap˘arat solut¸ioneaz˘a probleme

de algebr˘a, ˆın expunerea noastr˘a totu¸si ne vom orienta preponderent la acest

domeniu.

Wolfram Koepf define¸ste not¸iunea de algebr˘a computat¸ional˘a astfel: “subiect

al ¸stiint¸ei dedicat metodelor de solut¸ionare a problemelor formulate

matematic prin algoritmi asupra simbolurilor ¸si prin implementarea acestor

algoritmi ˆın soft ¸si hard. El este bazat pe reprezentarea exact˘a finit˘a a

obiectelor ¸si structurilor matematice finite sau infinite ¸si permite manipul˘ari

simbolice ¸si abstracte, realizate de calculator” [2].

ˆ In pofida faptului c

˘a

ast˘

azi putem enumera o

list˘a

din c

ˆ

ateva zeci de SCS,

utilizarea majorit˘at¸ii lor (ˆın special, a sistemelor orientate spre solut¸ionarea

unor probleme aparte) r˘amˆane dificil˘a, solicitˆand o ˆınv˘at¸are preliminar˘a a

modului de operare, cunoa¸sterea structurii interne a sistemului respectiv,

posedarea cuno¸stint¸elor de programare ˆın anumite limbaje, ¸si, totodat˘a, f˘ar˘a

a oferi o asistent¸˘a ˆın situat¸ii complicate, a-l proteja pe utilizator de comiterea

eventualelor erori sau a-i sugera act¸iunile necesare pentru corectarea lor.

Una din tendint¸ele actuale ˆın elaborarea produselor program const˘a

ˆın dotarea lor cu interfet¸e inteligente, care se adapteaz˘a la cerint¸ele ¸si

preferint¸ele utilizatorului, preiau asupra sa o serie din sarcinile lui, permit

5

un mod de utilizare firesc pentru domeniul respectiv, ghideaz˘a act¸iunile

utilizatorului prevenind situat¸ii dificile, acordˆandu-i asistent¸˘a pe parcursul

interact¸iunii. Subiectul tezei se ˆınscrie ˆın aceast˘a tendint¸˘a, avˆand drept scop

cercetarea modalit˘at¸ilor de interact¸iune om–calculator ˆın sistemele de calcul

simbolic ¸si elaborarea metodelor de construire a interfet¸elor inteligente pentru

astfel de sisteme.

Noutatea ¸stiint¸ific˘a a cercet˘arii ˆıntreprinse ¸si a rezultatelor obt¸inute o

constituie solut¸iile propuse, ce contribuie la utilizarea limbajului natural ca

mediu de interact¸iune, asigurarea asistent¸ei pe parcursul sesiunii de lucru,

adaptarea c˘atre utilizator. Not¸iunea de gramatic˘a de flexionare, introdus˘a

ˆın lucrare, a condus la elaborarea metodei de flexionare automat˘a, bazate pe

aceste gramatici. Considerˆand adaptarea la utilizator drept una din cele mai

importante propriet˘at¸i ale interfet¸elor inteligente, au fost dezvoltate diverse

metode de adaptare. A fost introdus˘a not¸iunea de mediu de calcul, elaborat

algoritmul de generare a mediului prin inferent¸e din act¸iunile utilizatorului.

Semnificat¸ia teoretic˘a a lucr˘arii o constituie elaborarea principiilor de

construire a interfet¸elor inteligente pentru sisteme de calcul simbolic, care

includ:

- tehnici de creare a lexiconului computat¸ional, ce st˘a la baza comunic˘arii

ˆın limbaj natural;

- tehnici de preluare a problemei de la utilizator;

- tehnici de adaptare la utilizator.

Valoarea aplicativ˘a este confirmat˘a prin implementarea principiilor

propuse atˆat la crearea interfet¸ei pentru sistemul de calcul simbolic Bergman,

cˆat ¸si la elaborarea unei serii de aplicat¸ii lingvistice, precum corectorul

ortografic RomSP, baza de date cu resurse lingvistice reutilizabile RLRLR

etc.

Concept¸ia, metodele ¸si rezultatele principale ale lucr˘arii au fost prezentate

la o serie de foruri ¸stiint¸ifice, din care vom ment¸iona:

- Lie Computations. Marceilles, France, November, 1994;

- Commutaive Computer Algebra–COCOA IV. Genova, Italy. May 29 -

June 2, 1995;

- Awareness Days on Language Technology. Bucure¸sti, January, 1996;

6

Preview document

Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 1
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 2
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 3
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 4
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 5
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 6
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 7
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 8
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 9
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 10
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 11
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 12
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 13
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 14
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 15
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 16
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 17
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 18
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 19
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 20
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 21
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 22
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 23
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 24
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 25
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 26
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 27
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 28
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 29
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 30
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 31
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 32
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 33
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 34
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 35
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 36
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 37
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 38
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 39
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 40
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 41
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 42
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 43
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 44
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 45
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 46
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 47
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 48
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 49
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 50
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 51
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 52
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 53
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 54
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 55
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 56
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 57
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 58
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 59
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 60
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 61
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 62
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 63
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 64
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 65
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 66
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 67
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 68
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 69
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 70
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 71
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 72
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 73
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 74
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 75
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 76
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 77
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 78
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 79
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 80
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 81
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 82
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 83
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 84
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 85
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 86
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 87
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 88
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 89
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 90
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 91
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 92
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 93
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 94
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 95
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 96
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 97
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 98
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 99
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 100
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 101
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 102
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 103
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 104
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 105
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 106
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 107
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 108
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 109
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 110
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 111
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 112
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 113
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 114
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 115
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 116
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 117
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 118
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 119
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 120
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 121
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 122
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 123
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 124
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 125
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 126
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 127
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 128
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 129
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 130
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 131
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 132
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 133
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 134
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 135
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 136
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 137
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 138
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 139
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 140
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 141
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 142
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 143
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 144
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 145
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 146
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 147
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 148
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 149
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 150
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 151
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 152
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 153
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 154
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 155
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 156
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 157
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 158
Interfete Inteligente pentru Sisteme de Calcul Simbolic - Pagina 159

Conținut arhivă zip

  • Interfete Inteligente pentru Sisteme de Calcul Simbolic.pdf

Alții au mai descărcat și

Controlul Proceselor Neliniare Utilizând Automate Programabile

Introducere Odata cu progresul tehnicii, calculatoarele au devenit elemente esentiale pentru implementarea sistemelor de reglare automata....

Aspecte Generale ale Sistemelor de Operare Windows și Unix

ASPECTE GENERALE ALE SISTEMELOR DE OPERARE WINDOWS ŞI UNIX 1.1 Sisteme de operare; definiţii, componente, clasificări Sistemul de operare...

Arhitectura Calculatoarelor - Intel vs AMD

Rezultatele din testul 3DS Max 7 SPECapc Test Testul alaturat consta in crearea modelelor 3D, modificarea si randarea scripturilor. Conform...

Evaluarea Eficientei Investitiilor in IT&C

Capitolul 1.BAZE METODOLOGICE ALE EVALURII EFICIENŢEI INVESTIŢIILOR ÎN IT&C 1.1. Evaluarea eficienţei în condiţiile specifice investiţiilor din...

Programare Structurata

Limbajul în general este un mijloc de comunicare. Limbajul folosit între oameni pentru a comunica între ei este limbajul natural. Un limbaj...

Metoda Backtracking

Prezentarea tehnicii Backtracking Aceasta tehnica se foloseste în rezolvarea problemelor care îndeplinesc simultan urmatoarele conditii: -...

Microcontrolerul 8051

LUCRAREA 5 MICROCONTROLERUL 8051 ( I ) 1. OBIECTUL LUCRĂRII Lucrarea îşi propune prezentarea microcontrolerului 8051 şi însuşirea cunoştinţelor...

Ai nevoie de altceva?