A cost-reducing question-selection algorithm for propositional knowledge-based systems
type: Item
instance of: scholarly article
title: A cost-reducing question-selection algorithm for propositional knowledge-based systems
zbMATH Open document ID: 1060.68115
author: Jinchang Wang
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2005-05-20T00:00:00Z
Mathematics Subject Classification ID: 68T35
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B05
zbMATH DE Number: 2170151
zbMATH Keywords: knowledge-based system
zbMATH Keywords: inference engine
zbMATH Keywords: proposition
MaRDI profile type: MaRDI publication profile
full work available at URL: s10472-005-1809-2
OpenAlex ID: W1981377900
cites work: Diagnosing multiple faults
cites work: Q4375757
cites work: Branching rules for satisfiability
cites work: Q3885184
cites work: Solving propositional satisfiability problems
cites work: Q4692548
cites work: The problem of asking the minimum number of questions in Horn clause systems
cites work: Q4375765
cites work: Inference guiding in propositional knowledge bases
cites work: A cost effective question-asking strategy for Horn clause systems
cites work: Question-asking strategies for Horn clause systems
DOI: 10.1007/S10472-005-1809-2
Recommended article: A cost effective question-asking strategy for Horn clause systems
Recommended article: Inference guiding in propositional knowledge bases
Recommended article: The problem of asking the minimum number of questions in Horn clause systems
Recommended article: Q4874528
Recommended article: Learning to ask relevant questions
description: scientific article; zbMATH DE number 2170151