Functionality investigation using a discrete event system approach

Abstract This paper presents a methodology for investigating the functionality of objects in manipulatory tasks. Functionality is defined as the applicability of an object for the fulfillment of a particular purpose. The description of an interaction for investigating the functionality of an object is described using a formalism based on Discrete Event System Theory and the Active Perception paradigm. The notion of an overseer for controlling, arbitrating and fusing assertions from multiple observers is presented. To describe the overall task observability we introduce the concept of piecewise observability. The functionality of a tool for piercing is presented and the feasibility of approach is demonstrated in a series of experiments using a roboti system and a compliant force sensor.

[1]  Rodney A. Brooks,et al.  Symbolic Reasoning Among 3-D Models and 2-D Images , 1981, Artif. Intell..

[2]  James A. Hendler,et al.  Readings in Planning , 1994 .

[3]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[4]  Allen Newell,et al.  A Model for Functional Reasoning in Design , 1971, IJCAI.

[5]  Tarek M. Sobh.  Active Observer : A Discrete Event Dynamic System Model for Controlling an Observer Under Uncertaint , 1991 .

[6]  Michael R. Lowry,et al.  Learning Physical Descriptions From Functional Definitions, Examples, and Precedents , 1983, AAAI.

[7]  Yoshiaki Shirai,et al.  Three-Dimensional Computer Vision , 1987, Symbolic Computation.

[8]  Katsushi Ikeuchi,et al.  Task Oriented Vision , 1992, Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems.

[9]  Mario F. M. Campos,et al.  Robotic exploration of material and kinematic properties of objects , 1992 .

[10]  Kevin W. Bowyer,et al.  Function-based generic recognition for multiple object categories , 1994 .

[11]  Ernest Davis,et al.  Representations of commonsense knowledge , 2014, notThenot Morgan Kaufmann series in representation and reasoning.

[12]  Michael Brady,et al.  The Mechanic's Mate , 1984, ECAI.

[13]  Ruzena Bajcsy,et al.  An Active Approach to Characterization and Recognition of Functionality and Functional Properties , 1993 .

[14]  Joe Jackson,et al.  Knowledge-based prehension: capturing human dexterity , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[15]  Patrick Henry Winston,et al.  Learning physical descriptions from functional definitions , 1983, AAAI 1983.

[16]  Roger Grace,et al.  Interpreting the function of stone tools , 1989 .

[17]  Ruzena Bajcsy,et al.  Robotic exploration of surfaces and its application to legged locomotion , 1991, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[18]  Roger Grace,et al.  Interpreting the function of stone tools : the quantification and computerisation of microwear analysis , 1989 .

[19]  Yangsheng Xu.  Compliant wrist design and hybrid position/force control of robot manipulators , 1989 .

[20]  Mark R. Cutkosky,et al.  On grasp choice, grasp models, and the design of hands for manufacturing tasks , 1989, IEEE Trans. Robotics Autom..

[21]  Kevin W. Bowyer,et al.  Generic recognition through qualitative reasoning about 3-D shape and object function , 1991, CVPR.

[22]  Patrick Henry Winston,et al.  Learning and reasoning by analogy , 1980, CACM.

[23]  R. Klatzky,et al.  There's more to touch than meets the eye: The salience of object attributes for haptics with and without vision. , 1987 .

[24]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[25]  Thomas Stewart Lindsay.  Teleprogramming: remote site robot task execution , 1992 .

[26]  R. Klatzky,et al.  Haptic classification of common objects: Knowledge-driven exploration , 1990, Cognitive Psychology.

[27]  A. Willsky,et al.  Observability of discrete event dynamic systems , 1990 .

[28]  B. Chandrasekaran,et al.  Functional Representation and Causal Processes , 1994, Adv. Comput..

[29]  Edward E. Smith,et al.  Categories and concepts , 1984 .

[30]  Luca Chittaro,et al.  Putting functional knowledge on firmer ground , 1994, Appl. Artif. Intell..

[31]  S. S. Culbert,et al.  Cognition and Categorization , 1979 .

[32]  B. Chandrasekaran,et al.  Design Verification through Function- and Behavior-Oriented Representations , 1992 .

[33]  F. Moore.  Cognitive development and the acquisition of language , 1973 .

[34]  W. Wonham,et al.  Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

[35]  Matthew R. Stein,et al.  Behavior-based control for time-delayed teleoperation , 1994 .

[36]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[37]  M. W. Shields.  An Introduction to Automata Theory , 1988 .

[38]  Michael Brady,et al.  Generating and Generalizing Models of Visual Objects , 1987, Artif. Intell..

[39]  Jack Hodges,et al.  Naive mechanics: a computational model of device use and function in design improvisation , 1992, IEEE Expert.