lisäulottuvuutta

Lisäulottuvuutta tarkoittaa järjestelmän kykyä ilmaista enemmän asioita lisäämällä uusia rakenteita, sääntöjä tai resursseja. Termi muodostuu sanoista lisä (additional) ja ulottuvuus (extent, dimension). Sillä viitataan usein siihen, miten ilmaisukykyä voidaan laajentaa esimerkiksi muodollisissa kielissä, logiikassa, ohjelmointikielissä ja kognitiotieteissä.

Käytännössä lisäulottuvuutta syntyy, kun järjestelmään tuodaan uusia operaatioita, määrityksiä tai moduuleja, jotka mahdollistavat aiemmin ilmaisemattomien asioiden kuvaamisen. Esimerkiksi muodollisessa logiikassa uusien operaatoriiden tai modaalisten käsitteiden lisääminen laajentaa ilmaisuvoimaa. Tämä voi parantaa kykyä mallintaa ja todentaa ominaisuuksia, mutta samalla lisää päättelyn ja todentamisen monimutkaisuutta sekä mahdollisesti laskennallista vaikeutta.

Ohjelmointikielissä lisäulottuvuutta saavutetaan esimerkiksi ottamalla käyttöön lambda-kalkyyli, korkeatasoiset tyypit tai side-efektien hallintaan tarkoitetut ominaisuudet. Laajempi ilmaisukyky mahdollistaa monimutkaisempien ohjelmien ja abstraktioiden rakentamisen, mutta voi heijastua kielin toteutukseen, turvallisuuteen, suorituskykyyn sekä virheenkorjauksen hankaluuteen.

Tutkimuksessa lisäulottuvuutta arvioidaan usein suhteessa muihin järjestelmien ominaisuuksiin ja analysoidaan, missä määrin lisääminen tuottaa todellista etua ilman liiallista monimutkaisuutta. Keskeisiä käsitteitä ovat ilmaisukyky, konservatiivinen laajennus ja laskennallinen monimutkaisuus.

See also: expressivity, formal language, lambda calculus, modal logic, typing, extension. Etymology: lisä (additional) + ulottuvuus (extent, dimension).