Kunskapsrepresentaiton Flashcards
Vad är kunskapsrepresentation?
Tekniker och processer som används för att representera eller spara kunskap i ett datorsystem på ett sätt som gör det möjligt att användas av intelligenta agenter eller system
Vad är ett knowledge representation system?
Ett set av tekniker, metoder och verktyg som används för att representera kunskap inom en specifik domän på ett strukturerat och organiserat sätt
Vad är önskvärda egenskaper för att kunskapsrepresentations system?
All sorts kunskap i domänen måste kunna reprenteras
❏ Ny kunskap måste vara enkel att lägga in (automatiskt?)
❏ Ny kunskap måste kunna härledas från den existerande
❏ Nya regler för härledningar måste vara enkla att lägga in
Vad är resonerande?
Att kunna härleda ny kunskap ur givna fakta är karakterisktiskt för kunskapssystem
Ex. John älskar Mary. Mary Kommer på festen. => Någon John älskar kommer på festen
Slutsatsen är ny kunskap härledd från etablerad kunskap
Vad är för och nackdelar med att representera kunskap i Naturligt Språk?
Fördelar:
- Extremt utrycksfullt
- Används av människor och fungerar som kunskapsrepresentation
Nackdelar:
- Både syntax och semantik hos naturliga språk är extremt komplicerad och inte förstådd till fullo.
- Är inte 100% regelbundet, finns massvis med undantag osv.
- Är ofta tvetydigt, betydelser beror på kontext mm.
Vad är Logic Theorist och General Problem Solver av Newell och Simon?
Tidiga försök att bygga konitiva simuleringar
Definerar heuristiska algoritmer för att simulera mänsklig kognition
Börjar i ett visst state space och försöker ta sig till ett goal state
Vad är Production Rules?
Villkorssatser: If … Then perform Action
Action: Slutsats eller en opertation
Formaliserade logikmodeller
Istället för heuristiska regler som simulerar mänskliga resonemang så ska vi använda oss av formell logik
Istället för imperativa algoritmer så ska vi använda ett deklarativt arbetssätt och ange målbilden
Vad är imperativa algoritmer?
Hur något ska göras ex. Gör sak ett, sedan sak två
Vad är ett deklarativt arbetssätt?
Ange lösningens önskade egenskaper, Vad som ska göras
Grundlade ett helt nytt paradigm inom programmering som ledde till AI-språken LISP och PROLOG
Vad är exempel på imperativa program?
Algoritm- Ett program som utförs steg för steg
Objektorienterade och procedurella
- Algoritmerbeskriver hur programmet tar sig från ett tillstånd till ett annat
Saknar generell mekanism för att härleda nya fakta
Inte särskilt lämpade för kunskapsrepresentation
Vad är exempel på deklarativa program?
Deklarativa program beskriver vad som ska utföras men inte hur.
Logiska och funktionella
- Definierar fakta och logiska regler
- Definierar procedurer genom matematiska funktioner
Ex. Prolog som låter en bygga upp en kunskaps databas tillsammans med logikregler kring hur fakta hänger ihop. Sedan kan frågor ställas till systemet och få fram nya fakta utan att behöva härleda dem själv