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.00

or 4 interest-free payments of $42.25 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

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

The AI Con

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

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Nexus

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

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Creative Machines

AI, Art & Us

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Genesis

Artificial Intelligence, Hope, and the Human Spirit

The Tech Coup

How to Save Democracy from Silicon Valley

The Coming Wave

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

New Beginnings

why change is so difficult and how to achieve it

The Shortest History of AI

Building Machine Learning Systems with a Feature Store

Batch, Real-Time, and LLM Systems

Artificial Intelligence

A Modern Approach, 4th Global Edition

Python Workout, Second Edition

200 ten-minute exercises

Life 3.0

Being Human in the Age of Artificial Intelligence

Python All-in-One For Dummies

3rd Edition

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

Falter

Has the Human Game Begun to Play Itself Out?

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Fundamentals of Software Architecture

A Modern Engineering Approach

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

This product is categorised by