Slate - Case Study 4 - The Sign of the Crescent

Rensselaer > Department of Cognitive Science > Research > RAIR Lab > Projects > Slate

Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory

Case Study 4 - The Sign of the Crescent
Slate > IKRIS > Case Study 4

Joint Military Intelligence College, Professor F. J. Hughes

We have finished formalizing Case Study 4 in Athena and Slate, going chart by chart. This process involved several steps:

Formalizing the propositions of the chart in logic
Creating a signature of domains, objects, functions, and predicates used in the formalization
Entering in tacit and common knowledge required to make the inferences in the chart
Using Slate to validate the inferences made

Case Study 4 - All Charts

	Formalization Eric Pratt

				Slate database (.slt, 186 KB)

				All Case Study 4 Athena Files (.zip, 29.1 KB)

Click on one of the sections below to view our content for the corresponding charts.

Charts A, B, and C

Charts D, E, and F

Charts G and H

		Slate General Links

				Slate Home

		IKRIS

				Home

				Case Study 4 - The Sign of the Crescent

				Evaluation - Round Tripping

				Well Logger Demo - Toward IKRIS Capstone Demo

		Slate Project Team - Selmer Bringsjord - Kostas Arkoudas - Andrew Shilliday - Joshua Taylor - Eric Pratt