Non-classical Logic in an Intelligent Assessment Sub-system.
Sylvia B. EnchevaYuriy P. KondratenkoSharil TuminSanjay Kumar KhattriPublished in: ICCSA (1) (2007)
Keyphrases
- classical logic
- logic programming
- modal logic
- possibilistic logic
- default logic
- commonsense reasoning
- intuitionistic logic
- revision operators
- autoepistemic logic
- automated theorem proving
- possibility theory
- databases
- database
- markov random field
- general purpose
- artificial intelligence
- genetic algorithm
- rationality postulates