KnowledgeBase » 
SEMINAR
» ID = 616
Remarks on the FDL (Formal Digital Library) Project -- Continuation of talk begun November 17
by Stuart F. Allen
2003-2004
I aim to convey a big picture about an infrastructure for
maintaining digitally
articulated
knowledge,
as opposed to
information, and about how we might proceed in encouraging it.
Our special concern is accounting for knowledge established
by diverse Computer Supported Logic Systems.
The main topics addressed will be:
- Abstracting from diverse Applied Logics and the need for Archival Methods.
-
Certificate Systems - a technical basis for
Archival Methods appropriate for
Computer Supported Logic. - FDLs as Text Servers and Certificate Systems
- The importance of Multiple FDLs and Multiple Implementations.
These ideas are elaborated in extensive on-line
Working Notes
and
in a technical report,
Abstract
Identifiers and Textual Reference.