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


Primary Entity

<http://www.worldcat.org/oclc/39856021> # A textbook of belief dynamics : theory change and database updating
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "39856021" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/808928358#Place/dordrecht> ; # Dordrecht
   library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
   schema:about <http://id.worldcat.org/fast/1002068> ; # Lógica simbólica y matemática
   schema:about <http://id.worldcat.org/fast/888037> ; # Creencia y duda
   schema:about <http://dewey.info/class/005.74/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/808928358#Topic/databanken> ; # Databanken
   schema:about <http://experiment.worldcat.org/entity/work/data/808928358#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/830124> ; # Administración de bases de datos
   schema:about <http://experiment.worldcat.org/entity/work/data/808928358#Topic/kennissystemen> ; # Kennissystemen
   schema:about <http://experiment.worldcat.org/entity/work/data/808928358#Topic/database_management> ; # Database management
   schema:about <http://experiment.worldcat.org/entity/work/data/808928358#Topic/filosofische_aspecten> ; # Filosofische aspecten
   schema:about <http://experiment.worldcat.org/entity/work/data/808928358#Topic/logica> ; # Logica
   schema:about <http://experiment.worldcat.org/entity/work/data/808928358#Topic/belief_and_doubt> ; # Belief and doubt
   schema:about <http://experiment.worldcat.org/entity/work/data/808928358#Topic/logique> ; # Logique
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1999" ;
   schema:creator <http://viaf.org/viaf/108322038> ; # Sven Ove Hansson
   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 <http://experiment.worldcat.org/entity/work/data/808928358#Series/applied_logic_series> ; # Applied logic series ;
   schema:name "A textbook of belief dynamics : theory change and database updating"@en ;
   schema:productID "39856021" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/39856021#PublicationEvent/dordrecht_boston_kluwer_academic_publishers_1999> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/808928358#Agent/kluwer_academic_publishers> ; # Kluwer Academic Publishers
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0823/98037270-t.html> ;
   schema:workExample <http://worldcat.org/isbn/9780792353249> ;
   schema:workExample <http://worldcat.org/isbn/9780792353287> ;
   schema:workExample <http://worldcat.org/isbn/9780792353263> ;
   schema:workExample <http://worldcat.org/isbn/9789048151257> ;
   schema:workExample <http://worldcat.org/isbn/9780792353294> ;
   schema:workExample <http://worldcat.org/isbn/9780792353270> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9925703> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/39856021> ;
    .


Related Entities

<http://dbpedia.org/resource/Boston> # Boston
    a schema:Place ;
   schema:name "Boston" ;
    .

<http://experiment.worldcat.org/entity/work/data/808928358#Agent/kluwer_academic_publishers> # Kluwer Academic Publishers
    a bgn:Agent ;
   schema:name "Kluwer Academic Publishers" ;
    .

<http://experiment.worldcat.org/entity/work/data/808928358#Series/applied_logic_series> # Applied logic series ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/39856021> ; # A textbook of belief dynamics : theory change and database updating
   schema:name "Applied logic series ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/808928358#Topic/database_management> # Database management
    a schema:Intangible ;
   schema:name "Database management"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/808928358#Topic/filosofische_aspecten> # Filosofische aspecten
    a schema:Intangible ;
   schema:name "Filosofische aspecten"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/808928358#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Lógica simbólica y matemática
    a schema:Intangible ;
   schema:name "Lógica simbólica y matemática"@en ;
    .

<http://id.worldcat.org/fast/830124> # Administración de bases de datos
    a schema:Intangible ;
   schema:name "Administración de bases de datos"@en ;
    .

<http://id.worldcat.org/fast/888037> # Creencia y duda
    a schema:Intangible ;
   schema:name "Creencia y duda"@en ;
    .

<http://viaf.org/viaf/108322038> # Sven Ove Hansson
    a schema:Person ;
   schema:birthDate "1951" ;
   schema:familyName "Hansson" ;
   schema:givenName "Sven Ove" ;
   schema:name "Sven Ove Hansson" ;
    .

<http://worldcat.org/isbn/9780792353249>
    a schema:ProductModel ;
   schema:isbn "0792353242" ;
   schema:isbn "9780792353249" ;
    .

<http://worldcat.org/isbn/9780792353263>
    a schema:ProductModel ;
   schema:isbn "0792353269" ;
   schema:isbn "9780792353263" ;
    .

<http://worldcat.org/isbn/9780792353270>
    a schema:ProductModel ;
   schema:isbn "0792353277" ;
   schema:isbn "9780792353270" ;
    .

<http://worldcat.org/isbn/9780792353287>
    a schema:ProductModel ;
   schema:isbn "0792353285" ;
   schema:isbn "9780792353287" ;
    .

<http://worldcat.org/isbn/9780792353294>
    a schema:ProductModel ;
   schema:isbn "0792353293" ;
   schema:isbn "9780792353294" ;
    .

<http://worldcat.org/isbn/9789048151257>
    a schema:ProductModel ;
   schema:isbn "9048151252" ;
   schema:isbn "9789048151257" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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