Y.-H. Tan

Yao-Hua Tan is assistant professor at the Department of Computer Science of the Erasmus University Rotterdam and the Department of Computer Science of the Free University Amsterdam.

He studied mathematical logic, computer science and philosophy at the University of Amsterdam and the University of Groningen. From 1987 until 1990 he worked as a researcher in the Logic Section of the Department of Mathematics and Computer Science of the University of Amsterdam. He received his Ph.D. from the Computer Science Department of the Free University Amsterdam. The topic of his thesis was non-monotonic logics for expert systems. His current research topics are non-classical formalisms for modelling reasoning based on incomplete information in expert systems such as non-monotonic logics and meta-level reasoning architectures. Furthermore, he is doing research on modular formal specification formalisms for knowledge-based expert systems.

He won the NAIC 1992 Best Scientific Paper Award.

Currently he is project manager of work package WP6 of the ESPRIT III Basic Research Project 6156 DRUMS 2 (Defeasible Reasoning and Uncertainty Management Systems). He is also involved in the Dutch Research Project SPIN-SKBS W3 for the development of modular specification formalisms for expert systems. Furthermore he also initiated and organizes the Dutch Working Group on Non-MonoTonic Reasoning.

Selected publications

1. Tan, Y.H., BMS - A Meta-level approach to non-monotonic reasoning, in: W. van der Hoek, J.-J. Ch. Meyer, Y.H. Tan and C. Witteveen (eds.), Non-MonoTonic Reasoning and Partial Semantics, Ellis Horwood Series in Artificial Intelligence, Ellis Horwood, Chichester, England, 1992.
2. Tan, Y.H. and Treur, J., Partial logic and non-monotonic reasoning, Proceedings of the ECAI'90 Workshop on Partial Deduction, Partial Evaluation and Intelligent Reasoning, The Norwegian Institute of Technology, Trondheim, 1990.
3. Tan, Y.H. and Treur, J., A bi-modular approach to non-monotonic reasoning, Proc. of the first World Conference on the Fundamentals of AI WOCFAI '91, Paris, 1991. pp.461-476. (An expanded version of this paper will appear in a special issue of Studia Logica.)
4. Tan, Y.H. and Treur, J., Constructive default logic and the control of defeasible reasoning, Proc. of the European Conference on Artificial Intelligence ECAI '92, Vienna, 1992.
5. Janssen, M.C.W. and Tan, Y.H., Friedman's Permanent Income Hypothesis as an example of diagnostic reasoning, Economics and Philosophy, Vol. 8, No. 1, 1992. pp.32-49.