Bonjour,

Concernant le raisonnement non monotonique, je voudrais savoir s'il y a un langage de représentation des règles non monotoniques ?

J'ai une base de connaissances contenant des faits et des règles non monotoniques (règles strictes + règles défaisables) et j'aimerais la représenter suivant un langage bien dédié comme le langage SWRL pour le raisonnement monotonique.

y a t il un langage ou un modèle de représentation des règles non monotoniques ?

Merci d'avance