— Recherche fondamentale en Intelligence artificielle
Logos — les structures élémentaires du raisonnement.
EINORA mène des recherches fondamentales en anthropologie et mathématiques pour concevoir des systèmes de raisonnement non monotone et de révision des croyances.
Notre approche
- Scope
- La démarche relie sciences humaines, mathématiques et informatique dans une perspective dialectique.
- Théorie
- Anthropologie + mathématiques. Dégager les structures des phénomènes symboliques.
- Applications
- Informatique + IA. Mettre ces structures à l'épreuve dans des systèmes distribués.
Théorie
Anthropologie
01 · Théorie
Le point de départ
Une approche structurale des systèmes symboliques.
- 01.1
- Systèmes symboliques
- Comment les sociétés pensent par symboles.
-
- symbole
- symbolique
- structure
- 01.2
- Catégorisation et ontologies
- Les manières d'ordonner le monde.
-
- catégorisation
- ontologies
- taxonomies
- 01.3
- Représentation et structure
- L'esprit comme producteur de structures.
-
- représentation
- symbole
- esprit
Mathématiques
02 · Théorie
Le moment formel
Les structures mathématiques comme langage rigoureux.
- 02.1
- Structures et catégories
- La théorie des structures comme grammaire commune.
-
- catégories
- structures
- axiomatique
- 02.2
- Groupes et symétries
- L'algèbre des transformations.
-
- groupes
- symétries
- algèbre
- 02.3
- Logique & Prolog
- Programmation logique et raisonnement.
-
- logique
- Prolog
Applications
Informatique & IA
03 · Applications
L'aboutissement
Traduire les structures en systèmes capables d'inférence.
- 03.1
- Systèmes distribués
- Cohérence sans coordination ; théorème CALM.
-
- systèmes distribués
- CALM
- cohérence
- 03.2
- Révision des croyances
- Théorie AGM, raisonnement non monotone.
-
- AGM
- non-monotone
- défaisable
- 03.3
- Représentation des connaissances
- Cadre KRR : inférence logique et vérifiable.
-
- KRR
- inférence
- raisonnement
À propos
EINORA est un laboratoire de recherche. Le projet Logos part d'une conviction : les structures qui organisent le social peuvent être décrites avec la rigueur des mathématiques.
Cette formalisation ouvre sur des applications en informatique et en intelligence artificielle.