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.
€56.70
购买此电子书可免费获赠一本！
语言 英语 ● 格式 PDF ● ISBN 9780444599216 ● 编辑 Daniel G Bobrow ● 出版者 Elsevier Science ● 发布时间 2012 ● 下载 6 时 ● 货币 EUR ● ID 5664300 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
6,461 此类电子书
