The logic of theory change : workshop, Konstanz, FRG, October 13 15, 1989 : proceedings
The logic of theory change, or the theory of belief revision, is a growing area of research in artificial intelligence. The papers in this volume, mostly arising from a workshop held in Konstanz in October 1989, chart out the current state of research in this area and indicate the directions of futu...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science. Lecture notes in artificial intelligence
465 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Actes d'un séminaire tenu à Constance du 13 au 15 octobre 1989, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • The Logic of theory change, workshop, Konstanz, FRG, October 13-15, 1989, proceedings, A. Fuhrmann, M. Morreau, eds, Berlin, Springer-Verlag, 1991, 1 vol. (x, 334 p.), Lecture notes in computer science, 0-387-53567-5 • The Logic of Theory Change, Texte imprimé, 9783662167663 |
Table des matières:
- Inquiry, argumentation and knowledge
- Rational control of reasoning in artificial intelligence
- Computational issues in belief revision
- Some results on theory revision
- Epistemic entrenchment with incomparabilities and relational belief revision
- The negative Ramsey test: Another triviality result
- A nonmonotonic conditional logic for belief revision
- Relations between the logic of theory change and nonmonotonic logic
- Belief revision in a framework for default reasoning
- Preferential cumulative reasoning and nonmonotonic semantic nets
- Propositional logic based on the dynamics of disbelief
- On the modal logic of theory change
- Discourse representation theory and belief dynamics
- Multiple contraction a further case against gärdenfors' principle of recovery.