Reasoning With Non-Binary Logics

Students in high education are presented with new terms and concepts in nearly every lecture they attend. Many of them prefer Web-based self-tests for evaluation of their concepts understanding since they can use those tests independently of tutors’ working hours and thus avoid the necessity of being in a particular place at a particular time. There is a large number of multiple-choice tests in almost every subject designed to contribute to higher level learning or discover misconceptions. Every single test provides immediate feedback to a student about the outcome of that test. In some cases a supporting system displays an overall score in case a test is taken several times by a student. What we still find missing is how to secure delivering of personalized feedback to a user while taking into consideration the user’s progress. The present work is motivated to throw some light on that question. Keywords—Clustering, rough sets, many valued logic, predictions

[1]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[2]  Deng Ju-Long,et al.  Control problems of grey systems , 1982 .

[3]  Alexei Yu. Muravitsky,et al.  A knowledge representation based on the Belnap's four-valued logic , 1995, J. Appl. Non Class. Logics.

[4]  Nuel D. Belnap,et al.  How a Computer Should Think , 2019, New Essays on Belnap-­Dunn Logic.

[5]  Merrie Bergmann,et al.  An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems , 2008 .

[6]  Arnon Avron,et al.  Non-deterministic Multiple-valued Structures , 2005, J. Log. Comput..

[7]  Richard Bellman,et al.  Decision-making in fuzzy environment , 2012 .

[8]  J. Deng,et al.  Introduction to Grey system theory , 1989 .

[9]  Christoph S. Herrmann Fuzzy Logic as Interfacing Technique in Hybrid AI-Systems , 1995, Fuzzy Logic in Artificial Intelligence.

[10]  S. Gottwald Many-Valued Logics , 2007 .

[11]  Zachary Kurmas Improving student performance using automated testing of simulated digital logic circuits , 2008, ITiCSE.

[12]  Christer Carlsson,et al.  Optimization under fuzzy if-then rules , 2001, Fuzzy Sets Syst..

[13]  Neil Immerman,et al.  The Boundary Between Decidability and Undecidability for Transitive-Closure Logics , 2004, CSL.

[14]  Eduardo Guzmán,et al.  A Model for Student Knowledge Diagnosis Through Adaptive Testing , 2004, Intelligent Tutoring Systems.

[15]  H. Zimmermann,et al.  Fuzzy reasoning for solving fuzzy mathematical programming problems , 1993 .

[16]  Andrzej Skowron,et al.  Rough mereology: A new paradigm for approximate reasoning , 1996, Int. J. Approx. Reason..

[17]  Claudio Carpineto,et al.  Concept data analysis - theory and applications , 2004 .

[18]  Jiguo Yu,et al.  Concept Interconnection Based on Many-Valued Context Analysis , 2007, PAKDD.

[19]  Janusz Zalewski,et al.  Rough sets: Theoretical aspects of reasoning about data , 1996 .

[20]  Chanjung Park,et al.  Development of a Level-Based Instruction Model in Web-Based Education , 2003, KES.

[21]  Arnon Avron,et al.  Rough Sets and 3-Valued Logics , 2008, Stud Logica.

[22]  R. Wille Concept lattices and conceptual knowledge systems , 1992 .

[23]  Yi-Chung Hu,et al.  Grey relational analysis and radial basis function network for determining costs in learning sequences , 2007, Appl. Math. Comput..