symbolsk reasoning
Symbolsk reasoning er en metode inden for kunstig intelligens, hvor viden repræsenteres ved hjælp af symboler og logiske regler, og hvor inferens udføres gennem symbolmanipulation.
Kort fortalt
Symbolsk reasoning er en AI-teknik, der bruger symboler og regler til at ræsonnere, ligesom en logisk matematiker eller et ekspertsystem.
- Kategori
- teknik
- Niveau
- øvet
Betydninger
1- 1
En tilgang til kunstig intelligens, hvor viden repræsenteres eksplicit ved hjælp af symboler (f.eks. logiske formler, semantiske net) og ræsonnement foregår ved at manipulere disse symboler efter formelle regler (f.eks. modus ponens, unification).
- Et ekspertsystem til medicinsk diagnose anvender symbolsk reasoning: det repræsenterer symptomer som symboler og bruger hvis-så-regler til at udlede sygdomme.
- Symbolsk reasoning var dominerende i AI's tidlige år, men er i dag ofte kombineret med neurale netværk i hybridsystemer.
Hvornår bruges det
Symbolsk reasoning anvendes i ekspertsystemer, formelle verifikationsværktøjer og vidensrepræsentation, typisk når domænet har veldefinerede regler og logik. Det er velegnet til opgaver som diagnose, planlægning og automatisk bevisførelse.
Oprindelse
'Symbolsk' kommer fra græsk 'symbolon' (tegn) og 'reasoning' fra latin 'ratio' (fornuft). Begrebet opstod i 1950'erne med fremkomsten af 'symbolsk AI'.
Kilder
1- Russell, S., & Norvig, P. (2020). Artificial Intelligence: A Modern Approach (4th ed.).