Modeling epistemic processes in scientific discovery satisfactorily is an indispensable step to automating scientific discovery processes. This paper presents some significant fundamental observations and assumptions on scientific discovery processes and their automation at first. Based on the observations and assumptions, the paper shows why classical mathematical logic, its various classical ...

Programmable parts orienting is an important capability for exible automation systems. Here we study how a part grasped in an unknown orientation by a force-controlled robot can be oriented by a sequence of push-align actions against a wall followed by sensor measurements of the distance from the grasp point to the wall. This paper concentrates on three issues: planning a sequence of actions to...