The major accomplishments of
the IKRIS Challenge Workshop are summarized as follows:
Knowledge Language. This is
the key technical result of the IKRIS Challenge Workshop. IKL is a formally-specified language,
based on an emerging ISO standard called Common Logic, into and out of which a
variety of distinctly different knowledge representation (KR) formalisms can
Context Logic. ICL is a logic
formalism for representing and reasoning about context-dependent knowledge,
including alternative hypotheses, points of view, world states and
Scenarios Inter-Theory. The
Scenarios Inter-Theory specifies an approach to translating among the
principal formalisms in current use for declaratively representing
Report. The Evaluation
Working Group has produced a report showing that IKL is a sound and effective
mechanism for knowledge interchange.
Demonstration. The Capstone
Demonstration serves both as an evaluation of knowledge interchange using IKL,
and as an illustration of the potential Intelligence Community impact of the
IKRIS-developed approach to interoperability.
participants at Stanford University implemented a set of software
tools for building automated translators into and out of IKL.
To the IKRIS
It has taken a long
time, but at last all the technical specifications and final reports from
the IKRIS workshop have been approved by the Government for public release
and posted on the IKRIS public website:
Please feel free to
circulate this announcement and web link widely.
Brant A. Cheikes
202 Burlington Road, M/S K302
Tel. 781-271-7505; Fax. 781-271-2352