Théorème de Church-Rosser et structuration des langues naturelles
Jean-Pierre Descles (1988)
Mathématiques et Sciences Humaines
Similarity:
Jean-Pierre Descles (1988)
Mathématiques et Sciences Humaines
Similarity:
Dominique Guin (1992)
Mathématiques et Sciences Humaines
Similarity:
Cet article fait suite à l'article paru dans le volume 113 de cette revue (D. Guin [15]) où nous avons mis en évidence certains processus cognitifs élémentaires dans l'activité de compréhension d'énoncés additifs, puis proposé une modélisation de la compréhension permettant de prendre en compte ces processus. Dans celle modélisation basée sur la notion d'opérateur, nous avons distingué deux étapes : la compréhension linguistique de l'énoncé et la réduction à un prototype. Nous utiliserons...
Dominique Guin (1991)
Mathématiques et Sciences Humaines
Similarity:
Nous distinguons deux étapes dans l'activité de compréhension d'un problème additif : la compréhension de l'énoncé et la réduction à un problème prototypique. Après avoir mis en évidence, à partir de résultats de recherches cognitives et didactiques, certains processus cognitifs élémentaires dans l'activité de compréhension d'énoncés additifs, nous proposons une modélisation cognitive de la compréhension des problèmes additifs basée sur la notion d'opérateur qui permet de prendre en...
A. Culioli, J. P. Desclés (1982)
Mathématiques et Sciences Humaines
Similarity:
Tero Tulenheimo (2004)
Philosophia Scientiae
Similarity:
Une logique d’«opérateurs rétrogrades» () est définie en utilisant des jeux sémantiques, joués sur des modèles à deux dimensions, l’une pour le temps, l’autre pour les scénarios épistémiques. On démontre que l’expressivité de est plus grande que celle de la logique de base des attitudes propositionnelles (). De plus, on établit que les pouvoirs expressifs deet la logique hybride coïncident. L’intérêt théorique général des opérateurs rétrogrades est brièvement discuté.
Frédérique Segond, Jean-Pierre Chanod (1988)
Mathématiques et Sciences Humaines
Similarity:
R. Castanet (1974)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Jean-Pierre Ginisti (1988)
Mathématiques et Sciences Humaines
Similarity: