Justifications dans les approches ASP basées sur les règles : application au backjumping dans le solveur ASPeRiX
L’ Answer Set Programming (ASP) est un formalisme capable de représenter des connaissances en Intelligence Artificielle à l’aide d’un programme logique au premier ordre pouvant contenir des négations par défaut. En quelques années, plusieurs solveurs performants ont été proposés pour calculer les so...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2016ANGE0026/document |