Matthias Jarke

Leonard Bolc

Information systems are large repositories of factual and inferential knowledge intended to be queried and maintained by a wide variety of users with different backgrounds and work tasks. The community of potential information system users is growing rapidly with advances in hardware and software technology that permit computer/communications support for more and more application areas. Unfortunately, it is often felt that progress in user interface technology has not quite matched that of other areas. Technical solutions such as computer graphics, natural language processing, or man-machine-man communications in office systems are not enough by themselves. They should be complemented by system features that ensure cooperative behavior of the interfaces, thus reducing the training and usage effort required for successful interaction. In analogy to a human dialog partner, we call an interface cooperative if it does not just accept user requests passively or answer them literally, but actively attempts to understand the users' intentions and to help them solve their applica tion problems. This leads to the central question addressed by this book: What makes an information systems interface cooperative, and how do we provide capabilities leading to cooperative interfaces? Many answers are possible. A first aspect concerns the formulation and accep tance of user requests. Many researchers assume that such requests should be formulated in natural language.

Cooperative Interfaces to Information Systems

Andrzej Szałas

Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of program will be facilitated. Throughout, the authors have kept implementation-orientated solutions in mind. The book begins with an introduction to the basic ideas of temporal logic. Successive chapters examine particular aspects of the temporal theoretical computing domain, relating their applications to familiar areas of research, such as stochastic process theory, automata theory, established proof systems, model checking, relational logic and classical predicate logic. This is an essential addition to the library of all theoretical computer scientists. It is an authoritative work which will meet the needs both of those familiar with the field and newcomers to it.

A Computational Approach

Time & Logic

Ryszard Tadeusiewicz

Leszek J. Chmielewski

Konrad Wojciechowski

Annotation This book is part I of a two-volume work that contains the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2010, held in Warsaw, Poland, in September 2010. The 95 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in three topical sections: advances in pattern recognition, machine vision and image understanding; human motion analysis and synthesis; and computer vision and graphics.

Second International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings, Part I

Computer Vision and Graphics

This book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2012, held in Warsaw, Poland, in September 2012. The 89 revised full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on computer graphics, computer vision and visual surveillance.

International Conference, ICCVG 2012, Warsaw, Poland, September 24-26, 2012, Proceedings

Up to now there has been no scientific publication on natural lan guage research that presents a broad and complex description of the current problems of parsing in the context of Artificial Intelli gence. However, there are many interesting results from this domain appearing mainly in numerous articles published in pro fessional journals. In view of this situation, the objective of this book is to enable scientists from different countries to present the results of their research on natural language parsing in the form of more detailed papers than would be possible in professional jour nals. This book thus provides a collection of studies written by well known scientists whose earlier publications have greatly contributed to the development of research on natural language parsing. Jaime G. Carbonell and Philip J. Hayes present in their paper "Robust Parsing Using Multiple Construction-Specific Strategies" two small experimental parsers, implemented to illustrate the advantages of a multi-strategy approach to parsers, with strategies selected according to the type of construction being parsed at any given time. This presentation is followed by the description of a parsing algorithm, integrating some of the best features of the two smaller parsers, including case-frame instantiation and partial pat tern-matching strategies.

Natural Language Parsing Systems

Augmented Transition Network Grammars are at present the most widely used method for analyzing natural languages. Despite the increasing po pularity of this method, however, no extensive papers on ATN-Grammars have been presented which would be accessible to a larger number of per sons engaged in the problem from both the theoretical and practical points of view. Augmented Transition Networks (ATN) are derived from state automata. Like a finite state automaton, an ATN consists of a collection of la beled states and arcs, a distinguished start state and a set of distin guished final states. States are connected with each other by arcs crea ting a directed graph or net. The label on an arc indicates a terminal symbol (word) or the type of words which must occur in an input stream to allow the transition to the next state. It is said that a sequence of words (or sentence) is accepted by such a net if there exists a se quence of arcs (usually called a path), connecting the start state with a final state, which can be followed to the sentence. The finite state automaton is then enriched by several facilities which increase its computational power. The most important of them permits some arcs to be labeled by nonterminal rather than terminal symbols. This means that the transition through such an arc is actually the re cursive application of the net beginning with a pointed state.

