Concept

Commonsense reasoning

Related lectures (22)

Neuro-symbolic Representations: Commonsense Knowledge & Reasoning

Delves into neuro-symbolic representations for commonsense knowledge and reasoning in natural language processing applications.

Neuro-symbolic Representations: Commonsense Knowledge & Reasoning

Explores neuro-symbolic representations for understanding commonsense knowledge and reasoning, emphasizing the challenges and limitations of deep learning in natural language processing.

Artificial Intelligence Fundamentals

Covers artificial intelligence fundamentals, emphasizing practical applications and programming exercises.

Learning-aided Program Reasoning

Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.

Neuroscience and AI: Bridging the Gap

Explores the gap between AI and human intelligence through neuroscience-inspired models and algorithms.

Beliefs: Definition and Mechanisms

Delves into the definition of beliefs, the influence on behavior, classification, and the relationship with science.

Transforms of the Place

Explores the intuition behind transforms of the place and addresses audience questions on integral calculations and function choices.

Contextual Representations: ELMO and BERT Overview

Covers contextual representations in NLP, focusing on ELMO and BERT architectures and their applications in various tasks.

Automated Planning: Modeling and Constraints

Explores automated planning, constraints, and applications in diverse domains, emphasizing the challenges and efficiency of solving planning problems.

Automated Reasoning in Practice

Explores practical automated reasoning systems like TPTP, TSTP, and CASC, emphasizing the importance of consistency and future developments.

Unclosed Curves Integrals

Covers the calculation of integrals over unclosed curves, focusing on essential singularities and residue calculation.

Induction for SMT Solvers

Explores techniques for induction in SMT solvers, focusing on CVC4's implementation and competitive performance with other provers.

Combinatorial Proofs: Frobenius Theorem

Explores combinatorial proofs for the Frobenius Theorem, demonstrating mathematical reasoning and calculations.

Convergence of a Recursively Defined Sequence

Explores the convergence of sequences defined by recursion and the mathematical reasoning behind it.

Entity & Information Extraction

Explores knowledge extraction from text, covering key concepts like keyphrase extraction and named entity recognition.

Banach Spaces: Reflexivity and Convergence

Explores Banach spaces, emphasizing reflexivity and sequence convergence in a rigorous mathematical framework.

Formal Verification and Program Synthesis

By the instructor Viktor Kuncak explores formal verification, program synthesis, and teaching activities at EPFL.

Proofs and Logic: Introduction

Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.

Predicate Logic: Basics and Applications

Covers the basics and applications of predicate logic, including quantifiers, predicates, and propositional functions.

Untitled