Artificial Intelligence

@artificialintelligence5438

71 tuit · page 2/2
Clause Form
Formal & Physical Sciences Mathematics
EN

Clause Form

Artificial Intelligence
35 min
★ ★ ★ ★ ☆ 4/5
ResolutionFirst-Order LogicCompleteness
Classification
Formal & Physical Sciences AI — Models & Research
EN

Classification

Artificial Intelligence
31 min
★ ★ ★ ★ ☆ 4/5
Description LogicsClassificationTaxonomy
CD Theory (contd)
Formal & Physical Sciences AI — Models & Research
EN

CD Theory (contd)

Artificial Intelligence
32 min
★ ★ ★ ★ ☆ 4/5
Conceptual DependencyKnowledge RepresentationNatural Language Processing
CD Theory
Formal & Physical Sciences AI — News & Applications
EN

CD Theory

Artificial Intelligence
31 min
★ ★ ★ ★ ☆ 4/5
Conceptual DependencyNatural Language ProcessingKnowledge Representation
Backward Chaining
Formal & Physical Sciences AI — Models & Research
EN

Backward Chaining

Artificial Intelligence
36 min
★ ★ ★ ★ ☆ 4/5
Backward ChainingLogic ProgrammingProlog
Applying Scripts
Formal & Physical Sciences AI — News & Applications
EN

Applying Scripts

Artificial Intelligence
27 min
★ ★ ★ ★ ☆ 4/5
ScriptsSAMConceptual Dependency
ALC examples
Formal & Physical Sciences AI — Models & Research
EN

ALC examples

Artificial Intelligence (YouTube channel)
27 min
★ ★ ★ ★ ☆ 4/5
Description LogicTableau MethodALC
A-box reasoning
Formal & Physical Sciences AI — Models & Research
EN

A-box reasoning

Artificial Intelligence
36 min
★ ★ ★ ★ ☆ 4/5
Description LogicsA-BoxReasoning
Proof Systems
Formal & Physical Sciences AI — News & Applications
EN

Proof Systems

Artificial Intelligence
32 min
★ ★ ★ ★ ☆ 4/5
First-Order LogicProof SystemsNatural Deduction
Unification
Formal & Physical Sciences AI — News & Applications
EN

Unification

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
UnificationLogic ProgrammingFirst-Order Logic
The Rete Algorithm
Formal & Physical Sciences AI — Models & Research
EN

The Rete Algorithm

Artificial Intelligence
33 min
★ ★ ★ ★ ☆ 4/5
Rete AlgorithmExpert SystemsRule-Based Systems
The OPS5 Expert System Shell
Formal & Physical Sciences AI — Models & Research
EN

The OPS5 Expert System Shell

Artificial Intelligence
35 min
★ ★ ★ ★ ☆ 4/5
OPS5Expert SystemsForward Chaining
Terminological Facts
Formal & Physical Sciences AI — News & Applications
EN

Terminological Facts

Artificial Intelligence
29 min
★ ★ ★ ★ ☆ 4/5
First-Order LogicKnowledge RepresentationTerminological Facts
Syntax
Formal & Physical Sciences AI — Models & Research
EN

Syntax

Artificial Intelligence
34 min
★ ★ ★ ★ ☆ 4/5
First-Order LogicSyntaxLogic
Skolemization
Formal & Physical Sciences AI — News & Applications
EN

Skolemization

Artificial Intelligence (channel)
35 min
★ ★ ★ ★ ☆ 4/5
First-Order LogicSkolemizationExistential Quantifier
Semantics
Formal & Physical Sciences AI — Models & Research
EN

Semantics

Artificial Intelligence
24 min
★ ★ ★ ★ ☆ 4/5
First-Order LogicSemanticsInterpretation
Rete Algorithm - Example
Formal & Physical Sciences AI — Models & Research
EN

Rete Algorithm - Example

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
Rete AlgorithmExpert SystemsForward Chaining
Properties and Categories
Formal & Physical Sciences AI — News & Applications
EN

Properties and Categories

Artificial Intelligence (channel)
32 min
★ ★ ★ ★ ☆ 4/5
First-Order LogicKnowledge RepresentationReification
Programming in a Rule Based Language
Formal & Physical Sciences AI — Models & Research
EN

Programming in a Rule Based Language

Artificial Intelligence
28 min
★ ★ ★ ★ ☆ 4/5
Rule-Based SystemsOPS5Rete Algorithm
Forward Chaining Rule Based Systems
Formal & Physical Sciences AI — Models & Research
EN

Forward Chaining Rule Based Systems

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
Forward ChainingRule-Based SystemsInference Engine
Forward Chaining
Formal & Physical Sciences AI — Models & Research
EN

Forward Chaining

Artificial Intelligence
36 min
★ ★ ★ ★ ☆ 4/5
Forward ChainingUnificationMost General Unifier
Entailment and Models
Formal & Physical Sciences AI — Models & Research
EN

Entailment and Models

Artificial Intelligence
34 min
★ ★ ★ ★ ☆ 4/5
First-Order LogicSemanticsEntailment
An Introduction to Formal Logics
Formal & Physical Sciences Mathematics
EN

An Introduction to Formal Logics

Artificial Intelligence (channel)
31 min
★ ★ ★ ★ ☆ 4/5
Formal LogicPropositional LogicFirst-Order Logic