Expert systems

Thema UYQE — knowledge-based systems

25 tuit
Default Logic
Formal & Physical Sciences AI — Models & Research
EN

Default Logic

Artificial Intelligence (channel)
35 min
★ ★ ★ ★ ☆ 4/5
Default LogicNon-Monotonic ReasoningKnowledge Representation
Autoepistemc Logic
Formal & Physical Sciences AI — Models & Research
EN

Autoepistemc Logic

Artificial Intelligence
42 min
★ ★ ★ ★ ☆ 4/5
Autoepistemic LogicNonmonotonic ReasoningBelief Logic
Taxonomies and Inheritance
Formal & Physical Sciences AI — Models & Research
EN

Taxonomies and Inheritance

Artificial Intelligence
31 min
★ ★ ★ ★ ☆ 4/5
Inheritance NetworksKnowledge RepresentationDefeasible Reasoning
Resource Description Framework (RDF)
Formal & Physical Sciences AI — Models & Research
EN

Resource Description Framework (RDF)

Artificial Intelligence
33 min
★ ★ ★ ★ ☆ 4/5
RDFSemantic WebKnowledge 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
Semantic Nets and Frames
Formal & Physical Sciences AI — Models & Research
EN

Semantic Nets and Frames

Artificial Intelligence
34 min
★ ★ ★ ★ ☆ 4/5
Semantic NetsFramesKnowledge Representation
Reification and Abstract Entities
Formal & Physical Sciences AI — Models & Research
EN

Reification and Abstract Entities

Artificial Intelligence
33 min
★ ★ ★ ★ ☆ 4/5
Knowledge RepresentationReificationAbstract Entities
Backward Chaining
Formal & Physical Sciences AI — Models & Research
EN

Backward Chaining

Artificial Intelligence
36 min
★ ★ ★ ★ ☆ 4/5
Backward ChainingLogic ProgrammingProlog
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
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
Rete Algorithm - Example
Formal & Physical Sciences AI — Models & Research
EN

Rete Algorithm - Example

Artificial Intelligence
30 min
★ ★ ★ ★ ☆ 4/5
Rete AlgorithmExpert SystemsForward Chaining
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