Conditionals: From Philosophy to Computer Science

G. Crocco, Luis Fariņas del Cerro, A. Herzig

ISBN 10: 0198538618 / ISBN 13: 9780198538615

Published by Oxford University Press, GB, 1995

About this Item

Understanding the role of deduction in human reasoning has been an important activity in philosophy, logic, and more recetnly artificial intelligence. The basic patter of this kind of reasoning can be represented by conditional expressions of the form `if.then.' There are various kinds of conditionals that fit into this pattern, such as counterfactual conditionals (`if it were the case that A then it would be the case that B'), causal conditionals (`if A then causally B'), action conditionals (`if A then B is obtained'), conditional obligations (`if A then B should be brought about'), generic conditionals (`if A then normally B')etc. The common pattern to all these constructions is their conditional form which connects the antecedetn to the consequent in such a way that the antecedent represents a condition (or a context) for the consequent.The general question arises: is it possible to give a formal logical account of these constructions? This question is considered in this volume by a group of internationally recognized pure and applied logicians and computer scientists. Their papers reflect all the current research in this subject, and should serve as a guide for future development.

Seller Inventory # LU-9780198538615

Bibliographic Details

• Title: Conditionals: From Philosophy to Computer Science
• Publisher: Oxford University Press, GB
• Publication Date: 1995
• Language: English
• ISBN 10: 0198538618
• ISBN 13: 9780198538615
• Binding: Hardback
• Condition: New
• Weight: 697 grams

About this title

Synopsis

This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analyzes the different types of conditionals, including their applications and potential problems. Other topics include defeasible logics, the Ramsey test, and a unified view of consequence relation and belief revision. Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence.

About the Author

G. Crocco is at Universite Paul Sabatier, Toulouse. L. Farinas del Cerro is at Universite Paul Sabatier, Toulouse. A. Herzig is at Universite Paul Sabatier, Toulouse.