Matematiske modeller i kunstig intelligens

Kunstig intelligens er ikke blot én bestemt teori, teknik eller metode, men dækker over en lang række forskellige teknikker til at simulere aspekter af menneskelig kognition på en computer. Forskelligheden i teknikkerne dækker blandt andet over, at de forsøger at efterligne forskellige typer af intelligens, fx sproglig, social eller logisk intelligens. Forskelligheden dækker også over, at vi forsøger at efterligne intelligens på forskellige abstraktionsniveauer gående fra direkte forsøg på at efterligne de atomare neurologiske processer i hjernen helt op til meget abstrakte modeller af vores bevidste, sproglige og logiske tænkning. Fælles for alle teknikkerne er, at det handler om at skabe matematiske modeller af aspekter af kognition, og at få computere til at regne på disse modeller. Desuden handler det om at få kunstig intelligens-systemerne til selv at skabe modeller af deres omverden, som de kan bruge til at ræsonnere om denne omverden. I denne artikel vil vi først give en introduktion til kunstig intelligens og de forskellige hovedparadigmer indenfor området. Dernæst vil vi gå lidt mere i detaljen med, hvordan logiske modeller kan bruges til at skabe ræsonnerende robotter.