Eric Martin
Department of Artificial Intelligence
School of Computer Science and Engineering
University of New South Wales
UNSW SYDNEY NSW 2052
Australia
Telephone: +61 2 9385 6936
Facsimile: +61 2 9385 4936
Email: emartin@cse.unsw.edu.au
I am a Senior lecturer in the School of Computer Science and Engineering at the University of New South Wales. My office is in room 409, building K17, which can be located on this map of the Kensington campus.
My main interests are in the logical foundations of Artificial intelligence. The theoretical part of my research is mainly devoted to developing a unified framework, Parametric logic, that investigates the relationships between:One of the key features of Parametric logic is to conceive of deduction, induction and other kinds of inferences as particular instances of an underlying generalized notion of logical consequence. This research extends my previous work with other coauthors on connections between Formal learning theory and Belief revision. Some of the concepts and results of Parametric logic are reported in papers available from the list of publications below, but the complete picture will be presented in a forthcoming book.
- a notion of logical complexity, that accounts for various kinds of logical inferences, encompassing deductive, inductive and nonmonotonic inferences;
- a notion of complexity from the perspective of Formal learning theory, encompassing learnability in the limit, with or without (ordinal) mind change bounds;
- a notion of syntactic complexity, for formulas in infinitary modal languages;
- a notion of topological complexity.
I am also involved in projects on knowledge acquisition based on ripple down rules, as well as projects on query answering systems, logic programming, and discovery from the web.