130 a) L'entité situation, p.130 ,
150 a) Forme d'un quadruplet de type iattribut, p.150 ,
[symbole, type_participation, *, distributif], [proposition, cr, * , [[instance,subsumé,*,ICHAT],[relation,prédicat,*,est_un], [concept, subsumeur ,
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. ,
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
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
Krypton: A Functional Approach to Knowledge Representation, Computer, vol.16, issue.10, pp.67-73, 1983. ,
DOI : 10.1109/MC.1983.1654200
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
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
The evolving technology of classification-based knowledge representation systems Principles of Semantic Networks : Explorations in the representation of knowledge, pp.1990-1991, 1991. ,
Architecture multi-agents pour la conception des Interfaces Apprenant-Machine", Environnements Interactifs d'Apprentissage avec ordinateur, Propositional Semantic Networks, pp.291-302, 1982. ,
A Temporal Logic for Reasoning about Processes and Plans*, aussi dans Readings in Knowledge Representation, pp.169-101, 1982. ,
DOI : 10.1207/s15516709cog0602_1
Reasoning about Plans", Formal Theories of the Commonsense World, pp.269-319, 1985. ,
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. ,
c'est qu'il avait peut-être l'intention de la blesser ,
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 ,
John veut un livre", ce serait probablement pour le lire ou pour l'offrir ? 7) PREDICTION (Enablement-Prediction Inferences) ,
Bill sut que John a été blessé, NORMALITE, vol.12 ,
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. ,
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 ,
matche" avec un graphe u, il existe alors un sous-graphe u' de u tel que, Annexe, vol.4 ,
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)]) ,