Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Résumé du colloque
Le recours à la programmation logique comme instrument intermédiaire de formalisation offre en rigueur immédiate à laquelle s'ajoute la vérifiabilité immédiate sous forme de deux types de programmes écrits en langage Prolog et prêts à fonctionner : les programmes automatiques, sans intervention humaine, se vérifiant sur une base de données interne et les programmes interactifs, utilisant la convivialité propre aux systèmes experts. Le sens reçoit ainsi une définition opératoire : il est désormais une relation prédicative entre des arguments, c'est-à-dire une forme et une valeur, régie par un ensemble de conditions dans une règle de production, qui est une représentation des connaissances sur lesquelles s'exerce le raisonnement de sémantisation. Chaque condition est une « sous-règle » qui doit se vérifier (sur la base de connaissances par le mécanisme d'unification propre à Prolog ou par consultation interactive de l'opérateur humain qui répond à une question) pour que la condition soit vraie. Dans un programme syntagmatique sur la forme côtière, les sens répartis en cinq règles principales seront fonction des cooccurrents fleuve, bateau, pilote, navigation, défenses.
Vous devez être connecté pour ajouter un élément à vos favoris.
Veuillez vous connecter ou créer un compte pour continuer.
Outils de citation
Citer cet article :
MLA
APA
Chicago
Ajouter un dossier
Vous pouvez ajouter vos contenus préférés à des dossiers organisés. Une fois le dossier créé,
vous pouvez ajouter un article ou un contenu de la liste ou de la vue détaillée au dossier sélectionné dans la liste.