Paper
4 September 2003 Bridging the gap: simulations meet knowledge bases
Gary W. King, Clayton T. Morrison, David L. Westbrook, Paul R. Cohen
Author Affiliations +
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.
© (2003) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Gary W. King, Clayton T. Morrison, David L. Westbrook, and Paul R. Cohen "Bridging the gap: simulations meet knowledge bases", Proc. SPIE 5091, Enabling Technologies for Simulation Science VII, (4 September 2003); https://doi.org/10.1117/12.498092
Lens.org Logo
CITATIONS
Cited by 2 scholarly publications.
Advertisement
Advertisement
RIGHTS & PERMISSIONS
Get copyright permission  Get copyright permission on Copyright Marketplace
KEYWORDS
Sensors

Monte Carlo methods

Computer simulations

Samarium

Bridges

Composites

Process modeling

Back to Top