A New Parameter for Maintaining Consistency in an Agent's Knowledge Base Using Truth Maintenance Systems.
Qutaibah AlthebyanHenry HexmoorPublished in: WRAC (2005)
Keyphrases
- maintaining consistency
- knowledge base
- truth maintenance systems
- knowledge representation
- intelligent agents
- autonomous agents
- constraint propagation
- belief revision
- software agents
- logic programming
- nonmonotonic reasoning
- knowledge based systems
- expert systems
- knowledge acquisition
- description logics
- inference mechanism
- default logic
- data warehouse
- information flow
- production rules
- knowledge structures
- temporal reasoning
- databases
- operating system
- machine learning