next up previous contents
Next: Abstraktion og Sprog Up: Metodelære Previous: Programmeringsprog

Problem-rammer

Bestemte læsere måtte, indtil dette sted, have bemærket at artiklen -- udover flere referenser til oversættere og fortolkere (blandt datalogiens ypperste teknologiske frembringelser) -- endnu ikke nævneværdigt har behandlet problemet: databasestyresystemer, datakommunikations- og netværksstyresystemer, endsige operativsystemer. Også disse er jo vigtige elementer i et brugbart datasystem. Hvad skyldes det at jeg ligesom har ``fortrængt'', eller i det mindste udsat, til et så sent `tidspunkt', i det mindste en systematisk indpasning af denne -- som tidligere implicit nævnt -- datalogisk navlebeskuende datamatik? Svaret er ganske enkelt, at disse former for systemer ``blot'' er eksempler fra hver sin klasse af datamatisk teknologi. Jeg vil nu prøve en systematisk indpasning. Dvs. en form for ``opremsning'' som tilføjer ikke-trivial viden.

Generelt er det så, at der ikke findes een metode, der sikkert bringer datalogen frem til ethvert af de mange datamatiske systemer denne artikel omtaler. Man kan opdele den datamatiske verden i flere klasser systemer, hver klasse bestemt ved sin såkaldte `problem-ramme'. Klassedelingen er bestemt ved at alle eksempler på instantieringer af klassens elementer (som hver for sig udgør et større stykke programmel) stort set udvikles vha. en nærmere bestemt metode; samt ved at to forskellige klasser repræsenterer væsensforskellige metoder. Eksempler er:

Jeg vil iøvrigt overlade det til min gode kollega professor Jørgen Fischer Nilsson nærmere at beskrive hele det store, meget spændende og komplementære område: videnbaserede systemer. Vi har ved een lejlighed, umiddelbart før jeg rejste på min 5 års orlov til Macau, arbejdet sammen på en dengang internationalt fremlagt artikel om en mulig forståelse af overgange mellem algoritmiske og videnbaserede systemer.gif


next up previous contents
Next: Abstraktion og Sprog Up: Metodelære Previous: Programmeringsprog

Dines Bjorner
Fri Sep 5 08:26:58 MET DST 1997