The Design of Interpreters, Compilers, and Editors for Augmented Transition Networks

Natural Language Question Answering Systems

Juliusz Lech Kulikowski

This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2008, held in Warsaw, Poland, in November 2008. The 48 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on image processing, image quality assessment, geometrical models of objects and scenes, motion analysis, visual navigation and active vision, image and video coding, virtual reality and multimedia applications, biomedical applications, practical applications of pattern recognition, computer animation, visualization and graphical data presentation.

International Conference, ICCVG 2008, Warsaw, Poland, November 10-12, 2008 Revised Papers

Zbigniew Michalewicz

Toyoaki Nishida

The 2nd Workshop on Intelligent Media Technology for Communicative Intelligence commemorating the 10th anniversary of the Polish-Japanese Institute of Information Technology in Warsaw aimed to explore the current research topics in the ?eld of int- ligent media technologies for communicative intelligence. Communicative intelligence represents a new challenge towards building a sup- intelligence on the ubiquitous global network by accumulating a huge amount of - man andknowledgeresources.The term "communicativeintelligence"re?ects the view that communication is at the very core of intelligence and its creation. Communication permits novel ideas to emerge from intimate interactions by multiple agents, ranging from collaboration to competition. The recent advance of information and commu- cation technologies has established an information infrastructure that allows humans and artifacts to communicate with each other beyond space and time. It enables us to advance a step further to realize a communicative intelligence with many fruitful applications. Intelligentmediatechnologiesattempttocaptureandaugmentpeople’scommuni- tive activities by embedding computers into the environment to enhance interactions in an unobtrusive manner. The introduction of embodied conversational agents that might mediate conversations among people in a social context is the next step in the p- cess. The scope of intelligent media technologies includes design and development of intelligent supports for content production, distribution, and utilization, since rich c- tent is crucial for communication in many applications. The promising applications of intelligence media technologies include e-learning, knowledge management systems, e-democracy, and other communication-intensivesubject domains.

Second International Workshop, IMTCI 2004, Warsaw, Poland, September 13-14, 2004. Revised Selected Papers

Intelligent Media Technology for Communicative Intelligence

This book contains the reports of selected projects involving natural language commu nication with pictorial information systems. More than just a record of research results, however, it presents concrete applications to the solution of a wide variety of problems. The authors are all prominent figures in the field whose authoritative contributions help ensure its continued expansion in both size and significance. Y. C. Lee and K S. Fu (Purdue University, USA) survey picture query languages which form an interface between the pictorial database system and the user and support infor mation retrieval, data entry and manipulation, data analysis and output generation. They include explicit picture query languages that augment alphanumeric data query langua ges as well as languages and command sets which are implicitly embedded in a pictorial information system but perform similar functions. It is worth mentioning that some forms of query languages can be transformed from a given set of natural language senten ces by using ATN (Augmented Transition Networks), which consequently allows for na turallanguage communication with information system.

Natural Language Communication with Pictorial Information Systems

Second International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings

Michael J. Coombs

While expert systems technology originated in the United States, its development has become an international concern. Since the start of the DENDRAL project at Stanford University over 15 years ago, with its objective of problem-solving via the automation of actual human expert knowledge, significant expert systems projects have been completed in countries rang ing from Japan to France, Spain to China. This book presents a sample of five such projects, along with four substantial reports of mature studies from North American researchers. Two important issues of expert system design permeate the papers in this volume. The first concerns the incorporation of substantial numeric knowledge into a system. This has become a significant focus of work as researchers have sought to apply expert systems tech nology to complex, real-world domains already subject to statistical or algebraic description (and handled well at some level in numeric terms). A second prominent issue is that of representing control knowledge in a manner which is both explicit, and thus available for inspection, and compatible with the semantics of the problem domain.

Leonard Bolc

About

Books

Join the club