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 :
بازگشت