Salt: A knowledge acquisition language for propose-and-revise systems
type: Item
instance of: scholarly article
title: Salt: A knowledge acquisition language for propose-and-revise systems
zbMATH Open document ID: 0681.68114
DOI: 10.1016/0004-3702(89)90002-7
author: Sandra Marcus
author: John P. J. McDermott
published in: Artificial Intelligence
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68T99
zbMATH DE Number: 4116018
zbMATH Keywords: SALT
zbMATH Keywords: knowledge acquisition language
zbMATH Keywords: knowledge acquisition
zbMATH Keywords: expert systems
zbMATH Keywords: problem-solving strategy
describes a project that uses: MOLE
MaRDI profile type: Publication
full work available at URL: 0004-3702(89)90002-7
OpenAlex ID: W1971685630
cites work: Production rules as a representation for a knowledge-based consultation program
cites work: Q3835053
cites work: A Sufficient Condition for Backtrack-Free Search
cites work: Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
Recommended article: A programmable approach to revising knowledge bases
Recommended article: A KNOWLEDGE REPRESENTATION LANGUAGE FOR NATURAL LANGUAGE PROCESSING, SIMULATION AND REASONING
Recommended article: Toward knowledge-based specifications of languages
Recommended article: Q3830559
Recommended article: Conceptual Structures at Work
Recommended article: Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs
description: scientific article; zbMATH DE number 4116018