Theory Revision

GPTKB entity

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