Slate Home
Next:
Contents
S
LATE
A User's Guide
Andrew Shilliday -
shilla@rpi.edu
Joshua Taylor -
tayloj@rpi.edu
Selmer Bringsjord -
selmer@rpi.edu
Contents
1
Introduction
2
Basic Usage
3
Getting Started
3
.
1
Prerequisites for Installation
3
.
1
.
1
GraphViz
3
.
1
.
2
OpenGL
3
.
1
.
3
Paradox
3
.
2
Getting Slate
3
.
2
.
1
Precompiled Binaries
3
.
2
.
2
Subversion
3
.
3
Starting Slate
3
.
3
.
1
Precompiled Binaries
3
.
3
.
2
Slate from Source
4
System S and the Workspace
4
.
1
Purpose
4
.
2
Visual Elements
4
.
2
.
1
Propositions
4
.
2
.
2
Hypotheses
4
.
2
.
3
Sets
4
.
2
.
4
Ontologies
4
.
2
.
5
Arguments
4
.
2
.
6
Subproofs
4
.
3
Interaction with the Workspace
4
.
3
.
1
Selecting Elements
4
.
3
.
2
Removing Elements
4
.
3
.
3
Copying Elements
4
.
3
.
4
Modifying Elements
4
.
3
.
5
Examining Elements
4
.
3
.
6
Sets
4
.
3
.
7
Subproofs
4
.
3
.
8
Arguments
5
Slate Tools
5
.
1
Workspace Tools
5
.
2
Information Management
5
.
2
.
1
Create Information
5
.
2
.
2
Translation Options
5
.
2
.
3
Signature Information
5
.
2
.
4
Tacit Information
5
.
3
Model Building
5
.
4
Check Consistency
5
.
5
Generate Hypotheses
5
.
6
Validate / Invalidate Sequent
5
.
6
.
1
Premise and Conclusion Checking
5
.
6
.
2
Argument Checking
5
.
7
Generate Reports
6
Models and MDF
6
.
1
The Use of Models
6
.
2
Reading Model Diagrams
6
.
3
MDF
7
Hypothesis Generation
7
.
1
Abductive
7
.
2
Deductive
7
.
3
MMOI
7
.
3
.
1
Deductive
7
.
3
.
2
Abductive
7
.
4
Syntactic
7
.
5
Constructive
7
.
6
Existential
7
.
7
Model Based
8
File Operations
8
.
1
New Workspace
8
.
2
Save Workspace
8
.
3
Save Workspace As
8
.
4
Open Workspace
9
Slate Language
9
.
1
Overview
9
.
2
Syntax
October 4 2005
Joshua Taylor - tayloj@rpi.edu
Andrew Shilliday - shilla@rpi.edu
Selmer Bringsjord - selmer@rpi.edu
