Defeasible inheritance with doubt index and its axiomatic characterization.
Erik SandewallPublished in: Artif. Intell. (2010)
Keyphrases
- axiomatic characterization
- inheritance reasoning
- conditional independence
- default reasoning
- object oriented
- defeasible reasoning
- knowledge representation
- index structure
- b tree
- default logic
- formal model
- defeasible logic
- structural similarity
- indexing method
- database
- case study
- information systems
- search engine
- neural network