Jozef Kelemen – författare

First Published in 1994. The central problem of the “classic” formal language theory concerns the generation (the recognition) of languages by grammars (automata, respectively). However, in present day computer science, in artificial intelligence, in cognitive psychology and in other related fields we have to deal more and more with complex tasks distributed among a set of “ processors” , which are working together in a well defined way. Parallel computers, computer nets, distributed data bases and knowledge sources are practical materializations of this idea. Similarly, the psychologists speak about the modularity of mind, in problem solving theories there appear many models based on cognitive agents’ cooperation. As the formal language theory is involved in most of these circumstances (for example, as a theoretical framework, well developed from a mathematical point of view, for modelling aspects whose essence can be captured at the level of symbol systems, of the syntax of collections of strings of abstract symbols), a clear challenge appears for it: to consider systems o f grammars/automata, working together for generating/recognizing a language. In this context, notions such as distribution, cooperation, communication, concurrency, synchronization, parallelism etc. should be formalized and enlightened. The present monograph is an attempt to answer this challenge.

This book is an edited collection of chapters based on the papers presented at the conference “Beyond AI: Artificial Dreams” held in Pilsen in November 2012. The aim of the conference was to question deep-rooted ideas of artificial intelligence and cast critical reflection on methods standing at its foundations.Artificial Dreams epitomize our controversial quest for non-biological intelligence and therefore the contributors of this book tried to fully exploit such a controversy in their respective chapters, which resulted in an interdisciplinary dialogue between experts from engineering, natural sciences and humanities.While pursuing the Artificial Dreams, it has become clear that it is still more and more difficult to draw a clear divide between human and machine. And therefore this book tries to portrait such an image of what lies beyond artificial intelligence: we can see the disappearing human-machine divide, a very important phenomenon of nowadays technological society, the phenomenon which is often uncritically praised, or hypocritically condemned. And so this phenomenon found its place in the subtitle of the whole volume as well as in the title of the chapter of Kevin Warwick, one of the keynote speakers at “Beyond AI: Artificial Dreams”.

This book is an edited collection of chapters based on the papers presented at the conference “Beyond AI: Artificial Dreams” held in Pilsen in November 2012. The aim of the conference was to question deep-rooted ideas of artificial intelligence and cast critical reflection on methods standing at its foundations.Artificial Dreams epitomize our controversial quest for non-biological intelligence and therefore the contributors of this book tried to fully exploit such a controversy in their respective chapters, which resulted in an interdisciplinary dialogue between experts from engineering, natural sciences and humanities.While pursuing the Artificial Dreams, it has become clear that it is still more and more difficult to draw a clear divide between human and machine. And therefore this book tries to portrait such an image of what lies beyond artificial intelligence: we can see the disappearing human-machine divide, a very important phenomenon of nowadays technological society, the phenomenon which is often uncritically praised, or hypocritically condemned. And so this phenomenon found its place in the subtitle of the whole volume as well as in the title of the chapter of Kevin Warwick, one of the keynote speakers at “Beyond AI: Artificial Dreams”.

Selected Contributions

This book constitutes the refereed proceedings of the 6th European Conference on Artificial Life, ECAL 2001, held in Prague, Czech Republic, in September 2001. The 54 revised papers and 25 posters presented together with five invited papers were carefully reviewed and selected from numerous submissions. The book reflects the state of the art in ALife. It is divided into topical sections on agents in environments; artificial chemistry; cellular and neural systems; collaborative systems; evolution; robotics; vision, visualization, language, and communication; and miscellaneous.

