• DocumentCode
    899030
  • Title

    Acquiring knowledge in Soar

  • Author

    Yost, Gregg R.

  • Author_Institution
    Carnegie Mellon Univ., Pittsburgh, PA, USA
  • Volume
    8
  • Issue
    3
  • fYear
    1993
  • fDate
    6/1/1993 12:00:00 AM
  • Firstpage
    26
  • Lastpage
    34
  • Abstract
    The strategies used in designing limited method-based tools can be applied to the much broader method that underlies Soar, called the problem space computational model (PSCM). Taql (for task acquisition language), which is the computer representation of PSCM, is discussed. Taql, together with its programming environment, comprises the Soar-based expert-system development tool. A Taql specification consists of a set of Taql constructs, each of which describes some aspect of a PSCM knowledge role. Each of Taql´s 17 constructs is a list consisting of a type and a name for the Taql construct instance, followed by a list of arguments. Each argument specifies some aspect of the construct´s PSCM knowledge role. Taql´s effectiveness is attributed to a combination of PSCM´s simplicity and flexibility and the principled way in which Taql was designed.<>
  • Keywords
    expert systems; formal specification; programming environments; software tools; specification languages; PSCM; Soar; Taql; argument; expert-system development tool; knowledge acquisition; method-based tools; problem space computational model; programming environment; specification; specification language; task acquisition language; Application software; Assembly; Computational modeling; Design methodology; Elevators; Expert systems; Filling; Production systems; Safety; Skeleton;
  • fLanguage
    English
  • Journal_Title
    IEEE Expert
  • Publisher
    ieee
  • ISSN
    0885-9000
  • Type

    jour

  • DOI
    10.1109/64.215219
  • Filename
    215219