Why we need automated reasoning systems

When I am woring on knowledge representation and reasoning, I keep asking myself a question: Why do we need automated reasoning systems?

I believe this is a strong enough case: 2009 Air France Flight 447, crashing into the Atlantic due to pilots' errors.

More details can be found at http://www.usatoday.com/NEWS/usaedition/2011-05-31-AirFrance31_ST_U.htm

Human beings have many volunable "features." We panic when unfamiliar emergency happens. And this causes our brain no longer rational. Therefore, we need a rational assistant for that kinda cases.

Configuring PyAIMS on (Ubuntu) Linux

I need to user PyAIMS recently. But BrainVISA's installation documentation does NOT mention any configurations for PyAIMS. I can't find solutions on Google. So I had to randomly try. And below are steps that worked for me.

Step 1: Add <BrainVISA_Installation_Path>/python into your $PYTHONPATH
Step 2: Add <BrainVISA_Installation_Path>/lib into your $LD_LIBRARY_PATH
Step 3: Add <BrainVISA_Installation_Path>/share into your $BRAINVISA_SHARE

For example, in my ~/.bashrc, i have these two lines:

export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/home/forrest/bin/brainvisa4/lib
export PYTHONPATH=$PYTHONPATH:/home/forrest/bin/brainvisa4/python
export BRAINVISA_SHARE=/home/forrest/bin/brainvisa4/share

Update at 2011-08-18:
If you still get errors (e.g., segmentation fault) after the configuration above, try  the Python interpreter at <BrainVISA_Installation_Path>/bin instead of your system Python interpreter.