Geert-Jan M. Kruijff – författare

Geert-Jan Kruijff & Richard T. Oehrle A categorial grammar is both a grammar and a type inference system. As a result of this duality, the categorial framework offers a natural setting in which to study questions of grammatical composition, both empirically and abstractly. There are affinities in this perspective, of course, to basic questions in formal language theory. But the fact that categorial grammars are type in­ ference systems makes possible intrinsic connections among syntactic types, syntactic type inference, semantic types, and semantic type inference, a con­ nection less apparent in the standard constructions of formal language theory. Fixing a system of grammatical type inference T, we may explore what gram­ matical phenomena are compatible with T-and equally, what grammatical phenomena are not. Equally, fixing a class of grammatical phenomena g, we may seek to ascertain what systems of type inference characterize g. This dual perspective is a strong current in the categorial literature, going back to the classical papers of Ajdukiewicz, Bar-Hillel, Curry, and Lambek.

Geert-Jan Kruijff & Richard T. Oehrle A categorial grammar is both a grammar and a type inference system. As a result of this duality, the categorial framework offers a natural setting in which to study questions of grammatical composition, both empirically and abstractly. There are affinities in this perspective, of course, to basic questions in formal language theory. But the fact that categorial grammars are type in­ ference systems makes possible intrinsic connections among syntactic types, syntactic type inference, semantic types, and semantic type inference, a con­ nection less apparent in the standard constructions of formal language theory. Fixing a system of grammatical type inference T, we may explore what gram­ matical phenomena are compatible with T-and equally, what grammatical phenomena are not. Equally, fixing a class of grammatical phenomena g, we may seek to ascertain what systems of type inference characterize g. This dual perspective is a strong current in the categorial literature, going back to the classical papers of Ajdukiewicz, Bar-Hillel, Curry, and Lambek.

Design of cognitive systems for assistance to people poses a major challenge to the fields of robotics and artificial intelligence. The Cognitive Systems for Cognitive Assistance (CoSy) project was organized to address the issues of i) theoretical progress on design of cognitive systems ii) methods for implementation of systems and iii) empirical studies to further understand the use and interaction with such systems. To study, design and deploy cognitive systems there is a need to considers aspects of systems design, embodiment, perception, planning and error recovery, spatial insertion, knowledge acquisition and machine learning, dialog design and human robot interaction and systems integration. The CoSy project addressed all of these aspects over a period of four years and across two different domains of application – exploration of space and task / knowledge acquisition for manipulation. The present volume documents the results of the CoSy project. The CoSy project was funded by the European Commission as part of the Cognitive Systems Program within the 6th Framework Program.

Design of cognitive systems for assistance to people poses a major challenge to the fields of robotics and artificial intelligence. The Cognitive Systems for Cognitive Assistance (CoSy) project was organized to address the issues of i) theoretical progress on design of cognitive systems ii) methods for implementation of systems and iii) empirical studies to further understand the use and interaction with such systems. To study, design and deploy cognitive systems there is a need to considers aspects of systems design, embodiment, perception, planning and error recovery, spatial insertion, knowledge acquisition and machine learning, dialog design and human robot interaction and systems integration. The CoSy project addressed all of these aspects over a period of four years and across two different domains of application – exploration of space and task / knowledge acquisition for manipulation. The present volume documents the results of the CoSy project. The CoSy project was funded by the European Commission as part of the Cognitive Systems Program within the 6th Framework Program.

Design of cognitive systems for assistance to people poses a major challenge to the fields of robotics and artificial intelligence. The Cognitive Systems for Cognitive Assistance (CoSy) project was organized to address the issues of i) theoretical progress on design of cognitive systems ii) methods for implementation of systems and iii) empirical studies to further understand the use and interaction with such systems. To study, design and deploy cognitive systems there is a need to considers aspects of systems design, embodiment, perception, planning and error recovery, spatial insertion, knowledge acquisition and machine learning, dialog design and human robot interaction and systems integration. The CoSy project addressed all of these aspects over a period of four years and across two different domains of application – exploration of space and task / knowledge acquisition for manipulation. The present volume documents the results of the CoSy project. The CoSy project was funded by the European Commission as part of the Cognitive Systems Program within the 6th Framework Program.