Share Email Print
cover

Proceedings Paper

Bridging the gap: simulations meet knowledge bases
Author(s): Gary W. King; Clayton T. Morrison; David L. Westbrook; Paul R. Cohen
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper Abstract

Tapir and Krill are declarative languages for specifying actions and agents, respectively, that can be executed in simulation. As such, they bridge the gap between strictly declarative knowledge bases and strictly executable code. Tapir and Krill components can be combined to produce models of activity which can answer questions about mechanisms and processes using conventional inference methods and simulation. Tapir was used in DARPA's Rapid Knowledge Formation (RKF) project to construct models of military tactics from the Army Field Manual FM3-90. These were then used to build Courses of Actions (COAs) which could be critiqued by declarative reasoning or via Monte Carlo simulation. Tapir and Krill can be read and written by non-knowledge engineers making it an excellent vehicle for Subject Matter Experts to build and critique knowledge bases.

Paper Details

Date Published: 4 September 2003
PDF: 12 pages
Proc. SPIE 5091, Enabling Technologies for Simulation Science VII, (4 September 2003); doi: 10.1117/12.498092
Show Author Affiliations
Gary W. King, Univ. of Massachusetts (United States)
Clayton T. Morrison, Univ. of Massachusetts (United States)
David L. Westbrook, Univ. of Massachusetts (United States)
Paul R. Cohen, Univ. of Massachusetts (United States)


Published in SPIE Proceedings Vol. 5091:
Enabling Technologies for Simulation Science VII
Alex F. Sisti; Dawn A. Trevisani, Editor(s)

© SPIE. Terms of Use
Back to Top