Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:scientific_theory
|
| gptkbp:application |
gptkb:machine_learning
automated reasoning database updating |
| gptkbp:defines |
The process of changing a logical theory to accommodate new information while maintaining consistency.
|
| gptkbp:field |
gptkb:artificial_intelligence
gptkb:philosophy_of_science |
| gptkbp:notableContributor |
gptkb:Peter_Gärdenfors
gptkb:Wolfgang_Spohn Alchourrón, Gärdenfors, and Makinson |
| gptkbp:relatedConcept |
gptkb:epistemic_logic
non-monotonic reasoning |
| gptkbp:relatedTo |
gptkb:knowledge_representation
belief revision |
| gptkbp:相关理论 |
AGM theory
|
| gptkbp:bfsParent |
gptkb:Inductive_Logic_Programming
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Theory Revision
|