skip to content
A textbook of belief dynamics : theory change and database updating Preview this item
ClosePreview this item
Checking...

A textbook of belief dynamics : theory change and database updating

Author: Sven Ove Hansson
Publisher: Dordrecht ; Boston : Kluwer Academic Publishers, ©1999.
Series: Applied logic series, v. 11.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
In the middle of the 1980s, logical tools were discovered that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable both to human beliefs and to the contents of databases. This is the first textbook in this new area. It contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Sven Ove Hansson
ISBN: 9789048151257 9048151252 0792353242 9780792353249 0792353269 9780792353263 0792353277 9780792353270 0792353293 9780792353294 0792353285 9780792353287
OCLC Number: 39856021
Description: xii, 398, 65 pages : illustrations ; 25 cm.
Contents: Ch. 1. Having Beliefs --
Ch. 1+. Basic Tools --
Ch. 2. Giving up Beliefs --
Ch. 2+. The Logic of Contraction --
Ch. 3. Taking on Beliefs --
Ch. 3+. The Logic of Revision --
Ch. 4. Hidden Structures of Belief --
Ch. 4+. The Logic of Base-Generated Operations --
Ch. 5. Believing and Hypothesizing --
Ch. 5+. Extending the Formal Language --
Ch. 6. Afterthought --
Ch. 6+. Some Unsolved Problems.
Series Title: Applied logic series, v. 11.
Responsibility: by Sven Ove Hansson.
More information:

Abstract:

The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in various ways. This book contains both discursive chapters with a minimum of  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/39856021>
library:oclcnum"39856021"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:typeschema:MediaObject
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:copyrightYear"1999"
schema:creator
schema:datePublished"1999"
schema:description"In the middle of the 1980s, logical tools were discovered that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable both to human beliefs and to the contents of databases. This is the first textbook in this new area. It contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented. By using different selections from the formal section (as suggested in detail by the author) the book can be used on all levels of University education."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/808928358>
schema:inLanguage"en"
schema:isPartOf
schema:name"A textbook of belief dynamics : theory change and database updating"@en
schema:publication
schema:publisher
schema:workExample
schema:workExample
schema:workExample
schema:workExample
schema:workExample
schema:workExample
umbel:isLike<http://bnb.data.bl.uk/id/resource/GB9925703>
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.