Salt: A knowledge acquisition language for propose-and-revise systems. SALT is a knowledge acquisition tool for generating expert systems that can use a propose-and-revise problem-solving strategy. The SALT-assumed method incrementally constructs an initial design by proposing values for design parameters, identifying constraints on design parameters as the design develops and revising decisions in response to detection of constraint violations in the proposal. This problem-solving strategy provides the basis for SALT’s knowledge representation. SALT uses its knowledge of the intended problem-solving strategy in identifying relevant domain knowledge, in detecting weaknesses in the knowledge base in order to guide its interrogation of the domain expert in generating an expert system that can perform the task and explain its line of reasoning, and in analyzing test case coverage. The strong commitment to problem-solving strategy which gives SALT its power also defines its scope.
Keywords for this software
References in zbMATH (referenced in 7 articles , 1 standard article )
Showing results 1 to 7 of 7.
- Kim, Jihie; Gil, Yolanda; Spraragen, Marc: Principles for interactive acquisition and validation of workflows (2010)
- Fan, James; Barker, Ken; Porter, Bruce: Automatic interpretation of loosely encoded input (2009) ioport
- Parpola, Päivikki: Inference in the SOOKAT object-oriented knowledge acquisition tool (2005) ioport
- Tallis, Marcelo; Kim, Jihie; Gil, Yolanda: User studies of knowledge acquisition tools: Methodology and lessons learned (2001)
- Lin, Chau-Young Ivan; Ho, Cheng-Seen: Generating domain knowledge for requirement analysis based on acquisition ontology (2000)
- Shahar, Yuval: A framework for knowledge-based temporal abstraction (1997)
- Marcus, Sandra; McDermott, John: Salt: A knowledge acquisition language for propose-and-revise systems (1989)