The volume contains selected contributions from the scientific programme of the 5th International Meeting of Young Computer Scientists (IMYCS '88) held at Smolenice Castle (Czechoslovakia), November 14-18, 1988. It is divided into five chapters which approach the three crucial notions of contemporary theoretical computer science - machines, languages, and complexity - from different perspectives. The first chapter contains contributions dealing with problems of decidability, hierarchy, and complexity. Papers concerning different types and problems of automata theory form the second chapter. The contributions in the third chapter cover the large field of algorithmics from the study of program complexity to the domain of computational geometry. The two contributions of the fourth chapter are devoted to logic programming and inductive inference. The final chapter deals with problems of cryptography and contains the text of the IMYCS '88 tutorial on cryptography and data security delivered by A. Salomaa. The book will be a useful source for orientation in contemporary theoretical computer science and related fields such as software engineering and artificial intelligence for researchers and graduate students.

This volume contains the texts of the tutorial lecture, five invited lectures and twenty short communications contributed for presentation at the Sixth International Meeting of Young Computer Scientists, IMYCS '90. The aim of these meetings is threefold: (1) to inform on newest trends, results, and problems in theoretical computer science and related fields through a tutorial and invited lectures delivered by internationally distinguished speakers, (2) to provide a possibility for beginners in scientific work to present and discuss their results, and (3) to create an adequate opportunity for establishing first professional relations among the participants.

This volume contains 6 invited lectures and 13 submittedcontributions to the scientific programme of theinternational workshop Fundamentals of ArtificialIntelligence Research, FAIR '91, held at Smolenice Castle,Czechoslovakia, September 8-12, 1991, under the sponsorshipof the European Coordinating Committee for ArtificialIntelligence, ECCAI. FAIR'91, the first of an intendedseries of international workshops, addresses issues whichbelong to the theoretical foundations of artificialintelligence considered as a discipline focused on concisetheoretical description of some aspects of intelligence bytoolsand methods adopted from mathematics, logic, andtheoretical computer science. The intended goal of the FAIRworkshops is to provide a forum for the exchange of ideasand results in a domain where theoretical models play anessential role. It is felt that such theoretical studies,their development and their relations to AI experiments andapplications have to be promoted in the AI researchcommunity.

Gheorghe Păun has played an important role within a wide range of disciplines, from the foundations of traditional computation theory and formal language theory to research gaining its inspiration from living nature. He has significantly contributed to the development of these diverse fields, initiating and pioneering some of them with remarkable imaginativeness and enthusiasm. Gheorghe Păun’s research focusses on systems inspired by structures and processes found in living systems, with the field of membrane computing or P systems being the most important of his initiatives. This Festschrift volume, published to honor Gheorghe Păun on the occasion of his 60th birthday,  includes 16 contributions by his students and collaborators. The research presented aims to gain a better understanding of what computation is, to find better models of computation, and to look for new computing devices inspired by the structure and/or functioning of natural or societal systems. The papers are preceded by an introduction by Solomon Marcus, Gheorghe Păun’s lifelong teacher and mentor, and are organized in topical sections on general computing, grammar systems, membrane systems, and inspirations from natural computing.

Products of modern artificial intelligence (AI) have mostly been formed by the views, opinions and goals of the “insiders”, i.e. people usually with engineering background who are driven by the force that can be metaphorically described as the pursuit of the craft of Hephaestus. However, since the present-day technology allows for tighter and tighter mergence of the “natural” everyday human life with machines of immense complexity, the responsible reaction of the scientific community should be based on cautious reflection of what really lies beyond AI, i.e. on the frontiers where the tumultuous ever-growing and ever-changing cloud of AI touches the rest of the world. The chapters of this boo are based on the selected subset of the presentations that were delivered by their respective authors at the conference “Beyond AI: Interdisciplinary Aspects of Artificial Intelligence” held in Pilsen in December 2011. From its very definition, the reflection of the phenomena that lie beyond AI must be inherently interdisciplinary. And so is this book: all the authors took part in a mutual transdisciplinary dialogue after explaining their views on AI not only to a narrow selection of their usual close peers with the same specialisation, but to a much broader audience of various experts from AI engineering, natural sciences, humanities and philosophy. The chapters of this book thus reflect results of such a dialogue.