Artificial Intelligence

@artificialintelligence5438

71 tuit · page 1/2
The Muddy Children Puzzle
Formal & Physical Sciences Philosophy & Ethics
EN

The Muddy Children Puzzle

Artificial Intelligence
24 min
★ ★ ★ ★ ☆ 4/5
Epistemic LogicMuddy Children PuzzleCommon Knowledge
Epistemic Logic
Formal & Physical Sciences Philosophy & Ethics
EN

Epistemic Logic

Artificial Intelligence
33 min
★ ★ ★ ★ ☆ 4/5
Epistemic LogicKnowledge RepresentationKripke Semantics
Default Logic
Formal & Physical Sciences AI — Models & Research
EN

Default Logic

Artificial Intelligence (channel)
35 min
★ ★ ★ ★ ☆ 4/5
Default LogicNon-Monotonic ReasoningKnowledge Representation
Circumscription in EC
Formal & Physical Sciences AI — News & Applications
EN

Circumscription in EC

Artificial Intelligence
32 min
★ ★ ★ ★ ☆ 4/5
Event CalculusCircumscriptionNon-Monotonic Reasoning
Autoepistemc Logic
Formal & Physical Sciences AI — Models & Research
EN

Autoepistemc Logic

Artificial Intelligence
42 min
★ ★ ★ ★ ☆ 4/5
Autoepistemic LogicNonmonotonic ReasoningBelief Logic
Minimal Models
Formal & Physical Sciences AI — News & Applications
EN

Minimal Models

Artificial Intelligence
33 min
★ ★ ★ ★ ☆ 4/5
CircumscriptionDefault ReasoningNon-Monotonic Logic
Introduction.
Formal & Physical Sciences AI — News & Applications
EN

Introduction.

Artificial Intelligence
31 min
★ ★ ★ ★ ☆ 4/5
Default ReasoningNon-Monotonic LogicClosed World Assumption
Event Calculus Revisited
Formal & Physical Sciences AI — News & Applications
EN

Event Calculus Revisited

Artificial Intelligence (channel)
30 min
★ ★ ★ ★ ☆ 4/5
Event CalculusCircumscriptionFrame Problem
Circumscription (contd)
Formal & Physical Sciences AI — News & Applications
EN

Circumscription (contd)

Artificial Intelligence
29 min
★ ★ ★ ★ ☆ 4/5
CircumscriptionNon-Monotonic LogicMinimal Entailment
Circumscription
Formal & Physical Sciences AI — News & Applications
EN

Circumscription

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
CircumscriptionDefault ReasoningNon-Monotonic Logic
Inheritance Hierarchies:
Formal & Physical Sciences Computing & Cybersecurity
EN

Inheritance Hierarchies:

Artificial Intelligence
33 min
★ ★ ★ ★ ☆ 4/5
Inheritance HierarchiesNon-Monotonic ReasoningKnowledge Representation
Beliefs
Formal & Physical Sciences AI — News & Applications
EN

Beliefs

Artificial Intelligence
25 min
★ ★ ★ ★ ☆ 4/5
Inheritance HierarchiesAdmissibilityKnowledge Representation
Taxonomies and Inheritance
Formal & Physical Sciences AI — Models & Research
EN

Taxonomies and Inheritance

Artificial Intelligence
31 min
★ ★ ★ ★ ☆ 4/5
Inheritance NetworksKnowledge RepresentationDefeasible Reasoning
The Resolution Method for FOL
Formal & Physical Sciences AI — News & Applications
EN

The Resolution Method for FOL

Artificial Intelligence (channel)
31 min
★ ★ ★ ★ ☆ 4/5
ResolutionFirst-Order LogicClause Form
Natural Language Semantics
Formal & Physical Sciences AI — Models & Research
EN

Natural Language Semantics

Artificial Intelligence (channel)
30 min
★ ★ ★ ★ ☆ 4/5
Conceptual DependencyNatural Language UnderstandingKnowledge Representation
The Cut Operator in Prolog
Formal & Physical Sciences Computing & Cybersecurity
EN

The Cut Operator in Prolog

Artificial Intelligence
35 min
★ ★ ★ ★ ☆ 4/5
PrologCut OperatorLogic Programming
The Event Calculus: Reasoning About Change
Formal & Physical Sciences AI — News & Applications
EN

The Event Calculus: Reasoning About Change

Artificial Intelligence
36 min
★ ★ ★ ★ ☆ 4/5
Event CalculusKnowledge RepresentationReasoning About Change
Resource Description Framework (RDF)
Formal & Physical Sciences AI — Models & Research
EN

Resource Description Framework (RDF)

Artificial Intelligence
33 min
★ ★ ★ ★ ☆ 4/5
RDFSemantic WebKnowledge Representation
English to CD Theory
Formal & Physical Sciences AI — Models & Research
EN

