Qualifying the expressivity/efficiency tradeoff

reformation-based diagnosis

Helmut Prendinger, Mitsuru Ishizuka

Research output: Chapter in Book/Report/Conference proceedingChapter

4 Citations (Scopus)

Abstract

This paper presents an approach to model-based diagnosis that first compiles a first-order system description to a propositional representation, and then solves the diagnostic problem as a linear programming instance. Relevance reasoning is employed to isolate parts of the system that are related to certain observation types and to economically instantiate the theory, while methods from operations research offer promising results to generate near-optimal diagnoses efficiently.

Original languageEnglish
Title of host publicationProceedings of the National Conference on Artificial Intelligence
Place of PublicationMenlo Park, CA, United States
PublisherAAAI
Pages416-421
Number of pages6
ISBN (Print)0262511061
Publication statusPublished - 1999
Externally publishedYes
EventProceedings of the 1999 16th National Conference on Artificial Intelligence (AAAI-99), 11th Innovative Applications of Artificial Intelligence Conference (IAAI-99) - Orlando, FL, USA
Duration: 1999 Jul 181999 Jul 22

Other

OtherProceedings of the 1999 16th National Conference on Artificial Intelligence (AAAI-99), 11th Innovative Applications of Artificial Intelligence Conference (IAAI-99)
CityOrlando, FL, USA
Period99/7/1899/7/22

Fingerprint

Operations research
Linear programming

ASJC Scopus subject areas

  • Software

Cite this

Prendinger, H., & Ishizuka, M. (1999). Qualifying the expressivity/efficiency tradeoff: reformation-based diagnosis. In Proceedings of the National Conference on Artificial Intelligence (pp. 416-421). Menlo Park, CA, United States: AAAI.

Qualifying the expressivity/efficiency tradeoff : reformation-based diagnosis. / Prendinger, Helmut; Ishizuka, Mitsuru.

Proceedings of the National Conference on Artificial Intelligence. Menlo Park, CA, United States : AAAI, 1999. p. 416-421.

Research output: Chapter in Book/Report/Conference proceedingChapter

Prendinger, H & Ishizuka, M 1999, Qualifying the expressivity/efficiency tradeoff: reformation-based diagnosis. in Proceedings of the National Conference on Artificial Intelligence. AAAI, Menlo Park, CA, United States, pp. 416-421, Proceedings of the 1999 16th National Conference on Artificial Intelligence (AAAI-99), 11th Innovative Applications of Artificial Intelligence Conference (IAAI-99), Orlando, FL, USA, 99/7/18.
Prendinger H, Ishizuka M. Qualifying the expressivity/efficiency tradeoff: reformation-based diagnosis. In Proceedings of the National Conference on Artificial Intelligence. Menlo Park, CA, United States: AAAI. 1999. p. 416-421
Prendinger, Helmut ; Ishizuka, Mitsuru. / Qualifying the expressivity/efficiency tradeoff : reformation-based diagnosis. Proceedings of the National Conference on Artificial Intelligence. Menlo Park, CA, United States : AAAI, 1999. pp. 416-421
@inbook{41a1802ef7c14018bc34d88087779391,
title = "Qualifying the expressivity/efficiency tradeoff: reformation-based diagnosis",
abstract = "This paper presents an approach to model-based diagnosis that first compiles a first-order system description to a propositional representation, and then solves the diagnostic problem as a linear programming instance. Relevance reasoning is employed to isolate parts of the system that are related to certain observation types and to economically instantiate the theory, while methods from operations research offer promising results to generate near-optimal diagnoses efficiently.",
author = "Helmut Prendinger and Mitsuru Ishizuka",
year = "1999",
language = "English",
isbn = "0262511061",
pages = "416--421",
booktitle = "Proceedings of the National Conference on Artificial Intelligence",
publisher = "AAAI",

}

TY - CHAP

T1 - Qualifying the expressivity/efficiency tradeoff

T2 - reformation-based diagnosis

AU - Prendinger, Helmut

AU - Ishizuka, Mitsuru

PY - 1999

Y1 - 1999

N2 - This paper presents an approach to model-based diagnosis that first compiles a first-order system description to a propositional representation, and then solves the diagnostic problem as a linear programming instance. Relevance reasoning is employed to isolate parts of the system that are related to certain observation types and to economically instantiate the theory, while methods from operations research offer promising results to generate near-optimal diagnoses efficiently.

AB - This paper presents an approach to model-based diagnosis that first compiles a first-order system description to a propositional representation, and then solves the diagnostic problem as a linear programming instance. Relevance reasoning is employed to isolate parts of the system that are related to certain observation types and to economically instantiate the theory, while methods from operations research offer promising results to generate near-optimal diagnoses efficiently.

UR - http://www.scopus.com/inward/record.url?scp=0032596557&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0032596557&partnerID=8YFLogxK

M3 - Chapter

SN - 0262511061

SP - 416

EP - 421

BT - Proceedings of the National Conference on Artificial Intelligence

PB - AAAI

CY - Menlo Park, CA, United States

ER -