Développement et Vérification des Logiques Probabilistes et des Cadres Logiques
On présente une Logique Probabiliste avec des Operateurs Conditionnels - LPCP, sa syntaxe, sémantique, axiomatisation correcte et fortement complète, comprenant une règle de déduction infinitaire. On prouve que LPCP est décidable, et on l'étend pour qu'il puisse représenter l'évidence...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université Nice Sophia Antipolis
2013
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00911547 http://tel.archives-ouvertes.fr/docs/00/91/15/47/PDF/Thesis.pdf http://tel.archives-ouvertes.fr/docs/00/91/15/47/ANNEX/A-Newspaper-Phd-INRIA-UNICE-MISANU.pdf |