Cargando…
Qualitative reasoning about physical systems /
This volume brings together current work on qualitative reasoning. Its publication reflects the maturity of qualitative reasoning as a research area and the growing interest in problems of reasoning about physical systems. The papers present knowledge bases for a number of very different domains, in...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York : Cambridge, MA :
North-Holland ; Sole distributors for the U.S.A. and Canada, MIT Press,
1984.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn840823158 | ||
| 003 | OCoLC | ||
| 005 | 20231117044852.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130425s1984 ne a ob 000 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d IDEBK |d N$T |d OCLCF |d YDXCP |d EBLCP |d NLGGC |d DEBSZ |d OCLCQ |d MERUC |d OCLCQ |d LEAUB |d OCLCQ |d LUN |d YDX |d OCLCO |d S2H |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ | ||
| 019 | |a 862831744 |a 1164793941 |a 1175608810 | ||
| 020 | |a 9780444599216 |q (electronic bk.) | ||
| 020 | |a 0444599215 |q (electronic bk.) | ||
| 020 | |z 0444876707 | ||
| 020 | |z 9780444876706 | ||
| 035 | |a (OCoLC)840823158 |z (OCoLC)862831744 |z (OCoLC)1164793941 |z (OCoLC)1175608810 | ||
| 050 | 4 | |a Q335.5 |b .Q35 1984eb | |
| 072 | 7 | |a REF |x 018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 001.53/5 |2 22 |
| 084 | |a 08.33 |2 bcl | ||
| 084 | |a 54.72 |2 bcl | ||
| 084 | |a ST 285 |2 rvk | ||
| 084 | |a DAT 703f |2 stub | ||
| 245 | 0 | 0 | |a Qualitative reasoning about physical systems / |c edited by Daniel G. Bobrow. |
| 260 | |a Amsterdam ; |a New York : |b North-Holland ; |a Cambridge, MA : |b Sole distributors for the U.S.A. and Canada, MIT Press, |c 1984. | ||
| 300 | |a 1 online resource (491 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 500 | |a "Reprinted from the journal Artificial intelligence, volume 24"--Title page verso | ||
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a Qualitative reasoning about physical systems / D.G. Bobrow -- A qualitative physics based on confluences / J. de Kleer and J.S. Brown -- Qualitative process theory / K.D. Forbus -- Commonsense reasoning about causality / B. Kuipers -- How circuits work / J. de Kleer -- Qualitative analysis of MOS circuits / B.C. Williams -- Diagnostic reasoning based on structure and behavior / R. Davis -- The use of design descriptions in automated diagnosis / M.R. Genesereth -- VERIFY, a program for proving correctness of digital hardware designs / H.G. Barrow. | |
| 520 | |a This volume brings together current work on qualitative reasoning. Its publication reflects the maturity of qualitative reasoning as a research area and the growing interest in problems of reasoning about physical systems. The papers present knowledge bases for a number of very different domains, including heat flow, transistors, and digital computation. A common theme of all these papers is explaining how physical systems work. An important shared criterion is that the behavioral description must be compositional, that is the description of a system's behavior must be derivable from the structure of the system. This material should be of interest to anyone concerned with automated reasoning about the real (physical) world. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Qualitative reasoning. | |
| 650 | 6 | |a Intelligence artificielle. |0 (CaQQLa)201-0008626 | |
| 650 | 6 | |a Raisonnement qualitatif. |0 (CaQQLa)201-0298125 | |
| 650 | 7 | |a artificial intelligence. |2 aat |0 (CStmoGRI)aat300251574 | |
| 650 | 7 | |a REFERENCE |x Questions & Answers. |2 bisacsh | |
| 650 | 7 | |a Artificial intelligence. |2 fast |0 (OCoLC)fst00817247 | |
| 650 | 7 | |a Qualitative reasoning. |2 fast |0 (OCoLC)fst01084939 | |
| 650 | 7 | |a K�unstliche Intelligenz |2 gnd |0 (DE-588)4033447-8 | |
| 650 | 7 | |a Physikalisches System |2 gnd |0 (DE-588)4174610-7 | |
| 650 | 7 | |a Qualitatives Schlie�en |2 gnd |0 (DE-588)4195870-6 | |
| 655 | 7 | |a Aufsatzsammlung. |2 swd | |
| 700 | 1 | |a Bobrow, Daniel G. |q (Daniel Gureasko), |d 1935- | |
| 740 | 0 | |a Physical systems. | |
| 776 | 0 | 8 | |i Print version: |t Qualitative reasoning about physical systems. |d Amsterdam ; New York : North-Holland ; Cambridge, MA : Sole distributors for the U.S.A. and Canada, MIT Press, 1984 |z 0444876707 |w (DLC) 84024675 |w (OCoLC)11346458 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444876706 |z Texto completo |