Download or read book Informationssysteme und K nstliche Intelligenz Modellierung written by Rudi Studer and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 177 pages. Available in PDF, EPUB and Kindle. Book excerpt: Neuere Entwicklungen im Datenbank- und Informationssystembereich sind u.a. gekennzeichnet durch die Bereitstellung sehr m{chtiger semantischer bzw. objektorientierter Datenmodelle, um den Anforderungen aus sogenannten Nicht-Standardanwendungen wie z.B. dem B}robereich gerecht zu werden. Daraus ergeben sich unmittelbar neue Problemstellungen imHinblick auf die Entwurfs- und Modellierungsaufgaben, die mit dem Einsatz derartiger m{chtiger Datenmodelle verbunden sind. Betrachtet manandererseits Entwicklungstendenzen im Bereich der K}nstlichen Intelligenz, so wird Fragen der systematischen Entwicklung Wissensbasierter Systeme eine immer gr|~ere Wichtigkeit beigemessen. Dabei spielen u.a. Phasen-Systeme und damit verbunden der Aufbau geeigneter Modelle eine zentrale Rolle. Dementsprechend hat der 2. Workshop "Informationssysteme und K}nstliche Intelligenz" gerade das Gebiet der Modellierung als generelles Thema. Zielsetzung ist dabei, auf dem Gebiet derModellierung Gemeinsamkeiten und Unterschiede von Problemstellungen bzw. L|sungsans{tzen, die in den Fachdisziplinen K}nstliche Intelligenz und Informationssysteme/Datenbanksysteme identifiziert bzw. entwickelt worden sind, herauszuarbeiten. Damit soll gleichzeitig der Gedankenaustausch zwischen den beteiligten Fachdisziplinen gef|rdertund die Zusammenarbeit }ber Fachdisziplinen hinweg verbessert werden.

Download or read book The Measure of All Minds written by José Hernández-Orallo and published by Cambridge University Press. This book was released on 2017-01-11 with total page 632 pages. Available in PDF, EPUB and Kindle. Book excerpt: Are psychometric tests valid for a new reality of artificial intelligence systems, technology-enhanced humans, and hybrids yet to come? Are the Turing Test, the ubiquitous CAPTCHAs, and the various animal cognition tests the best alternatives? In this fascinating and provocative book, José Hernández-Orallo formulates major scientific questions, integrates the most significant research developments, and offers a vision of the universal evaluation of cognition. By replacing the dominant anthropocentric stance with a universal perspective where living organisms are considered as a special case, long-standing questions in the evaluation of behavior can be addressed in a wider landscape. Can we derive task difficulty intrinsically? Is a universal g factor - a common general component for all abilities - theoretically possible? Using algorithmic information theory as a foundation, the book elaborates on the evaluation of perceptual, developmental, social, verbal and collective features and critically analyzes what the future of intelligence might look like.

Download or read book Verteilte K nstliche Intelligenz und Kooperatives Arbeiten written by Wilfried Brauer and published by Springer. This book was released on 1991 with total page 564 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Local and Semi global Approaches to the Extraction of 3D Anatomical Landmarks from 3D Tomographic Images written by Sönke Frantz and published by IOS Press. This book was released on 2001 with total page 260 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Representation and Processing of Knowledge About Distances in Environmental Space written by Bettina Berendt and published by IOS Press. This book was released on 1999 with total page 284 pages. Available in PDF, EPUB and Kindle. Book excerpt: Knowledge about distances---along with knowledge about spatial direction---is one of the most important fundamentals for a cognitive agent's orientation, navigation, and route planning. However, only some distances can be perceived directly. Therefore, knowledge about distances must often be inferred from other sources of information. In cognitive science research on spatial cognition, this is investigated in different ways, using empirical studies, computer simulations, and knowledge representation approaches. This book presents a comprehensive interdisciplinary study of human distance cognition. It discusses results on knowledge about distances from artificial intelligence research and cognitive psychology, proposing an integrating formal framework. Focusing on knowledge about route distances, it then presents a computational model of the way in which humans infer knowledge about distances in environmental spaces like cities or buildings.

Download or read book On Types and Type Consistency in Logic Programming written by Gregor Meyer and published by IOS Press. This book was released on 2000 with total page 194 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Agile Development of Diagnostic Knowledge Systems written by Joachim Baumeister and published by IOS Press. This book was released on 2004 with total page 276 pages. Available in PDF, EPUB and Kindle. Book excerpt: The success of diagnostic knowledge systems has been proved over the last decades. Nowadays, intelligent systems are embedded in machines within various domains or are used in interaction with a user for solving problems. However, the development of a knowledge system is still a critical issue. Similarly to projects dealing with customized software at a highly innovative level a precise specification often cannot be given in advance. Moreover, necessary requirements of the knowledge system can be defined not until the project has been started or are changing during the development phase. This thesis motivates that classical, document-centered approaches cannot be applied in such a setting. We introduce an agile process model for developing diagnostic knowledge systems, mainly inspired by the ideas of the eXtreme Programming methodology known in software engineering. The engineering process is supported at a primary level by the introduction of knowledge containers, that define an organized view of knowledge contained in the system. The actual knowledge is acquired and formalized right from start, and the integration to runnable knowledge systems is done continuously in order to allow for an early and concrete feedback. The validity and maintainability of the collected knowledge is ensured by appropriate test methods and restructuring techniques, respectively. Additionally, we propose learning methods to support the knowledge acquisition process sufficiently. The process model and its activities are evaluated in two real life applications: in a medical and in an environmental project the benefits of the agile development are clearly demonstrated.

