Synopsis
The book generalises earlier theories of belief change to cover all kinds of changes of sets by sets. The principal focus is still on changes of belief sets in response to new evidence, but the formal theory extends to all domains with a closure operation and a preference structure including, for example, systems of action. Contraction is the key notion; all other changes can be defined. Various new applications of the theory are outlined. A sentential version of contraction, subtraction, is proposed as a formal counterpart to 'except'-locutions in natural language. Connections are emphasised with other areas at the interface between philosophical logic and artificial intelligence such as reasoning from default assumptions or from inconsistent premises. A relation of merge inference is proposed as a means of retrieving maximal but nontrivial information from inconsistent premises. Merge inference respects certain anti-Boolean intuitions while avoiding a revision of classical logic.
"synopsis" may belong to another edition of this title.
Book Description
The book generalises earlier theories of belief change to cover all kinds of changes of sets by sets. The principal focus is still on changes of belief sets in response to new evidence. But the formal theory extends to all domains with a closure operation and a preference structure including, for example, systems of action. Contraction is the key notion; all other changes can be defined. Various new applications of the theory are outlined.
Synopsis
The book generalises earlier theories of belief change to cover all kinds of changes of sets by sets. The principal focus is still on changes of belief sets in response to new evidence, but the formal theory extends to all domains with a closure operation and a preference structure including, for example, systems of action. Contraction is the key notion; all other changes can be defined. Various new applications of the theory are outlined. A sentential version of contraction, subtraction, is proposed as a formal counterpart to 'except'-locutions in natural language. Connections are emphasised with other areas at the interface between philosophical logic and artificial intelligence such as reasoning from default assumptions or from inconsistent premises. A relation of merge inference is proposed as a means of retrieving maximal but nontrivial information from inconsistent premises. Merge inference respects certain anti-Boolean intuitions while avoiding a revision of classical logic.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for An Essay on Contraction (Studies in Logic Language...
Stock Image
An Essay on Contraction (Center for the Study of Language and Information - Lecture Notes)
Published by
Center for the Study of Language and Inf, 1996
ISBN 10: 1575860554
ISBN 13: 9781575860558
New
Hardcover
Seller: RWL GROUP (Booksellers), Desert Hot Springs, CA, U.S.A.
Seller rating 3 out of 5 stars
Hardcover. Condition: New. New hardcover, book is clean and tight. Seller Inventory # 13976
Stock Image
An Essay on Contraction (Center for the Study of Language and Information - Lecture Notes)
Published by
Center for the Study of Language and Inf, 1996
ISBN 10: 1575860554
ISBN 13: 9781575860558
Used
Hardcover
Seller: RWL GROUP (Booksellers), Desert Hot Springs, CA, U.S.A.
Seller rating 3 out of 5 stars
Hardcover. Condition: very good. Very good hardcover, book is clean and tight. Seller Inventory # 14060