Non-revision reasoning with beliefs in predicate logic.
Song ZhangAnsheng DengPublished in: FSKD (2015)
Keyphrases
- predicate logic
- knowledge representation and reasoning
- belief revision
- knowledge base
- formal logic
- reasoning systems
- knowledge representation
- artificial intelligence
- temporal logic
- logical formulas
- semantic net
- automated reasoning
- logic programming
- belief update
- semantic network
- predicate calculus
- incomplete information
- computational linguistics
- belief change
- highly expressive
- lower level
- mental states
- knowledge based systems
- general purpose
- machine learning
- high level
- domain knowledge
- truth maintenance systems
- belief base