Download or read book Connection Tableau Calculi with Disjunctive Constraints written by Ortrun Ibens and published by IOS Press. This book was released on 1999 with total page 244 pages. Available in PDF, EPUB and Kindle. Book excerpt: Automated deduction is one of the fundamental disciplines in the field of artificial intelligence. The purpose of systems for automated deduction is to find formal proofs for given conjectures by drawing conclusions from formally specified knowledge. Their main strength is that they allow a purely declarative description of knowledge, i.e., procedural information on the drawing of conclusions need not be provided. In combination with the indeterminism in the drawing of possible conclusions, however, the ability to handle declarative specifications introduces the aspect of search into the deduction process. Usually, tremendous search spaces have to be explored in order to find a proof. Successful systems for automated deduction can be built, for example, on the basis of connection tableau calculi. In this thesis, an approach to a more intelligent search in connection tableau calculi is made. The approach is based on the compression of structurally similar formulas given to and derived by connection tableau calculi. Disjunctive constraints over first order terms are used to express the results of the compression. There are two main theoretical results of the thesis. Firstly, it introduces a new class of sound and complete connection tableau calculi, the so-called constrained-connection-tableau calculi, which are compatible with the most important search pruning techniques of conventional connection tableau calculi. Secondly, intelligent algorithms for solving disjunctive constraints over first order terms are developed. As a practical result, the implementation of the approach leads to a powerful system for automated deduction which demonstrates the high potential of the new developments.

Download or read book A Combined Parametric and Nonparametric Approach to Time Series Analysis written by Stefan Kriebol and published by IOS Press. This book was released on 1999 with total page 150 pages. Available in PDF, EPUB and Kindle. Book excerpt: The analysis and prediction of natural phenomena is an interesting and challenging task. Time series obtained from the observation of one or more features of a phenomenon are often the only access to the data generating system. Unfortunately, time series analysis is usually done by specialists in the field of the phenomenon with traditional analysis techniques. The application of modern analysis and prediction tools is often avoided due to their complexity or the risk of failure. This issue can be surmounted by an interdisciplinary approach. This work is an example for the possible synergetic effect of interdisciplinary research. In the field of oceanography the coastal upwelling phenomenon is analysed in experimental studies with a numerical model in order to develop a parametric prediction model. Artificial neural networks seem to be a suitable parametric model. However, in the field of computer science traditional artificial neural techniques showed limitations in the analysis and prediction of time series obtained from natural phenomena, particularly with nonlinear and nonstationary time series. Motivated by this limitations a new approach to time series analysis and prediction is presented in this work, the mixture of nonparametric segmented experts (MONSE). The MONSE approach is exploiting the synergetic effect of a combined nonparametric and parametric analysis. It is supposed to be applied to explorative time series analysis and prediction in various fields, i.e. in a context where hardly any kowledge about the time series of concern is available.

Download or read book On Modeling the Spatiotemporal Processing Characteristics of the Retina written by Matthias Wulf and published by IOS Press. This book was released on 2002 with total page 356 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Relevancy Based Use of Lemmas in Connection Tableau Calculi written by Marc Fuchs and published by IOS Press. This book was released on 1999 with total page 276 pages. Available in PDF, EPUB and Kindle. Book excerpt: Automated deduction is a fundamental research area in the field of artificial intelligence. The aim of an automated deduction system is to find a formal proof for a given goal based on given axioms. Essentially automated deduction can be viewed as a search problem which spans huge search spaces. One main thrust of research in automated deduction is the development of techniques for achieving a reduction of the search space. A particularly promising approach for search space reduction relies on the integration of top-down and bottom-up reasoning. A possible approach employs bottom-up generated lemmas in top-down systems. Lemma use offers the possibility to shorten proofs and to overcome weaknesses of top-down systems like poor redundancy control. In spite of the possible advantages of lemma use, however, naive approaches for lemma integration even tend to slow down top-down systems. The main problem is the increased indeterminism in the search process. In this thesis important contributions for a successful application of lemmas in top-down deduction systems based on connection tableau calculi are made. New methods for lemma generation and for the estimation of the relevancy of lemmas are developed. As a practical contribution, the implementation of the new techniques leads to a powerful system for automated deduction which demonstrates the high potential of the new techniques.

