|
Evaluation - Round Tripping
Slate >
IKRIS >
Evaluation - Round Tripping
2005 November 24
|
Demonstration of "Round Trip" for *All* of Case Study 4 Using Slate's New Composite Argument Functionality
Selmer Bringsjord, Andrew Shilliday, Joshua Taylor |
|
|
|
The following video demonstrates our second round-trip translation between Slate and Common Logic -- a much larger one that its predecessor. In this demo, the composite argument for *all* of CS4 is validated in Slate (any number of the many ATPs seamlessly integrated with Slate could be used), exported out to Common Logic, inspected, imported, the composite argument is rebuilt, and then validation is once again launched. It succeeds.
|
|
|
|
 |
|
Windows movie (.wmv, 28.2 MB) |
|
2005 August 15
|
Demonstration of Slate's Round Trip Capabilities with Common Logic
Andrew Shilliday, Joshua Taylor |
|
|
|
The following videos demonstrate our first round-trip translation between
Slate and Common Logic. The translation is
not completely lossless; interface-specific information is stripped in transit from Slate to Common Logic.
Additionally, in order for knowledge to remain intact througout the translation, it was
necessary to preserve our threefold categorization: signature information, tacit knowledge, and workspace elements.
This preservation is currently a naïve implementation, but subsequent versions handle this in a more sophisticated manner.
|
|
|
|
|
Windows movie (.wmv, 22.7 MB) |
|
|
|
 |
|
QuickTime movie (.mov, 29.9 MB) |
|
|
|
 |
|
Chart H in Slate (original) (.slt, 20.0 KB) |
|
|
|
|
|
Chart H in CL (generated) (.clog, 3.7 KB) |
|
|
|
|
|
Chart H in Slate (translated from CL) (.slt, 15.5 KB) |
|
|
|
|
|
Chart H in Slate (rebuilt) (.slt, 20.1 KB) |
|
|
|
|
