Nguyen, M.L., Hui, S.C. and Fong, A.C.M. (2013) Probabilistic equivalence verification approach for automatic mathematical solution assessment. In: 23rd International Joint Conference on Artificial Intelligence (IJCAI2013), Beijing, 3-9 Aug 2013, pp. 1352-1356.
Full text not currently available from Enlighten.
Abstract
Automatic mathematical solution assessment checks the equivalence of mathematical expressions in the user answer and standard solution. It is a challenging problem as the semantics of mathematical expressions are highly symbolic and equivalent mathematical expressions can be expressed in different forms. In this paper, we propose an effective Probabilistic Equivalence Verification (PEV) approach for automatic mathematical solution assessment. The proposed PEV approach is a randomized method based on the probabilistic numerical equivalence testing of two mathematical expressions. It can avoid false negative errors completely while guaranteeing a small probability of false positive errors to occur. The performance results have shown that the proposed PEV approach has outperformed other popular techniques in Computer Algebra Systems such as Maple and Mathematica.
| Item Type: | Conference Proceedings |
|---|---|
| Status: | Published |
| Refereed: | Yes |
| Glasgow Author(s) Enlighten ID: | Fong, Dr Alvis Cheuk Min |
| Authors: | Nguyen, M.L., Hui, S.C., and Fong, A.C.M. |
| College/School: | College of Science and Engineering > School of Computing Science |
University Staff: Request a correction | Enlighten Editors: Update this record
Deposit and Record Details
Deposit and Record Details