Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements.
Didar ZowghiVincenzo GervasiAndrew McRaePublished in: APSEC (2001)
Keyphrases
- default reasoning
- natural language
- belief revision
- nonmonotonic reasoning
- dependency directed backtracking
- default logic
- conditional logic
- probabilistic reasoning
- partial order
- closed world reasoning
- proof theory
- probabilistic logic
- knowledge representation
- proof theoretic
- knowledge base
- default theories
- default rules
- inheritance reasoning
- neural network
- logic programming
- artificial intelligence
- machine learning