Statements (18)
Predicate | Object |
---|---|
gptkbp:instanceOf |
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
philosophy of science |
https://www.w3.org/2000/01/rdf-schema#label |
Theory Revision
|
gptkbp:notableContributor |
gptkb:Peter_Gärdenfors
gptkb:Wolfgang_Spohn Alchourrón, Gärdenfors, and Makinson |
gptkbp:relatedConcept |
epistemic logic
non-monotonic reasoning |
gptkbp:relatedTo |
gptkb:knowledge_representation
belief revision |
gptkbp:相关理论 |
AGM theory
|
gptkbp:bfsParent |
gptkb:Inductive_Logic_Programming
|
gptkbp:bfsLayer |
8
|