Adapting Tableaux for Classification (Short Paper)

Authors:
Machiel G. Jansen;Guus Schreiber;Bob J. Wielinga
Affiliations:
-;-;-
Venue:
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Year:
2000

Citing 7
Cited 0

First-order logic and automated theorem proving

First-order logic and automated theorem proving
Introduction to knowledge systems

Introduction to knowledge systems
The configuration design ontologies and the VT elevator domain theory

International Journal of Human-Computer Studies - Special issue: the Sisyphus-VT initiative
Seeking explanations: abduction in logic, philosophy of science and artificial intelligence

Seeking explanations: abduction in logic, philosophy of science and artificial intelligence
Editorial: problem-solving methods

International Journal of Human-Computer Studies
A competence theory approach to problem solving method construction

International Journal of Human-Computer Studies
Knowledge engineering and management: the CommonKADS methodology

Knowledge engineering and management: the CommonKADS methodology

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present an approach for studying logical properties of problem-solving methods (PSMs) for knowledge-intensive tasks. It is based on semantic tableaux (a deduction-style theorem-proving technique). We show how tableaux can be manipulated in a methodical way to formalize non-deductive style PSMs.