Wumpus World
Definition
The Wumpus World is a grid-based environment introduced in Russell and Norvig’s AI …
Logic
Symbolic artificial intelligence
Definition
Symbolic artificial intelligence, often called GOFAI (Good Old-Fashioned AI), relies on …
Statistical relational learning
Definition
Statistical relational learning (SRL) combines probability theory with relational data …
STIT logic
Definition
STIT stands for ‘See To It That’. It is a branch of modal logic used …
Reasoning model
Definition
Unlike standard generative models focused on fluency, reasoning models prioritize …
Problem solving
Definition
In artificial intelligence, problem solving refers to the systematic approach of …
Knowledge-based recommender system
Definition
Unlike collaborative filtering, which relies on past user behavior, KBRS uses explicit …
Knowledge Compilation
Definition
Knowledge compilation refers to techniques in artificial intelligence that convert a …
Inductive Probability
Definition
Inductive probability quantifies how likely a hypothesis is true given observed evidence, …
Gabbay's separation theorem
Definition
Gabbay’s separation theorem is a fundamental concept in mathematical logic, …
GOLOG
Definition
GOLOG is a logic-based programming language used primarily in artificial intelligence for …
Epistemic modal logic
Definition
Epistemic modal logic extends classical logic with operators that denote what an agent …
Dynamic Epistemic Logic
Definition
Dynamic Epistemic Logic (DEL) extends modal logic to model how knowledge evolves when …
Attributional Calculus
Definition
Attributional calculus is a branch of modal logic focused on reasoning about epistemic …
Argumentation framework
Definition
Argumentation frameworks provide a mathematical basis for representing arguments, …
Agentive logic
Definition
It extends traditional logic to account for agency, allowing systems to represent …
Reasoning
Definition
In AI, reasoning involves algorithms that simulate logical deduction, induction, or …
Planning
Definition
Planning in AI involves determining a sequence of actions that will lead from an initial …
multi-step
Definition
Multi-step methods involve breaking down a complex query or task into smaller, executable …
first-order
Definition
In artificial intelligence and mathematics, ‘first-order’ typically describes …
Unlike
Definition
In database querying and logic, ‘Unlike’ typically refers to the NOT LIKE …
Given
Definition
In AI and computer science contexts, ‘given’ refers to the initial state, …
Decision
Definition
Decision-making in AI involves selecting the optimal action from a set of possibilities …