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 7 to 10 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

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

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

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

The AI Con

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

Atlas of the Invisible

Maps & Graphics That Will Change How You See the World

Machine Learning For Dummies

For Dummies (Computer/Tech)

Creative Machines

AI, Art & Us

AI in Early Education

Integrating Artificial Intelligence for Inclusive and Effective Learning

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Empire of AI

Inside the reckless race for total domination

The Coming Wave

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

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Deep Learning for Intrusion Detection

Techniques and Applications

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

The ChatGPT Revolution

2nd Edition - Get Curious, Get Productive and Get Creative with AI

MRI in Practice

5th Edition

Python All-in-One For Dummies

3rd Edition

Radical Infrastructure

Imagining the Internet from the Ground Up

AI and Data Science in Healthcare 5.0

Medical Robots and Devices: New Developments and Advances

REVOLUTIONIZING DRUG DEVELOPMENT

HARNESSING AI AND COMPUTATIONAL BIOLOGY

Leading Enterprise AI Programs

Optimize AI Teams for Value Creation

AI Governance Playbook

How to Secure, Control, and Optimize Artificial Intelligence Initiatives

This product is categorised by