L. Entités-composées-situation-et-proposition and .. , 130 a) L'entité situation, p.130

.. Forme-de-quadruplets-de-types-iattribut-et-mesure, 150 a) Forme d'un quadruplet de type iattribut, p.150

.. Des-liens-de-coréférence-dans-les-censembles, [symbole, type_participation, *, distributif], [proposition, cr, * , [[instance,subsumé,*,ICHAT],[relation,prédicat,*,est_un], [concept, subsumeur

. Actuellement, Il s'agit des censembles et des DCAS contenant les concepts subsumeur/subsumé. On peut envisager les quantifications au niveau du temps. Y-aurait-il des CRepereTemporel ? [Boons, 1987] J.-P. Boons "La notion sémantique de déplacement dans une classification syntaxique des verbes locatifs, pp.5-40, 1987.

R. J. Brachman, What's in a concept: structural foundations for semantic networks, International Journal of Man-Machine Studies, vol.9, issue.2, pp.127-152, 1977.
DOI : 10.1016/S0020-7373(77)80017-5

R. J. Brachman and R. J. Brachman, What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks, Computer, vol.16, issue.10, pp.30-36, 1979.
DOI : 10.1109/MC.1983.1654194

. Brachman, &. Fikes, . Levesque, R. J. Brachman, R. E. Fikes et al., Krypton: A Functional Approach to Knowledge Representation, Computer, vol.16, issue.10, pp.67-73, 1983.
DOI : 10.1109/MC.1983.1654200

. Brachman, &. Gilbert, . Levesque, R. J. Brachman, V. P. Gilbert et al., AN ESSENTIAL HYBRID REASONING SYSTEM: KNOWLEDGE AND SYMBOL LEVEL ACCOUNTS OF KRYPTON, IJCAI 85. [Brachman & Schmolze, 1985.
DOI : 10.1016/B978-0-934613-53-8.50024-8

H. J. Levesque, Foundations of a functional approach to knowledge representation, Artificial Intelligence, vol.23, issue.2, pp.155-212, 1984.
DOI : 10.1016/0004-3702(84)90009-2

[. Gregor, The evolving technology of classification-based knowledge representation systems Principles of Semantic Networks : Explorations in the representation of knowledge, pp.1990-1991, 1991.

&. Mahmoud, &. Chambreuil-]-mahmoud-ali, &. Chambreuil-michelmaida, S. Shapiro-anthony, S. C. Maida et al., Architecture multi-agents pour la conception des Interfaces Apprenant-Machine", Environnements Interactifs d'Apprentissage avec ordinateur, Propositional Semantic Networks, pp.291-302, 1982.

]. D. Mcdermott, A Temporal Logic for Reasoning about Processes and Plans*, aussi dans Readings in Knowledge Representation, pp.169-101, 1982.
DOI : 10.1207/s15516709cog0602_1

D. Mcdermott, Reasoning about Plans", Formal Theories of the Commonsense World, pp.269-319, 1985.

]. M. Moser, An overview of NIKL, the New Implementation of KL-OneA systemic approach for student modelling in a multi-agent aided learning environment, BBN Annual Report, BBN Rep. N°5421, pp.27-39, 1983.

S. Mary, c'est qu'il avait peut-être l'intention de la blesser

. Si-"-peter-alla-en-europe, on peut se demander comment il a obtenu l'argent ? Quand on dit queJean frappe Paul", on peut normalement supposer qu'ils sont près l

. On-utilise-la-fonctionnalité-des-objets-mis-en-oeuvre and . Si, John veut un livre", ce serait probablement pour le lire ou pour l'offrir ? 7) PREDICTION (Enablement-Prediction Inferences)

. Frappé-john-avec-une-batte, Bill sut que John a été blessé, NORMALITE, vol.12

-. , A. .. ?u, and ?. ?v, Les inférences menées s'appuient sur le théorème suivant (démontré par Sowa, dans [Sowa, Supposons : -une clause G <-G1, G2, .., Gn -un but : <-A, 1984.

G. .. Si-g1 and . Gn, A (et donc ?G ? ?A), le but A sera remplacé par la pile de sous-buts La notion de projection présente des analogies avec le "matching" en Prolog

S. Le-graphe-v, matche" avec un graphe u, il existe alors un sous-graphe u' de u tel que, Annexe, vol.4

. Le-système-introduira-dp, quad(concept, act, *, casser), quad(instance, acteur, *, jean), quad(vdv, *, *, vrai), quad(rt, début, *, rt1), quad(rt, fin, *, rt2)]), quad(relation, prédicat, *, entre), quad(instance, site, 1, maison1), quad(instance, site, quad(rt, début, *, rt1), quad(rt, fin, *, rt2), quad(vdv, *, *, vrai)])