Automated modeling of physical systems /
In this monograph the author investigates the problem of selecting adequate models for reasoning about physical systems and applications to engineering problem solving. An elegant treatment of both the theoretical and practical aspects is presented: the problem is precisely formalized, its computati...
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Kitap |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
Berlin ; New York :
Springer,
c1995.
|
| Seri Bilgileri: | Lecture notes in computer science ;
1003. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Konular: |
| Özet: | In this monograph the author investigates the problem of selecting adequate models for reasoning about physical systems and applications to engineering problem solving. An elegant treatment of both the theoretical and practical aspects is presented: the problem is precisely formalized, its computational complexity is analyzed in detail, and an efficient algorithm for finding adequate models is derived; on the practical side, a methodology for building systems that automatically construct adequate models is provided, and implementational aspects and tests are described. |
|---|---|
| Fiziksel Özellikler: | xx, 232 p. : ill. ; 24 cm. |
| Bibliyografya: | Includes bibliographical references (p. [227]-232). |
| ISBN: | 3540606416 35406060416 (pbk.) |