skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Automated reasoning: Introduction and applications

Abstract

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.

Authors:
; ; ;
Publication Date:
OSTI Identifier:
6003867
Alternate Identifier(s):
OSTI ID: 6003867
Resource Type:
Book
Country of Publication:
United States
Language:
English
Subject:
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)

Citation Formats

Wos, L., Overbeck, R., Lusk, E., and Boyle, J.. Automated reasoning: Introduction and applications. United States: N. p., 1984. Web.
Wos, L., Overbeck, R., Lusk, E., & Boyle, J.. Automated reasoning: Introduction and applications. United States.
Wos, L., Overbeck, R., Lusk, E., and Boyle, J.. Sun . "Automated reasoning: Introduction and applications". United States. doi:.
@article{osti_6003867,
title = {Automated reasoning: Introduction and applications},
author = {Wos, L. and Overbeck, R. and Lusk, E. and Boyle, J.},
abstractNote = {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.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {Sun Jan 01 00:00:00 EST 1984},
month = {Sun Jan 01 00:00:00 EST 1984}
}

Book:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this book.

Save / Share: