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
Link To Document