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.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 383-394 |
| Number of pages | 12 |
| Journal | Proceedings of SPIE - The International Society for Optical Engineering |
| Volume | 5091 |
| DOIs | |
| State | Published - 2003 |
| Event | PROCEEDINGS OF SPIE SPIE - The International Society for Optical Engineering: Enabling Technologies for Simulation Science VII - Orlando, FL, United States Duration: Apr 22 2003 → Apr 25 2003 |
Keywords
- Knowledge Bases
- Programming Languages
- Simulation
ASJC Scopus subject areas
- Electronic, Optical and Magnetic Materials
- Condensed Matter Physics
- Computer Science Applications
- Applied Mathematics
- Electrical and Electronic Engineering