human
Veuillez expliquer ce qu'est la "Circonscription (logique)"
gpt
La circonscription est une logique non monotone créée par John McCarthy pour formaliser l'hypothèse de bon sens selon laquelle les choses sont comme prévu, sauf indication contraire. La circonscription a ensuite été utilisée par McCarthy pour tenter de résoudre le problème du cadre. Pour implémenter la circonscription dans sa formulation initiale, McCarthy a augmenté la logique du premier ordre pour permettre la minimisation de l'extension de certains prédicats, où l'extension d'un prédicat est l'ensemble de tuples de valeurs sur lesquelles le prédicat est vrai. Cette minimisation est similaire à l'hypothèse du monde fermé selon laquelle ce qui n'est pas connu pour être vrai est faux.
Le problème initial considéré par McCarthy était celui des missionnaires et des cannibales : il y a trois missionnaires et trois cannibales sur une rive d'une rivière ; ils doivent traverser la rivière à l'aide d'un bateau qui ne peut en prendre que deux, avec la contrainte supplémentaire que les cannibales ne doivent jamais être plus nombreux que les missionnaires sur les deux rives (sinon les missionnaires seraient tués et, vraisemblablement, mangés). Le problème considéré par McCarthy n'était pas celui de trouver une séquence d'étapes pour atteindre le but (l'article sur le problème des missionnaires et des cannibales contient une telle solution), mais plutôt celui d'exclure des conditions qui ne sont pas explicitement énoncées. Par exemple, la solution "faire un demi-mille au sud et traverser la rivière sur le pont" n'est intuitivement pas valable car l'énoncé du problème ne mentionne pas un tel pont. Par contre, l'existence de ce pont n'est pas non plus exclue par l'énoncé du problème. Que le pont n'existe pas est
une conséquence de l'hypothèse implicite que l'énoncé du problème contient tout ce qui est pertinent pour sa solution. Dire explicitement qu'un pont n'existe pas n'est pas une solution à ce problème, car il y a beaucoup d'autres conditions exceptionnelles qui devraient être exclues (comme la présence d'une corde pour attacher les cannibales, la présence d'un plus gros bateau à proximité, etc. )
La circonscription a ensuite été utilisée par McCarthy pour formaliser l'hypothèse implicite d'inertie : les choses ne changent pas sauf indication contraire. La circonscription semblait utile pour éviter de préciser que les conditions ne sont pas modifiées par toutes les actions sauf celles explicitement connues pour les modifier ; c'est ce qu'on appelle le problème du cadre. Cependant, la solution proposée par McCarthy s'est avérée plus tard conduire à des résultats erronés dans certains cas, comme dans le scénario du problème de tir de Yale. D'autres solutions au problème de cadre qui formalisent correctement le problème de tir de Yale existent; certains utilisent la circonscription mais d'une manière différente.