Bridging the gap: Simulations meet Knowledge Bases

Gary W. King, Clayton T. Morrison, David L. Westbrook, Paul R. Cohen

Research output: Contribution to journalConference article

1 Scopus citations

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 languageEnglish (US)
Pages (from-to)383-394
Number of pages12
JournalProceedings of SPIE - The International Society for Optical Engineering
Volume5091
DOIs
StatePublished - Nov 26 2003
EventPROCEEDINGS OF SPIE SPIE - The International Society for Optical Engineering: Enabling Technologies for Simulation Science VII - Orlando, FL, United States
Duration: Apr 22 2003Apr 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

Fingerprint Dive into the research topics of 'Bridging the gap: Simulations meet Knowledge Bases'. Together they form a unique fingerprint.

  • Cite this