uudistuvat oppimisympäristöt - - Mikkelin ammattikorkeakoulu
uudistuvat oppimisympäristöt - - Mikkelin ammattikorkeakoulu
uudistuvat oppimisympäristöt - - Mikkelin ammattikorkeakoulu
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
On selvää, että edellä olevat suunnittelumallit sellaisenaan ovat laskennalli-<br />
suuden kannalta vielä kehittymättömiä. Valitettavan usein suunnittelukieli ja<br />
-mallit jäävät kirjallisen dokumentin tai ohjeen tasolle. Seuraavassa tutus-<br />
tumme yhteen mahdolliseen tapaan suunnittelukielen tai -mallien automati-<br />
soimiseksi.<br />
TÄSMÄLLISTETTY LUONNOLLINEN KIELI<br />
Suunnittelumallit ilmaistaan monesti luonnollisen kielen avulla. Suunnitte-<br />
lumalli voi olla esimerkiksi luonnollisen kielen avulla ilmaistu sääntöjen ko-<br />
koelma tai suunnitteluhahmojen välisten riippuvuuksien ilmentymä. Kuiten-<br />
kin näissä malleissa, siis suunnittelukielessä, voidaan yleensä erottaa syöte-<br />
muuttujat ja tulostemuuttujat. Näiden muuttujien arvot ilmaistaan monesti<br />
luonnollisen kielen avulla, kuten esimerkiksi ilmaisu ”huone on kuuma” tar-<br />
koittaa, että muuttujan ”huoneen lämpötila” arvo on ”kuuma” kirjoitamme<br />
tämän muodossa Lämpotila(huone) on ’kuuma’; ilmaisu ”Mikon haava näyt-<br />
tää hyvin tulehtuneelta” tarkoittaa, että muuttujan ”Mikon haavan kunto” on<br />
saanut arvon ”hyvin tulehtunut”, kirjoitamme tämän muodossa<br />
Haavan_kunto(Mikko) on ’hyvin tulehtunut’.<br />
Ovatko edelliset esimerkit laskennallisia? Toisin sanoen, voidaanko edelliset<br />
esimerkit ajatella johonkin järjestelmään syöte- tai tulostemuuttujiksi siten,<br />
että kyseessä oleva ongelma voidaan ratkaista tietokoneen avulla? Edellisten<br />
esimerkkien lauseet ovat Zadehin (2004) mukaan täsmällistettävissä, jos<br />
muuttujien arvoille on annettu täsmällinen matemaattinen malli (lue: tietoko-<br />
neella prosessoitava) ja lauseen tarkoitus on esitettävissä täsmällisen mate-<br />
maattisen mallin avulla. Voimme tällöin puhua täsmällistetystä luonnollisesta<br />
kielestä (Precisiated Natural Language, PNL).<br />
Täsmällistetty luonnollinen kieli on eräs ratkaisu suunnittelukielen muutta-<br />
miseksi laskennalliseksi. Tyypillisesti tässä kielessä muuttujien arvot ovat<br />
120