Eyal Amir (original) (raw)

I moved to the University of Illinois. Here is my new web page. You will be redirected to this page automatically in 5 seconds.

General information

I am a member in the formal reasoning group

Commonsense at NYU Logo I am on the program comittee of NMR-2002, the 9th workshop on Non-Monotonic Reasoning.

ABOUT ME

Family and friends!

Pre-Ph.D Studenthood

I studied for my BSc and MSc in Math & CS atBar-Ilan University in Israelin the years 1987-1992(BSc) and 1992-1994(MSc).

My Master Dissertation (postscript 431K) deals mostly with Logic and Set Theory of the Reals (one of the most fascinating issues in mathematics (my humble opinion of course)). The more advanced, succeeding article (postscript 167K) includes the main result of the dissertation, and uses it to establish some new results in the area. It is published in the AMSpublication Contributors, BEST conference proceedings, edited by T. Bartoszynski and M. Scheepers.

Classes and curriculum

Old classes, only some of which I've formally taken.

Currently running classes

Current Research

My general interest is in Artificial Intelligence in general and Knowledge Representation and Reasoning in particular. I am mostly interested in building applied systems that make use of explicit knowledge in devising their actions, absorb knowledge from their environment (either by learning, diagnosing or receiving knowledge by interaction) and are autonomous. I have worked recently on Commonsense-Knowledge Representations and Reasoning (incl. Theories of Action), Automated Logical Reasoning and AI Architectures. I am also interested in the applications of Logical Reasoning to Planning and Learning, Elaboration Tolerance of logical theories, Belief Revision, Abstraction, Reformulation, the integration of multiple representational and reasoning paradigms, and Human-Level AI.

Before writing my dissertation on _decomposition and logical AI_my thesis research was on Elaboration Tolerance, which tries to find better ways to write knowledge so that it is easily expandable. I'm still working on that, although fairly slowly.