Conditionals: From Philosophy to Computer Science - From Philosophy to Computer Science

Klappentext 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. Zusammenfassung Internationally recognized logicians present current thinking on the understanding of the role of deduction in human reasoning. Inhaltsverzeichnis 1.: Introduction 2.: The emperor's new clothes: some recurring problems in the formal analysis of counterfactuals 3.: A unified view of consequence relation, belief revision, and conditional logic 4.: Defeasible logics: demarcation and affinities 5.: Commonsense entailment: a conditional logic for some generics 6.: The Ramsey test revisited 7.: Epistemic conditionals, snakes and stars 8.: Conditional action 9.: Of the revision of conditional belief sets 10.: Conditional objects, possibility theory and default roles 11.: Conditional implications and non-monotonic consequence

Product details

• Authors: Farinas Del Cerro Crocco, G. Crocco, G. Etc. Farinas Del Cerro Crocco, G. Farinas Del Cerro Crocco, CROCCO G ETC FARINAS DEL CERRO, Luis Farinas Del Cerro, Luis Fariñas del Cerro, A. Herzig, A. (all at Languages et Systemes Informatiques Herzig
• Assisted by: G. Crocco (Editor), L. Fari Nas del Cerro (Editor), L. Farinas del Cerro (Editor), L. Fariñas del Cerro (Editor), A. Herzig (Editor)
• Publisher: Oxford University Press
• Languages: English
• Product format: Hardback
• Released: 30.11.1995
• EAN: 9780198538615
• ISBN: 978-0-19-853861-5
• No. of pages: 376
• Series: Studies in Logic and Computation; Studies in Logic and Computati; Studies in Logic and Computation; Studies in Logic and Computati
• Subjects: Humanities, art, music > Philosophy > General, dictionaries; Natural sciences, medicine, IT, technology > IT, data processing > IT; Non-fiction book > Philosophy, religion > Philosophy: general, reference works