Kleene's three valued logics and their children
Fundamenta Informaticae
A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications
Journal of Logic and Computation
Decision Making based on Paraconsistent Annotated Logic
Proceedings of the 2005 conference on Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005
Paraconsistent artificial neural network: applicability in computer analysis of speech productions
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Intelligent paraconsistent logic controller and autonomous mobile robot emmy II
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
An intelligent safety verification based on a paraconsistent logic program
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Response-Driven web-based assessment system
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
Hi-index | 0.00 |
This paper describes application of six-valued logic in an assessment sub-system of an intelligent tutoring system. This allows the system to handle situations with inconsistent and incomplete input. Special attention is paid to the decision making rules an intelligent agent is applying for assessing students' understanding of new terms. If an assessment is not in anyway connected with grading, i.e. a student will neither loose no gain by providing honest answers, we assume that there is no need for penalty rules deterring system misuse. Instead we implement rules that distinguish between students' hesitation in the process of giving an answer and lack of knowledge.