SALT: A knowledge acquisition language for propose-and-revise systems

Artificial Intelligence

Volumn 39, Issue 1, 1989, Pages 1-37

  Marcus, Sandra ^a   McDermott, John ^b  

^a BOEING COMPANY   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

KNOWLEDGE ACQUISITION LANGUAGE; KNOWLEDGE REPRESENTATION; PROPOSE AND REVISE SYSTEMS; SALT;

ARTIFICIAL INTELLIGENCE;

EID: 0024657421     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(89)90002-7     Document Type: Article

References (35)

1. Personal construct theory and the transfer of human expertise
2. Failure handling in a design expert system
3. Towards a taxonomy of problem solving types
4. Generic tasks in expert system design and their role in explanation of problem solving
5. The advantages of abstract control knowledge in expert system design
6. Heuristic classification
7. Production rules as a representation for a knowledge-based consultation program
8. The anatomy of easy problems: A constraint-satisfaction formulation
9. The cycle-cutset method for improving search performance in AI applications
10. A truth maintenance system
11. MOLE: A knowledge acquisition tool that uses its head
12. OPS5 user's manual
13. A sufficient condition for backtrack-free search
14. Use of DSPL for the design of a mission planning assistant
15. MORE: An intelligent knowledge acquisition tool
16. A KNACK for knowledge acquisition
17. Knowledge acquisition for constructive systems
18. VT: An expert elevator designer that uses knowledge-based backtracking
19. Understanding decision ordering from a piecemeal collection of knowledge
20. Making expert systems explicit
21. LEAP: A learning apprentice for VLSI design
22. A knowledge-based framework for design
23. Use of a domain model to drive an interactive knowledge-editing tool
24. Explainable (and maintainable) expert systems
25. Representation and use of explicit justifications for knowledge base refinement
26. Constructing and maintaining detailed production plans: Investigations into the development of knowledge-based factory scheduling systems
27. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
28. Planning with constraints (MOLGEN: Part 1)
29. Planning and meta-planning (MOLGEN: Part 2)
30. Toward automating recognition of differing problem-solving demands
31. CONSTRAINTS: A language for expressing almost-hierarchical descriptions
32. XPLAIN: A system for creating and explaining expert consulting systems
33. The taming of R1