English to CD Theory

Artificial Intelligence
33 min
★ ★ ★ ★ ☆ 4/5
Conceptual DependencyNatural Language ProcessingKnowledge Representation
Top Down and Bottom Up Reasoning
Formal & Physical Sciences AI — Models & Research
EN

Top Down and Bottom Up Reasoning

Artificial Intelligence
31 min
★ ★ ★ ★ ☆ 4/5
PAMNatural Language UnderstandingTop-Down Reasoning
Structure Matching - Example
Formal & Physical Sciences AI — News & Applications
EN

Structure Matching - Example

Artificial Intelligence
27 min
★ ★ ★ ★ ☆ 4/5
Description LogicsKnowledge RepresentationStructure Matching
Structure Matching
Formal & Physical Sciences AI — News & Applications
EN

Structure Matching

Artificial Intelligence (channel)
27 min
★ ★ ★ ★ ☆ 4/5
Description LogicsSubsumptionKnowledge Representation
Semantic Nets and Frames
Formal & Physical Sciences AI — Models & Research
EN

Semantic Nets and Frames

Artificial Intelligence
34 min
★ ★ ★ ★ ☆ 4/5
Semantic NetsFramesKnowledge Representation
Search in Prolog
Formal & Physical Sciences AI — News & Applications
EN

Search in Prolog

Artificial Intelligence
26 min
★ ★ ★ ★ ☆ 4/5
PrologDepth-First SearchRecursion
Scripts
Formal & Physical Sciences Computing & Cybersecurity
EN

Scripts

Artificial Intelligence (channel)
32 min
★ ★ ★ ★ ☆ 4/5
ScriptsKnowledge RepresentationNatural Language Understanding
Reification and Abstract Entities
Formal & Physical Sciences AI — Models & Research
EN

Reification and Abstract Entities

Artificial Intelligence
33 min
★ ★ ★ ★ ☆ 4/5
Knowledge RepresentationReificationAbstract Entities
Prolog
Formal & Physical Sciences Computing & Cybersecurity
EN

Prolog

Artificial Intelligence (channel)
38 min
★ ★ ★ ★ ☆ 4/5
PrologLogic ProgrammingBackward Chaining
Plan Applier Mechanism
Formal & Physical Sciences AI — News & Applications
EN

Plan Applier Mechanism

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
PAMStory UnderstandingNatural Language Processing
Normalisation
Formal & Physical Sciences AI — Models & Research
EN

Normalisation

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
Description LogicsKnowledge RepresentationOntology
Natural Language Semantics
Formal & Physical Sciences AI — Models & Research
EN

Natural Language Semantics

Artificial Intelligence (channel)
31 min
★ ★ ★ ★ ☆ 4/5
Conceptual DependencyNatural Language UnderstandingKnowledge Representation
Logic Programming
Formal & Physical Sciences AI — News & Applications
EN

Logic Programming

Artificial Intelligence (channel)
33 min
★ ★ ★ ★ ☆ 4/5
Logic ProgrammingPrologBackward Chaining
Introduction
Formal & Physical Sciences AI — News & Applications
EN

Introduction

Artificial Intelligence
43 min
★ ★ ★ ★ ☆ 4/5
Description LogicsKnowledge RepresentationArtificial Intelligence
Incompleteness
Formal & Physical Sciences Mathematics
EN

Incompleteness

Artificial Intelligence
29 min
★ ★ ★ ★ ☆ 4/5
LogicResolutionCompleteness
Goals, Plans and Actions
Formal & Physical Sciences AI — News & Applications
EN

Goals, Plans and Actions

Artificial Intelligence (channel)
29 min
★ ★ ★ ★ ☆ 4/5
AINatural Language UnderstandingPlans
FOL with Equality
Formal & Physical Sciences Mathematics
EN

FOL with Equality

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
First-Order LogicEqualityResolution
DL: Extensions
Formal & Physical Sciences AI — Models & Research
EN

DL: Extensions

Artificial Intelligence
32 min
★ ★ ★ ★ ☆ 4/5
Description LogicsKnowledge RepresentationSemantic Web
DL: ALC
Formal & Physical Sciences AI — Models & Research
EN

DL: ALC

Artificial Intelligence (channel)
30 min
★ ★ ★ ★ ☆ 4/5
Description LogicALCTableau Method
Controlling Search
Formal & Physical Sciences AI — News & Applications
EN

Controlling Search

Artificial Intelligence
32 min
★ ★ ★ ★ ☆ 4/5
PrologLogic ProgrammingCut
Complexity of Resolution Refutation
Formal & Physical Sciences AI — News & Applications
EN

Complexity of Resolution Refutation

Artificial Intelligence
40 min
★ ★ ★ ★ ☆ 4/5
ResolutionComplexityHorn Clauses