Author: Congress of Logic Applied to Technology (5th 2005 April 2-4 Himegi, Japan)