Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Inference

Related lectures (30)

Knowledge Representation: Introduction

Covers knowledge representation in AI, logical inference, and applications in various domains.

Music Semantics: Problems and Prospects

Explores music semantics, discussing inferences triggered by different musical elements and proposing a framework for understanding music's meaning.

Inference Engines: Resolution and Horn Clauses

Covers inference engines based on resolution, Horn clauses, filtering, and unification in artificial intelligence.

Knowledge Tracing

Delves into Bayesian Knowledge Tracing and Learning Curves, exploring the prediction of student knowledge over time and the importance of accurate performance measurement.

Variational Auto-Encoders and NVIB

Explores Variational Auto-Encoders, Bayesian inference, attention-based latent spaces, and the effectiveness of Transformers in language processing.

Propositional Logic: Inference Rules

Covers the interpretation of propositional logic and inference rules for implication, conjunction, and double negation.

Knowledge Inference for Graphs

Explores knowledge inference for graphs, discussing label propagation, optimization objectives, and probabilistic behavior.

Untitled

Inference of Reaction Kinetics

Focuses on the inference of reaction kinetics in combustion, covering rules inference, sensitivity analysis, and Bayesian inference.

Uncertain Reasoning: Bayesian Networks

Explores uncertain reasoning, Bayesian networks, and stochastic resolution, emphasizing the importance of probabilistic logic and abduction.

Proofs: Logical Equivalence and Inference Rules

Covers the concept of logical equivalence in proofs and inference rules.

Search Algorithms: Abductive Reasoning

Explores abductive reasoning, search algorithms, and heuristic search for problem-solving.

Bayesian Mapping of Landslide Hazard

Explores high-resolution Bayesian mapping of landslide hazard, emphasizing the significance of capturing unobserved triggers like rainfall intensity.

Expert Systems: Backward Chaining

Explores expert systems, backward chaining, and uncertainty through fuzzy logic in practical applications.

Logic Programming: Examples and Rules

Demonstrates logic programming with examples and rules, showcasing a tool for practical application.

Density of States and Bayesian Inference in Computational Mathematics

Explores computing density of states and Bayesian inference using importance sampling, showcasing lower variance and parallelizability of the proposed method.

Valid Arguments

Explains how to determine and build valid arguments in propositional logic.

Inference Rules in Propositional Logic

Covers inference rules in propositional logic and common logical fallacies.

Decision Trees and CLT's: Inference and Machine Learning

Explores decision trees, ensembles, CLT, inference, machine learning, diagnostic methods, boosting, and variance estimation.

Proofs: Rules and Applications

Explores rules of inference, quantified statements, and proof methods in logic and mathematics.