Martin Slota

Exception-Based Knowledge Updates

2017 · arXiv (Cornell University)

Existing methods for dealing with knowledge updates differ greatly depending on the underlying knowledge representation formalism. When Classical Logic is used, updates are typically performed by manipulating the knowledge base on the model-theoretic level. On …