Automated reasoning: Introduction and applications

Book · Sun Jan 01 00:00:00 EST 1984

OSTI ID:6003867

Wos, L; Overbeck, R; Lusk, E; Boyle, J

This book is designed to explain how to use a computer program that automates reasoning. Papers 1 through 5 provide a complete introduction to automated reasoning, followed by a review of the basic concepts in paper 6. In this book the authors introduce to a language for stating problems to an automated reasoning program and to many considerations affecting its performance. They explain about the various ways such a program reasons and how it is intelligent. The authors discuss the application of automated reasoning to designing logic circuits, proving properties of other programs, assisting in research in abstract mathematics and in formal logic, among others. The contents are: Introduction, learning logic by example. Puzzles, alternative representation and equality, harder puzzles, summary and partial formalization, logic circuit design, logic circuit validation. Research in mathematics, research in formal logic, real-time systems control, program debugging and verification, expert systems. Prolog: logic as a programming language. The formal treatment of automated reasoning, and the art of automated reasoning.

• OSTI ID: 6003867
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
42 ENGINEERING
ARTIFICIAL INTELLIGENCE
EXPERT SYSTEMS
LOGIC CIRCUITS
DESIGN
AUTOMATION
COMPUTER CODES
COMPUTERIZED CONTROL SYSTEMS
MATHEMATICAL LOGIC
PERFORMANCE
PROLOG
REAL TIME SYSTEMS
RESEARCH PROGRAMS
REVIEWS
CONTROL SYSTEMS
DOCUMENT TYPES
ELECTRONIC CIRCUITS
PROGRAMMING LANGUAGES
990200* - Mathematics & Computers
420800 - Engineering- Electronic Circuits & Devices- (-1989)