Non-revision Reasoning without Redundancy in Predicate Logic.
Song ZhangAnsheng DengPublished in: FCST (2015)
Keyphrases
- predicate logic
- knowledge representation and reasoning
- reasoning systems
- formal logic
- knowledge base
- knowledge representation language
- knowledge representation
- artificial intelligence
- logic programming
- semantic network
- belief revision
- description logics
- automated reasoning
- temporal logic
- semantic net
- predicate calculus
- incomplete information
- logical formulas
- highly expressive
- computational linguistics
- lower level
- fluent calculus
- qualitative reasoning
- belief change
- probabilistic reasoning
- data analysis
- computer science