Informatica e diritto, VII Annata, Vol. VII, 1981, n. 2-3, pp. 201-221
N.S. Sridharan
Artificial Intelligence Representating Knowledge in AIMDS
Intelligenza Artificiale e tecniche di rappresentazione della conoscenza in Aimds
Beginning with examples taken from his work done together with L.T. McCarty on the development of the TAXMAN II system, the A. has written a brief essay on the main concepts of Artificial Intelligence and of the techniques for representing knowledge. The A. has paid particular attention to the following themes: 1) representation of objects (names, properties, relations, assertions about objects); 2) representation of classes of subjects (intension and extension, class inclusion hierarchies, class definitions, relation between classes and individuals); 3) representation of relations (relation flags, transitive clousure of relations, consistency conditions); 4) creating and maintaining a model state (instantiation process; verifying consistency of state; residues, their computation, storage and use; automatic up-dating to maintain consistency); 5) representation of actions (concept of state and state change, describing actions as add/delete lists, describing actions in terms of rule sets, simulating actions, generating plans); 6) representation of functions and transformations (domain and range specifications/restrictions, expressions specifying the transformations, transformations applied to functions); 7) higher level descriptions (DDNs e PDNs, abstraction/expansions, matching process through the definition hierarchies); 8) spaces created by relationships among representations (vertical and horizontal dimensions; maps: their components and their uses; explicit and implicit spaces); 9) meta-domain (altering the meaning of «instance»: inheritance, persistence, canonical forms; producing trace of processing activity: annotations and meta-residues).
Partendo da esempi tratti dal lavoro svolto con L.T. Mc Carty per lo sviluppo del sistema TAXMAN II, l'A. presenta un breve saggio dei principali concetti dell'Intelligenza Artificiale e delle tecniche di rappresentazione della conoscenza. In particolare l'A. si sofferma sui seguenti argomenti: 1) rappresentazione di oggetti (nomi, proprietą, relazioni, asserzioni circa gli oggetti); 2) rappresentazione di classi di soggetti (intensione ed estensione, gerarchie d'inclusione in classi, definizioni di classe, relazione tra classi e individui); 3) rappresentazione di relazioni (simboli di relazione, chiusura transitiva di relazioni, condizioni di consistenza); 4) creazione e mantenimento d'uno stato modello (processo d'instaurazione; verifica della consistenza dello stato; residui, loro computo, memorizzazione e uso; aggiornamento automatico per il mantenimento della consistenza); 5) rappresentazione di azioni (concetto di stato e cambiamento di stato, descrizione di azioni come liste del tipo aggiungere/eliminare, descrizione di azioni in termini di insiemi di regole, simulazione di azioni, generazione di piani); 6) rappresentazione di funzioni e trasformazioni (specificazioni/restrizioni del campo e della serie, espressioni che specificano la trasformazione applicate a funzioni); 7) descrizioni di livello pił elevato (DDNs e PDNs, astrazione/espansioni, processi di confronto attraverso le gerarchie definitorie); 8) spazi creati da relatori tra rappresentazioni (dimensioni verticale e orizzontale; mappe: loro componenti e loro impieghi; spazi espliciti e impliciti); 9) meta-dominio (alterazione del significato di "esempio": inerenza, persistenza, forme canoniche, produzione d'una traccia dell'attivitą d'elaborazione: annotazioni e meta-residui).