Semantic-Based Logic Representation and Reasoning for Automated Regulatory Compliance Checking.
Jiansong ZhangNora M. El-GoharyPublished in: J. Comput. Civ. Eng. (2017)
Keyphrases
- horn logic
- proof theory
- automated reasoning
- graphical representation
- computational properties
- multi valued
- default reasoning
- knowledge base
- logical framework
- consistency checking
- reasoning engine
- proof theoretic
- logical formulas
- logical representation
- representing knowledge
- intuitionistic logic
- order of magnitude reasoning
- reasoning process
- image representation
- modal logic
- semi automated
- model construction
- artificial intelligence
- relation algebra
- propositional logic
- symbolic representation
- logical inference
- classical logic
- qualitative reasoning
- reasoning tasks
- predicate calculus
- multiple representations
- defeasible logic
- probabilistic logic