Declarative representation of strategic control knowledge

Research output: Contribution to journalArticle

4 Scopus citations

Abstract

Strategic (control) knowledge typically specifies how a target task is solved. Representing such knowledge declaratively remains a difficult and practical knowledge engineering challenge. The key to addressing this challenge rests on two observations. One, strategic knowledge comprises two finer types of knowledge: subgoaling knowledge used to construct the goal structure for each problem situation pertaining to a target task, and goal-sequencing knowledge used to choose which subgoal in this goal structure is to be pursued at any given moment. Second, when subgoaling knowledge is explicit and expressed in declarative ontological terms, it is possible to fully express goal-sequencing knowledge in the same declarative terms. Building on these observations, we achieve three things. First, we analyse several conventional knowledge-based applications whose subgoaling and goal-sequencing knowledge is implicit, showing that making their subgoaling knowledge explicit permits (re)representing their goal-sequencing knowledge declaratively. Among the applications analysed are More and Neomycin. Second, upon studying the roles of goal-sequencing knowledge vis-à-vis subgoaling knowledge, we develop a declarative formalism for representing goal-sequencing knowledge. Finally, we discuss and illustrate key benefits from using our declarative formalism, including an enhanced ability to validate and reuse goal-sequencing knowledge.

Original languageEnglish (US)
Pages (from-to)881-917
Number of pages37
JournalInternational Journal of Human Computer Studies
Volume55
Issue number6
DOIs
StatePublished - Dec 2001

Keywords

  • Control knowledge
  • Declarative knowledge
  • Knowledge engineering
  • Knowledge representation
  • Ontology
  • Situation-specific models
  • Strategic knowledge

ASJC Scopus subject areas

  • Software
  • Human Factors and Ergonomics
  • Education
  • Engineering(all)
  • Human-Computer Interaction
  • Hardware and Architecture

Fingerprint Dive into the research topics of 'Declarative representation of strategic control knowledge'. Together they form a unique fingerprint.

  • Cite this