The Leonardo system is a software platform for autonomous intelligent agents that is recommended for use when studying the present course. It uses the KRF notation for its knowledgebase and for its communication with users as well as between agents, which means that there is a close correspondence between the definitions and the examples in the lecture notes, on one hand, and the Leonardo system and the scenarios that have been defined in it, on the other hand.
The following are the technical reports that are needed for downloading and using the Leonardo system for this purpose.
| PM-leonardo-012 | Leonardo Installation, Startup and Self-Description |
| PM-leonardo-011 | Facilities in Leonardo |
| PM-leonardo-013 | Lisp-Level Programming in Leonardo |
The Knowledge Representation Framework (KRF) is a set of conventions for organizing knowledgebased A.I. systems. It consists of the following four parts:
The KRF notation is used throughout the present course materials but the other three parts of the KRF are not since there are several other, similar facilities. Each software platform for A.I. systems has its own type system. The lecture note on software architectures and languages for autonomous intelligent agents contains a chapter on message-passing frameworks and describes the AMF as one of them. The Document Preparation Framework is important when the Leonardo platform is seen as a software development environment but it does not have any particular relevance for Artificial Intelligence.
The following technical reports are available as documentation:
| PM-krf-019 | Knowledge Representation Framework: Introduction and Overview |
| PM-krf-004 | The KRF Type System and Ontology |
| PM-leonardo-010 | Leonardo Document Preparation Facility |
The following are some technical documentation for the Leonardo software platform that may be of interest for the readers of the present course materials.
| PM-leonardo-005 | The Leonordo Kernel and Platform |
| PM-leonardo-009 | Internet Related Services in Leonardo |
The following reports describe design principles for agent software platforms that have been developed in the context of the Leonardo system, but which have a certain level of generality so that they may be applicable in other similar platforms as well.
| PM-leonardo-006 | Self-Description and Self-Modification in the Leonardo Computation System |