Our publications describe the Leonardo project from the following points of view:
The Leonardo project is one part of the CAISOR Research Agenda which is described on the CAISOR webpage and in the following report.
| PM-caisor-001 | The CAISOR Agenda: A Comprehensive Research Agenda for Software Architecture and Open-Access Knowledgebases. Completed on 2009-01-21. |
It is also based on the concept of software individuals which was introduced in the following articles.
| 2001-001 | Erik Sandewall: On the Design of Software Individuals. Electronic Transactions on Artificial Intelligence, vol. 5 (2001), pages B:143-160. |
| 2003-001 | Erik Sandewall: A Software Architecture for AI Systems Based on Self-Modifying Software Individuals. Proceedings of International Conference on LISP, 2003. |
The principles of the Leonardo system design were laid out in the following publication.
| 2008-006 | Erik Sandewall: The Leordo Computation System. In: From Semantics to Computer Science: Essays in memory of Gilles Kahn. Yves Bertot, Gérard Huet, Jean-Jacques Lévy and Gordon Plotkin, editors. Cambridge University Press, 2008. |
The Leonardo system is a realization of the Knowledge Representation Framework (KRF) which is described in the following report.
| PM-krf-009 | Knowledge Representation Framework: Overview of Languages and Mechanisms. Completed on 2010-06-02. |
The KRF is primarily a notational and representational system which is used in several lecture notes and other reports. See in particular our webpage for the KR-based Artificial Intelligence Course for links to these documents.
Besides its approach to systems for Knowledge Representation and Artificial Intelligence, Leonardo also represents a novel approach to the overall organization of the software in a (PC-type) computer. The article in the link 2008-006 above describes the system and the approach from this point of view.
The current Leonardo implementation is made in CommonLisp. There is a standard version called Leordo that is available free for download and use, as well as an experimental research version where more exotic facilities are introduced and tested. Leordo systems and the accompanying documentation is available at the Leordo system webpage.
The following technical reports from earlier years describe significant steps in the evolution of the system design. The most recent descriptions of the system can be found in the Leordo webpage, however.
| PM-leo-001 | The Leonardo Representation Language, Part I: Entity Descriptions. Completed on 2007-01-22. |
| PM-leo-003 | Recent Work and Current State of Applications and Ontology in Leonardo. Completed on 2007-01-29. |
| PM-leo-004 | Introduction to the Leonardo System and Overview of Major Applications. Completed on 2008-10-06. |
| PM-leo-005 | The Leonordo Kernel and Platform. Completed on 2008-10-06. |