Soft: LOGIC, un outil en ligne, dynamique et interactif

[Thierry Hamon]

Date: Mon, 07 Nov 2005 17:19:16 +0100
From: Florence Le Priol <flepriol at paris4.sorbonne.fr>
Message-ID: <436F7E84.4020604 at paris4.sorbonne.fr>
X-url: http://www.lalic.paris4.sorbonne.fr/LOGIC/

LOGIC est un outil d'aide dynamique et interactive pour
l'apprentissage de la logique des propositions et des prédicats basé
sur la méthode de déduction naturelle, comme il en existe encore peu
en langue française sur internet. Il est disponible gratuitement à
l'adresse http://www.lalic.paris4.sorbonne.fr/LOGIC/ .


LOGIC a été réalisé en collaboration au sein du laboratoire LaLICC,
UMR8139, Université Paris-Sorbonne/CNRS par Jean-Pierre Desclés,
Brahim Djioua et Carine Le Kien Van, Florence Le Priol.


LOGIC permet aux étudiants d'approfondir la formalisation logique des
énoncés en langue naturelle en logique des propositions ou en logique
des prédicats en leur proposant un rappel des principaux éléments
théoriques illustrés par des exemples dynamiques et des exercices
interactifs de plusieurs types.


Le cours est organisé en deux parties.  La première partie est
consacrée à la logique des propositions et comprend 9 exemples et 64
exercices répartis en quatre blocs et deux séries d'exercices formels
en langue naturelle. La seconde partie est consacrée à la logique des
prédicats et comprend 7 exemples, 46 exercices répartis en neuf blocs.
Ce découpage permet d'introduire les notions les unes après les autres
et de grouper les exercices par règles, donnant la possibilité aux
étudiants de réaliser un parcours d'apprentissage progressif.

Dans chaque bloc introduisant des règles, le fonctionnement de chaque
règle est illustré par des exemples dynamiques.

Les  exercices  interactifs  sont  proposés aux étudiants afin de leur
permettre  de  tester  leur  compréhension  du problème. Ces exercices
peuvent être classés en trois catégories :

- les exercices où certaines règles utilisées lors de la déduction
  doivent être trouvées : dans ces exercices, certaines règles qui ont
  été appliquées lors de la déduction n'ont pas été indiquées,
  l'exercice consiste donc à étudier les expressions afin de
  déterminer la règle qui a été utilisée ;

- les exercices où certaines expressions de la déduction manquent :
  dans ces exercices, les règles qui ont été appliquées lors de la
  déduction sont toutes écrites mais certaines expressions manquent,
  l'exercice consiste donc à appliquer la règle pour déterminer
  l'expression ;

- les exercices basés sur le langage naturel : dans ces exercices, il
  faut formaliser l'énoncé en langue naturelle dans la logique des
  propositions ou dans la logique des prédicats et parfois, faire la
  démonstration.


Contact : flepriol at paris4.sorbonne.fr
----------

-------------------------------------------------------------------------
Message diffusé par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.biomath.jussieu.fr/LN/LN-F/
English version          : http://www.biomath.jussieu.fr/LN/LN/
Archives                 : http://listserv.linguistlist.org/archives/ln.html

La liste LN est parrainée par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhésion  : http://www.atala.org/
-------------------------------------------------------------------------