Artificial Intelligence

Clause Form

Formulaire de clause

Classification

CD Theory (contd)

Théorie CD (suite)

CD Theory

Théorie de la dépendance conceptuelle

Backward Chaining

Chaînage arrière

Applying Scripts

Application de scripts

ALC examples

exemples ALC

A-box reasoning

Raisonnement A-box

Proof Systems

Systèmes de preuve

Unification

The Rete Algorithm

L'algorithme Rete

The OPS5 Expert System Shell

L'interface du système expert OPS5

Terminological Facts

Faits terminologiques

Syntax

Syntaxe

Skolemization

Skolémisation

Semantics

Sémantique

Rete Algorithm - Example

Rete Algorithm - Exemple

Propositional Logic: Valid Arguments and Proof Systems

Logique propositionnelle : Arguments valides et systèmes de preuve

Propositional Logic: The Tableau Method

Logique propositionnelle : La méthode des tableaux

Propositional Logic: The Resolution Refutation Method

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

Propositional Logic: Syntax and Truth Values

Logique propositionnelle : Syntaxe et valeurs de vérité

Propositional Logic: Rules of Inference and Natural Deduction

Logique propositionnelle : Règles d'inférence et déduction naturelle

Propositional Logic: Language, Semantics and Reasoning

Logique propositionnelle : Langage, Sémantique et Raisonnement

Propositional Logic: Axiomatic Systems and Hilbert Style Proofs

Logique propositionnelle : Systèmes axiomatiques et preuves de style Hilbert

Properties and Categories

Propriétés et Catégories

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

An Introduction to Formal Logics

Une Introduction aux Logiques Formelles