Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics.
Dov M. GabbayOdinaldo RodriguesJohn WoodsPublished in: Log. J. IGPL (2002)
Keyphrases
- resource bounded
- belief revision
- information gathering
- horn logic
- meta level
- belief change
- autonomous agents
- rational agents
- modal operators
- valued logic
- resource allocation
- modal logic
- decision process
- information fusion
- truth values
- domain knowledge
- knowledge base
- classical logic
- default reasoning
- artificial intelligence
- propositional logic
- video sequences
- decision making