Prolog est un langage de programmation tout a fait original. -Prolog- est l'abreviation de -Programmation logique-, et le lien qu'il entretient avec la logique est ce qui lui donne sa specificite. Au coeur de Prolog, reside une idee surprenante: ne pas dire a l'ordinateur ce qu'il doit faire, mais lui decrire des situations, et lui faire faire des calculs en lui posant des questions. Prolog deduira alors logiquement de nouveaux faits concernant les situations, et donnera en reponse ses deductions. Pourquoi apprendre Prolog ? Tout d'abord, l'aspect -dis-moi quel est ton probleme au lieu de me...

Ce livre est le premier volume d'un ouvrage, Logique Dialogique: une introduction, concu selon deux parties autonomes sur la logique dialogique. Les deux volumes fournissent neanmoins, a un niveau technique et philosophique, une vue d'ensemble de l'approche dialogique de la logique. Constituant un support efficace et didactique pour apprendre les fondements et la pratique de la logique dialogique, elles s'adressent ainsi tant aux professeurs et enseignants pour la preparation de cours qu'aux etudiants qui veulent se former individuellement. Le premier volume, Methode de Dialogique: Regles et...

Cette analyse vise a concevoir des syst emes de r evision dans lesquels l'acquisition de connaissances et les aspects interactifs de la signifi cation sont saisis comme un jeu de questions et de r eponses par rapport a un ensemble initial d'hypoth eses exprim e dans le langage-objet. Se situant a l'intersection des approches de la th eorie des types de Per Martin-Lof, de l'approche dialogique et de la th eorie de la r evision des croyances, cette investigation heuristique a pour objectif principal de proposer une analyse dialogique de la r evision des croyances dans le contexte de la th eorie...