Symboolgebaseerde kunstmatige intelligentie
Definition
Symboolgebaseerde kunstmatige intelligentie, vaak aangeduid als GOFAI (Good Old-Fashioned …
Logic
Terms tagged with Logic
Statistisch relationeel leren
Definition
Statistisch relationeel leren (SRL) combineert kansrekening met relationele …
STIT-logica
Definition
STIT staat voor ‘See To It That’ (Zorg ervoor dat). Het is een tak van de …
Redeneermodel
Definition
In tegenstelling tot standaard generatieve modellen die zich richten op vloeiendheid, …
Probleemoplossing
Definition
In kunstmatige intelligentie verwijst probleemoplossing naar de systematische aanpak om …
Knowledge-based recommender system
Definition
In tegenstelling tot collaboratieve filtering, die vertrouwt op eerder gebruikersgedrag, …
Knowledge Compilation
Definition
Knowledge compilation verwijst naar technieken in kunstmatige intelligentie die een …
Inductieve Waarschijnlijkheid
Definition
Inductieve waarschijnlijkheid kwantificeert hoe waarschijnlijk het is dat een hypothese …
Stelling van Gabbay over scheiding
Definition
De stelling van Gabbay over scheiding is een fundamenteel concept in de wiskundige …
GOLOG
Definition
GOLOG is een op logica gebaseerde programmeertaal die voornamelijk in de kunstmatige …
Epistemische modale logica
Definition
Epistemische modale logica breidt klassieke logica uit met operatoren die aanduiden wat …
Dynamische epistemische logica
Definition
Dynamische epistemische logica (DEL) breidt modale logica uit om te modelleren hoe kennis …
Attributieve calculus
Definition
Attributieve calculus is een tak van de modale logica die zich richt op redeneren over …
Argumentatieraamwerk
Definition
Argumentatieraamwerken bieden een wiskundige basis voor het representeren van argumenten, …
Agentieve logica
Definition
Het breidt traditionele logica uit om rekening te houden met agentuur, waardoor systemen …
Redeneren
Definition
In AI omvat redeneren algoritmen die logische deductie, inductie of abductie simuleren om …
Plannen
Definition
Plannen in AI omvat het bepalen van een reeks acties die leiden van een beginsituatie …
multi-step
Definition
Multi-step-methoden houden in dat een complexe vraag of taak wordt opgesplitst in …
eerste-orde
Definition
In kunstmatige intelligentie en wiskunde beschrijft ’eerste-orde’ doorgaans …
UNLIKE
Definition
Bij databasequery’s en logica verwijst ‘UNLIKE’ meestal naar de NOT …
Gegeven
Definition
In AI- en informaticasamenhangen verwijst ‘gegeven’ naar de beginstatus, de …
Beslissing
Definition
Besluitvorming in AI omvat het selecteren van de optimale actie uit een reeks …