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

DOI10.1016/0004-3702(89)90002-7zbMath0681.68114OpenAlexW1971685630MaRDI QIDQ1823730

Sandra Marcus, John P. J. McDermott

Publication date: 1989

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(89)90002-7

zbMATH Keywords

expert systemsknowledge acquisitionknowledge acquisition languageproblem-solving strategySALT

Mathematics Subject Classification ID

Artificial intelligence (68T99) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (6)

User studies of knowledge acquisition tools: methodology and lessons learned ⋮ Task modeling with reusable problem-solving methods ⋮ A framework for knowledge-based temporal abstraction ⋮ Generating domain knowledge for requirement analysis based on acquisition ontology ⋮ Principles for interactive acquisition and validation of workflows ⋮ SALT

Uses Software

• MOLE

Cites Work

• Unnamed Item
• Production rules as a representation for a knowledge-based consultation program
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
• A Sufficient Condition for Backtrack-Free Search

This page was built for publication: Salt: A knowledge acquisition language for propose-and-revise systems