IA — Modèles & Recherche

Autoepistemc Logic

Logique auto-épistémique

Taxonomies and Inheritance

Taxonomies et héritage

Natural Language Semantics

Sémantique du langage naturel

Resource Description Framework (RDF)

Cadre de description des ressources (RDF)

English to CD Theory

Théorie de l'anglais au CD

Top Down and Bottom Up Reasoning

Raisonnement de haut en bas et de bas en haut

Semantic Nets and Frames

Réseaux et cadres sémantiques

Reification and Abstract Entities

Réification et entités abstraites

Normalisation

Natural Language Semantics

Sémantique du langage naturel

DL: Extensions

DL : Extensions

DL: ALC

Classification

CD Theory (contd)

Théorie CD (suite)

Backward Chaining

Chaînage arrière

ALC examples

exemples ALC

A-box reasoning

Raisonnement A-box

The Rete Algorithm

L'algorithme Rete

The OPS5 Expert System Shell

L'interface du système expert OPS5

Syntax

Syntaxe

Semantics

Sémantique

Rete Algorithm - Example

Rete Algorithm - Exemple

Propositional Logic: The Resolution Refutation Method

Logique propositionnelle : La méthode de réfutation par résolution

Programming in a Rule Based Language

Programmation dans un langage basé sur des règles

Introduction to Knowledge Representation and Reasoning

Introduction à la représentation des connaissances et au raisonnement

Forward Chaining Rule Based Systems

Systèmes basés sur des règles de chaînage avant

Forward Chaining

Chaînage avant

Entailment and Models

Implication et modèles