Resolution Proof Systems

An Algebraic Theory

By: Z. Stachniak

Write A Review

Hardcover | 30 April 1996

At a Glance

Hardcover
228 Pages

Dimensions(cm)
25.4 x 17.15 x 1.91

Hardcover

$169.75

or 4 interest-free payments of $42.44 with

Ships in 5 to 7 business days

Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated reasoning systems for a range of non-classical logics. It develops an algebraic theory of resolution proof systems focusing on the problems of proof theory, representation and efficiency of the deductive process.
A new class of logical calculi, the class of resolution logics, emerges as a second theme of the book. The logical and computational aspects of the relationship between resolution logics and resolution proof systems is explored in the context of monotonic as well as nonmonotonic reasoning.
This book is aimed primarily at researchers and graduate students in artificial intelligence, symbolic and computational logic. The material is suitable as a reference book for researchers and as a text book for graduate courses on the theoretical aspects of automated reasoning and computational logic.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Artificial Intelligence Mathematics Mathematical Foundation Mathematical Logic Databases Data Capture & Analysis Computer Programming & Software Development

Preface
Logical Preliminaries	p. 1
Propositional Resolution Proof Systems	p. 23
Propositional Resolution Logics	p. 47
Efficiency of the Deductive Process	p. 73
Theorem Proving Strategies	p. 103
Resolution Circuits	p. 133
First-Order Resolution Proof Systems	p. 145
Nonmonotonic Resolution Inference Systems	p. 165
A Resolution Counterpart Rs[subscript 2] of P[subscript 2]	p. 179
B Resolution Counterpart Rs[subscript 3] of P[subscript 3]	p. 181
C Resolution Counterpart Rs[subscript 4] of P[subscript 4]	p. 183
D Resolution Counterpart Rs[subscript 5] of P[subscript 5]	p. 187
E Resolution Counterpart [actual symbol not reproducible] of [actual symbol not reproducible]	p. 191
F Resolution Counterpart [actual symbol not reproducible] of Ps	p. 193
References	p. 195
Index	p. 201
Index of Symbols	p. 205
Table of Contents provided by Blackwell. All Rights Reserved.

Resolution Proof Systems

An Algebraic Theory

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Nexus

A Brief History of Information Networks from the Stone Age to AI

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Machine Learning For Dummies

For Dummies (Computer/Tech)

Creative Machines

AI, Art & Us

New Beginnings

why change is so difficult and how to achieve it

The Tech Coup

How to Save Democracy from Silicon Valley

AI for Business

A Guide to AI Adoption

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

The Shortest History of AI

AI in Early Education

Integrating Artificial Intelligence for Inclusive and Effective Learning

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Genesis

Artificial Intelligence, Hope, and the Human Spirit

Python All-in-One For Dummies

3rd Edition

Python Workout, Second Edition

200 ten-minute exercises

AI and Data Science in Healthcare 5.0

Medical Robots and Devices: New Developments and Advances

REVOLUTIONIZING DRUG DEVELOPMENT

HARNESSING AI AND COMPUTATIONAL BIOLOGY

The AI Marketing Canvas, Second Edition

A Five-Step AI Plan for Marketers

MRI in Practice

5th Edition

Artificial Intelligence

A Modern Approach, 4th Global Edition

This product is categorised by