Artificial intelligence (AI)

Thema UYQ

1715 tuit · page 43/43

Humanities, Social Sciences & Thought AI — News & Applications

SFIA Monthly Livestream: November 24, 2019

Isaac Arthur

November 24, 2019 61 min

★ ★ ★ ★ ☆ 4/5

Science FictionFutureQ&A

Humanities, Social Sciences & Thought AI — News & Applications

The Paperclip Maximizer

Isaac Arthur

September 1, 2019 22 min

★ ★ ★ ★ ☆ 4/5

Paperclip MaximizerInstrumental ConvergenceAI Safety

Humanities, Social Sciences & Thought AI — News & Applications

Hanging out with everydAI - AI vs Neanderthals

Stefan Milo

April 16, 2019 12 min

★ ★ ★ ☆ ☆ 3/5

Artificial IntelligenceNeanderthalsHuman Evolution

Formal & Physical Sciences AI — News & Applications

The Role of Interaction and Embodied Cognition in Computational Ontology

Marco Schorlemmer

January 18, 2019 41 min

★ ★ ★ ★ ☆ 4/5

OntologyEmbodied CognitionConceptual Blending

Humanities, Social Sciences & Thought AI — News & Applications

Dune Talk: The Butlerian Jihad & The Dangers of Artificial Intelligence

Quinn's Ideas

July 27, 2018 15 min

★ ★ ★ ☆ ☆ 3/5

DuneButlerian JihadArtificial Intelligence

Humanities, Social Sciences & Thought AI — News & Applications

10 Unsettling Artificial Intelligence Scenarios

John Michael Godier

June 2, 2018 14 min

★ ★ ★ ★ ☆ 4/5

Artificial IntelligenceSuperintelligenceExistential Risk

Applied Sciences & Engineering AI — News & Applications

SQUADRON 42 ATV FR - Créer des IAs réalistes !

SQUADRON 42 ATV FR - Creating realistic AIs!

Hugo Lisoir

March 30, 2018 10 min

★ ★ ★ ★ ☆ 4/5

Star CitizenSquadron 42Game AI

Humanities, Social Sciences & Thought AI — News & Applications

Machine Rebellion

Isaac Arthur

November 30, 2017 32 min

★ ★ ★ ★ ☆ 4/5

AI SafetyArtificial IntelligenceMachine Rebellion

Formal & Physical Sciences AI — News & Applications

Lessons in practical machine intelligence, Dr. Greg Corrado

Dr. Greg Corrado

June 17, 2016 26 min

★ ★ ★ ★ ☆ 4/5

Machine LearningDeep LearningArtificial Neural Networks

Formal & Physical Sciences AI — News & Applications

Circumscription in EC

Artificial Intelligence

April 4, 2016 32 min

★ ★ ★ ★ ☆ 4/5

Event CalculusCircumscriptionNon-Monotonic Reasoning

Formal & Physical Sciences AI — News & Applications

Minimal Models

Artificial Intelligence

March 31, 2016 33 min

★ ★ ★ ★ ☆ 4/5

CircumscriptionDefault ReasoningNon-Monotonic Logic

Formal & Physical Sciences AI — News & Applications

Introduction.

Artificial Intelligence

March 31, 2016 31 min

★ ★ ★ ★ ☆ 4/5

Default ReasoningNon-Monotonic LogicClosed World Assumption

Formal & Physical Sciences AI — News & Applications

Event Calculus Revisited

Artificial Intelligence (channel)

March 31, 2016 30 min

★ ★ ★ ★ ☆ 4/5

Event CalculusCircumscriptionFrame Problem

Formal & Physical Sciences AI — News & Applications

Circumscription (contd)

Artificial Intelligence

March 31, 2016 29 min

★ ★ ★ ★ ☆ 4/5

CircumscriptionNon-Monotonic LogicMinimal Entailment

Formal & Physical Sciences AI — News & Applications

Circumscription

Artificial Intelligence

March 31, 2016 30 min

★ ★ ★ ★ ☆ 4/5

CircumscriptionDefault ReasoningNon-Monotonic Logic

Formal & Physical Sciences AI — News & Applications

Beliefs

Artificial Intelligence

March 28, 2016 25 min

★ ★ ★ ★ ☆ 4/5

Inheritance HierarchiesAdmissibilityKnowledge Representation

Formal & Physical Sciences AI — News & Applications

The Resolution Method for FOL

Artificial Intelligence (channel)

March 8, 2016 31 min

★ ★ ★ ★ ☆ 4/5

ResolutionFirst-Order LogicClause Form

Formal & Physical Sciences AI — News & Applications

The Event Calculus: Reasoning About Change

Artificial Intelligence

February 12, 2016 36 min

★ ★ ★ ★ ☆ 4/5

Event CalculusKnowledge RepresentationReasoning About Change

Formal & Physical Sciences AI — News & Applications

Structure Matching - Example

Artificial Intelligence

February 4, 2016 27 min

★ ★ ★ ★ ☆ 4/5

Description LogicsKnowledge RepresentationStructure Matching

Formal & Physical Sciences AI — News & Applications

Structure Matching

Artificial Intelligence (channel)

February 4, 2016 27 min

★ ★ ★ ★ ☆ 4/5

Description LogicsSubsumptionKnowledge Representation

Formal & Physical Sciences AI — News & Applications

Search in Prolog

Artificial Intelligence

February 4, 2016 26 min

★ ★ ★ ★ ☆ 4/5

PrologDepth-First SearchRecursion

Formal & Physical Sciences AI — News & Applications

Plan Applier Mechanism

Artificial Intelligence

February 4, 2016 30 min

★ ★ ★ ★ ☆ 4/5

PAMStory UnderstandingNatural Language Processing

Formal & Physical Sciences AI — News & Applications

M7 Lec 2 - The Resolution Refutation method for First Order Logic

Artificial Intelligence

February 4, 2016 31 min

★ ☆ ☆ ☆ ☆ 1/5

ResolutionFirst-Order LogicArtificial Intelligence

Formal & Physical Sciences AI — News & Applications

Logic Programming

Artificial Intelligence (channel)

February 4, 2016 33 min

★ ★ ★ ★ ☆ 4/5

Logic ProgrammingPrologBackward Chaining

Formal & Physical Sciences AI — News & Applications

Introduction

Artificial Intelligence

February 4, 2016 43 min

★ ★ ★ ★ ☆ 4/5

Description LogicsKnowledge RepresentationArtificial Intelligence

Formal & Physical Sciences AI — News & Applications

Goals, Plans and Actions

Artificial Intelligence (channel)

February 4, 2016 29 min

★ ★ ★ ★ ☆ 4/5

AINatural Language UnderstandingPlans

Formal & Physical Sciences AI — News & Applications

Controlling Search

Artificial Intelligence

February 4, 2016 32 min

★ ★ ★ ★ ☆ 4/5

PrologLogic ProgrammingCut

Formal & Physical Sciences AI — News & Applications

Complexity of Resolution Refutation

Artificial Intelligence

February 4, 2016 40 min

★ ★ ★ ★ ☆ 4/5

ResolutionComplexityHorn Clauses

Formal & Physical Sciences AI — News & Applications

CD Theory

Artificial Intelligence

February 4, 2016 31 min

★ ★ ★ ★ ☆ 4/5

Conceptual DependencyNatural Language ProcessingKnowledge Representation

Formal & Physical Sciences AI — News & Applications

Applying Scripts

Artificial Intelligence

February 4, 2016 27 min

★ ★ ★ ★ ☆ 4/5

ScriptsSAMConceptual Dependency

Formal & Physical Sciences AI — News & Applications

Proof Systems

Artificial Intelligence

January 30, 2016 32 min

★ ★ ★ ★ ☆ 4/5

First-Order LogicProof SystemsNatural Deduction

Formal & Physical Sciences AI — News & Applications

Unification

Artificial Intelligence

January 12, 2016 30 min

★ ★ ★ ★ ☆ 4/5

UnificationLogic ProgrammingFirst-Order Logic

Formal & Physical Sciences AI — News & Applications

Terminological Facts

Artificial Intelligence

January 12, 2016 29 min

★ ★ ★ ★ ☆ 4/5

First-Order LogicKnowledge RepresentationTerminological Facts

Formal & Physical Sciences AI — News & Applications

Skolemization

Artificial Intelligence (channel)

January 12, 2016 35 min

★ ★ ★ ★ ☆ 4/5

First-Order LogicSkolemizationExistential Quantifier

Formal & Physical Sciences AI — News & Applications

Properties and Categories

Artificial Intelligence (channel)

January 12, 2016 32 min

★ ★ ★ ★ ☆ 4/5

First-Order LogicKnowledge RepresentationReification