Download or read book Theoretical and Practical Aspects of Ant Colony Optimization written by Christian Blum and published by IOS Press. This book was released on 2004 with total page 298 pages. Available in PDF, EPUB and Kindle. Book excerpt: Combinatorial optimization problems are of high academical and practical importance. Unfortunately, many of them belong to the class of NP-hard problems and are therefore intractable. In other words, as their dimension increases, the time needed by exact methods to find an optimal solution grows exponentially. Metaheuristics are approximate methods for attacking these problems. An approximate method is a technique that is applied in order to find a good enough solution in a reasonable amount of time. Examples of metaheuristics are simulated annealing, tabu search, evolutionary computation, and ant colony optimization (ACO), the subject of this book. The contributions of this book to ACO research are twofold. First, some new theoretical results are proven that improve our understanding of how ACO works. Second, a new framework for ACO algorithms is proposed that is shown to perform at the state-of-the-art level on some important combinatorial optimization problems such as the k-cardinality tree problem and the group shop scheduling problem, which is a general shop scheduling problem that includes among others the well-known job shop scheduling and the open shop scheduling problems.

Download or read book Stochastic Local Search Methods Models Applications written by Holger Hoos and published by IOS Press. This book was released on 1999 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt: To date, stochastic local search (SLS) algorithms are among the standard methods for solving hard combinatorial problems from various areas of Artificial Intelligence and Operations Research. Some of the most successful and powerful algorithms for prominent problems like SAT, CSP, or TSP are based on stochastic local search. This work investigates various aspects of SLS algorithms; in particular, it focusses on modelling these algorithms, empirically evaluating their performance, characterising and improving their behaviour, and understanding the factors which influence their efficiency. These issues are studied for the SAT problem in propositional logic as a primary application domain. SAT has the advantage of being conceptually very simple, which facilitates the design, implementation, and presentation of algorithms as well as their analysis. However, most of the methodology generalises easily to other combinatorial problems like CSP. This Ph.D. thesis won the Best Dissertation Award 1999 (Dissertationspreis) of the German Informatics Society (Gesellschaft fur Informatik).

Download or read book Land Development Strategies written by Erwin Hepperle and published by vdf Hochschulverlag AG. This book was released on 2009 with total page 242 pages. Available in PDF, EPUB and Kindle. Book excerpt: The European Faculty of Land Use and Development, founded in 1980 in Strasbourg, takes a multidisciplinary approach to sustainable land management, in particular in regard to urban development, spatial planning and environmental aspects. The contributions to this volume (German/English) discuss strategies of spatial planning. The experts come from disciplines as diverse as geodesy, jurisprudence, spatial planning, philosophy, economy and political sciences.

Download or read book Handbook of Media and Communication Economics written by Jan Krone and published by Springer Nature. This book was released on with total page 1497 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Regulating Artificial Intelligence written by Thomas Wischmeyer and published by Springer Nature. This book was released on 2019-11-29 with total page 391 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book assesses the normative and practical challenges for artificial intelligence (AI) regulation, offers comprehensive information on the laws that currently shape or restrict the design or use of AI, and develops policy recommendations for those areas in which regulation is most urgently needed. By gathering contributions from scholars who are experts in their respective fields of legal research, it demonstrates that AI regulation is not a specialized sub-discipline, but affects the entire legal system and thus concerns all lawyers. Machine learning-based technology, which lies at the heart of what is commonly referred to as AI, is increasingly being employed to make policy and business decisions with broad social impacts, and therefore runs the risk of causing wide-scale damage. At the same time, AI technology is becoming more and more complex and difficult to understand, making it harder to determine whether or not it is being used in accordance with the law. In light of this situation, even tech enthusiasts are calling for stricter regulation of AI. Legislators, too, are stepping in and have begun to pass AI laws, including the prohibition of automated decision-making systems in Article 22 of the General Data Protection Regulation, the New York City AI transparency bill, and the 2017 amendments to the German Cartel Act and German Administrative Procedure Act. While the belief that something needs to be done is widely shared, there is far less clarity about what exactly can or should be done, or what effective regulation might look like. The book is divided into two major parts, the first of which focuses on features common to most AI systems, and explores how they relate to the legal framework for data-driven technologies, which already exists in the form of (national and supra-national) constitutional law, EU data protection and competition law, and anti-discrimination law. In the second part, the book examines in detail a number of relevant sectors in which AI is increasingly shaping decision-making processes, ranging from the notorious social media and the legal, financial and healthcare industries, to fields like law enforcement and tax law, in which we can observe how regulation by AI is becoming a reality.

Download or read book Human Centered AI at Work Common Ground in Theories and Methods written by Annette Kluge and published by Frontiers Media SA. This book was released on 2024-04-26 with total page 137 pages. Available in PDF, EPUB and Kindle. Book excerpt: Research can face artificial intelligence (AI) as an issue of technology development but also as an issue of enacted technology at work. Human-centered design of AI gives emphasis to the expertise and needs of human beings as a starting point of technology development or as an outcome of AI-based work settings. This is an important goal, as expressed, for example, by the international labor organization's call for a "human-centered agenda" for the future of AI and automation collaboration. This Research Topic raises the question of what human-centricity means, i.e. what are the criteria and indicators of human-centered AI and how can they be considered and implemented?