Declarative representation of strategic control knowledge

Research output: Contribution to journalArticlepeer-review

4 Scopus citations


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
Issue number6
StatePublished - Dec 2001


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

ASJC Scopus subject areas

  • Software
  • General Engineering
  • Education
  • Human Factors and Ergonomics
  • Human-Computer Interaction
  • Hardware and Architecture


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

Cite this