Abstract | ||
---|---|---|
The paper describes MAGMA-Lisp, an extended Lisp system proposed as an implementation tool for A.I. languages exploiting nondeterministic techniques. The main idea informing MAGMA-Lisp is that a tree structure of conceptually indipendent computation environments (contex tree) is the supporting struc ture of any nondeterministic system. MAGMA-Lisp proposes this structure in a quite virginal form, so that the user can state his own techniques to prune, select and explore the available alternatives. In this sense, MAGMA-Lisp is to be viewed as a "machine language". The ideas of MAGMA-Lisp are contrasted w ith the systems that most influenced its design. The technique used in context implementation is described, showing how a very flexible context mechanism can be realized without an intolerable loss of efficien cy. In particular, in spite of the complexity of the system, garbage collection does not result much more time consuming than in standard Lisp systems. |
Year | Venue | Keywords |
---|---|---|
1975 | IJCAI | artificial intelligence,flexible context mechanism,context implementation,tree structure,standard lisp system,extended lisp system,machine language,available alternative,nondeterministic technique,nondeterministic system,contex tree,implementation tool,garbage collection,artificial intelligent |
Field | DocType | Citations |
Programming language,Nondeterministic algorithm,Computer science,Lisp,Theoretical computer science,Machine code,Tree structure,Garbage collection,Artificial intelligence,Machine learning,Spite,Computation | Conference | 8 |
PageRank | References | Authors |
1.24 | 4 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
C. Montangero | 1 | 28 | 3.36 |
Giuliano Pacini | 2 | 8 | 1.24 |
F. Turini | 3 | 71 | 7.36 |