Nonmonotonic Logics : Basic Concepts, Results, and Techniques

Karl Schlechta

ISBN 10: 3540624821 / ISBN 13: 9783540624820

Published by Springer Berlin Heidelberg, 1997

About this Item

Druck auf Anfrage Neuware - Printed after ordering - Nonmonotonic logics were created as an abstraction of some types of common sense reasoning, analogous to the way classical logic serves to formalize ideal reasoning about mathematical objects. These logics are nonmonotonic in the sense that enlarging the set of axioms does not necessarily imply an enlargement of the set of formulas deducible from these axioms. Such situations arise naturally, for example, in the use of information of different degrees of reliability.This book emphasizes basic concepts by outlining connections between different formalisms of nonmonotonic logic, and gives a coherent presentation of recent research results and reasoning techniques. It provides a self-contained state-of-the-art survey of the area addressing researchers in AI lo.

Seller Inventory # 9783540624820

Bibliographic Details

• Title: Nonmonotonic Logics : Basic Concepts, Results, and Techniques
• Publisher: Springer Berlin Heidelberg
• Publication Date: 1997
• Language: English
• ISBN 10: 3540624821
• ISBN 13: 9783540624820
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 15D millimeters 235 millimeters width by 155 millimeters height by 15 millimeters depth
• Weight: 400 grams

About this title

Synopsis

Nonmonotonic logics were created as an abstraction of some types of common sense reasoning, analogous to the way classical logic serves to formalize ideal reasoning about mathematical objects. These logics are nonmonotonic in the sense that enlarging the set of axioms does not necessarily imply an enlargement of the set of formulas deducible from these axioms. Such situations arise naturally, for example, in the use of information of different degrees of reliability.
This book emphasizes basic concepts by outlining connections between different formalisms of nonmonotonic logic, and gives a coherent presentation of recent research results and reasoning techniques. It provides a self-contained state-of-the-art survey of the area addressing researchers in AI lo