Logic, Artificial Intelligence - General, Philosophical Methodology, Logic & Foundations of Mathematics, Expert Systems

Clausal Form Logic

Name: Clausal Form Logic
Author: Tom Richards
ISBN: 9780201129205

by Tom Richards

Write a review

Overview

This unique book provides a gentle introduction to an increasingly important type of formal logic called CLAUSAL FORM LOGIC (CFL). Having evolved out of human reasoning, CFL represents the ideal to which all computer-based systems must approximate. Most present day computational logic systems are based on it, including the well-know artificial intelligence language PROLOG.

Reviews

There are no reviews yet. Log in to write one.

Editorials

Booknews

Clausal form logic is an important type of formal logic. Having evolved out of human reasoning, it represents the ideas to which all computer-based systems must approximate. Most present day computational logic systems are based on it, including the well-known artificial intelligence language PROLOG. Acidic paper. Annotation c. Book News, Inc., Portland, OR (booknews.com)