Qualitative reasoning about physical systems
Book
·
OSTI ID:6916723
This book presents recent work on qualitative reasoning about the real (physical) world. Topics covered include: qualitative reasoning about physical systems - an introduction; qualitative physics based on confluences; qualitative process theory, common sense reasoning about causality: deriving behavior from structure; how circuits work, qualitative analysis of MOS circuits, diagnostic reasoning based on structure and behavior; the use of design descriptions in automated diagnosis; VERIFY: A program for proving correctness of digital hardware designs.
- OSTI ID:
- 6916723
- Country of Publication:
- United States
- Language:
- English
Similar Records
Automated reasoning: Introduction and applications
Device-oriented qualitative reasoning for dynamic physical systems
Model-based reasoning for fault diagnosis
Book
·
Sat Dec 31 23:00:00 EST 1983
·
OSTI ID:6003867
Device-oriented qualitative reasoning for dynamic physical systems
Conference
·
Wed Jul 27 00:00:00 EDT 1988
·
OSTI ID:6721800
Model-based reasoning for fault diagnosis
Conference
·
Wed Dec 31 23:00:00 EST 1986
·
OSTI ID:5929210
Related Subjects
99 GENERAL AND MISCELLANEOUS
990200* -- Mathematics & Computers
ACCURACY
ARTIFICIAL INTELLIGENCE
COMPUTER ARCHITECTURE
COMPUTER CALCULATIONS
COMPUTER CODES
COMPUTERS
DESIGN
DIGITAL COMPUTERS
DOCUMENT TYPES
ELECTRONIC CIRCUITS
ENERGY TRANSFER
HEAT TRANSFER
MATHEMATICS
REVIEWS
SEMICONDUCTOR DEVICES
SUPERCOMPUTERS
V CODES
990200* -- Mathematics & Computers
ACCURACY
ARTIFICIAL INTELLIGENCE
COMPUTER ARCHITECTURE
COMPUTER CALCULATIONS
COMPUTER CODES
COMPUTERS
DESIGN
DIGITAL COMPUTERS
DOCUMENT TYPES
ELECTRONIC CIRCUITS
ENERGY TRANSFER
HEAT TRANSFER
MATHEMATICS
REVIEWS
SEMICONDUCTOR DEVICES
SUPERCOMPUTERS
V CODES