Answer Set Solving in Practice


Book Description

Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored to modelling problems in the area of Knowledge Representation and Reasoning (KRR). This book presents a practical introduction to ASP. It introduces ASP's solving technology, modelling language and methodology, while illustrating the overall solving process with practical examples.




The Myth of Artificial Intelligence


Book Description

“Artificial intelligence has always inspired outlandish visions—that AI is going to destroy us, save us, or at the very least radically transform us. Erik Larson exposes the vast gap between the actual science underlying AI and the dramatic claims being made for it. This is a timely, important, and even essential book.” —John Horgan, author of The End of Science Many futurists insist that AI will soon achieve human levels of intelligence. From there, it will quickly eclipse the most gifted human mind. The Myth of Artificial Intelligence argues that such claims are just that: myths. We are not on the path to developing truly intelligent machines. We don’t even know where that path might be. Erik Larson charts a journey through the landscape of AI, from Alan Turing’s early work to today’s dominant models of machine learning. Since the beginning, AI researchers and enthusiasts have equated the reasoning approaches of AI with those of human intelligence. But this is a profound mistake. Even cutting-edge AI looks nothing like human intelligence. Modern AI is based on inductive reasoning: computers make statistical correlations to determine which answer is likely to be right, allowing software to, say, detect a particular face in an image. But human reasoning is entirely different. Humans do not correlate data sets; we make conjectures sensitive to context—the best guess, given our observations and what we already know about the world. We haven’t a clue how to program this kind of reasoning, known as abduction. Yet it is the heart of common sense. Larson argues that all this AI hype is bad science and bad for science. A culture of invention thrives on exploring unknowns, not overselling existing methods. Inductive AI will continue to improve at narrow tasks, but if we are to make real progress, we must abandon futuristic talk and learn to better appreciate the only true intelligence we know—our own.




Intelligent Techniques in Engineering Management


Book Description

This book presents recently developed intelligent techniques with applications and theory in the area of engineering management. The involved applications of intelligent techniques such as neural networks, fuzzy sets, Tabu search, genetic algorithms, etc. will be useful for engineering managers, postgraduate students, researchers, and lecturers. The book has been written considering the contents of a classical engineering management book but intelligent techniques are used for handling the engineering management problem areas. This comprehensive characteristics of the book makes it an excellent reference for the solution of complex problems of engineering management. The authors of the chapters are well-known researchers with their previous works in the area of engineering management.




Computer Supported Qualitative Research


Book Description

The World Conference on Qualitative Research (WCQR) is an annual event that aims to bring together researchers, academics and professionals, promoting the sharing and discussion of knowledge, new perspectives, experiences and innovations on the field of Qualitative Research. This book includes a selection of the articles accepted for presentation and discussion at WCQR2019, held in Porto, Portugal, October 16-18, 2019. WCQR2019 featured four main application fields (Education, Health, Social Sciences, and Engineering/Technology) and seven main subjects: Rationale and Paradigms of Qualitative Research; Systematization of Approaches with Qualitative Studies; Qualitative and Mixed Methods Research; Data Analysis Types; Innovative Processes of Qualitative Data Analysis; Qualitative Research in Web Context; Qualitative Analysis with Software Support. The book is a valuable resource for everyone interested in Qualitative Research with emphasis on Computer Assisted Qualitative Data Analysis.




Information Extraction: Algorithms and Prospects in a Retrieval Context


Book Description

This book covers content recognition in text, elaborating on past and current most successful algorithms and their application in a variety of settings: news filtering, mining of biomedical text, intelligence gathering, competitive intelligence, legal information searching, and processing of informal text. Today, there is considerable interest in integrating the results of information extraction in retrieval systems, because of the demand for search engines that return precise answers to flexible information queries.




Reasoning Web. Learning, Uncertainty, Streaming, and Scalability


Book Description

This volume contains lecture notes of the 14th Reasoning Web Summer School (RW 2018), held in Esch-sur-Alzette, Luxembourg, in September 2018. The research areas of Semantic Web, Linked Data, and Knowledge Graphs have recently received a lot of attention in academia and industry. Since its inception in 2001, the Semantic Web has aimed at enriching the existing Web with meta-data and processing methods, so as to provide Web-based systems with intelligent capabilities such as context awareness and decision support. The Semantic Web vision has been driving many community efforts which have invested a lot of resources in developing vocabularies and ontologies for annotating their resources semantically. Besides ontologies, rules have long been a central part of the Semantic Web framework and are available as one of its fundamental representation tools, with logic serving as a unifying foundation. Linked Data is a related research area which studies how one can make RDF data available on the Web and interconnect it with other data with the aim of increasing its value for everybody. Knowledge Graphs have been shown useful not only for Web search (as demonstrated by Google, Bing, etc.) but also in many application domains.




Abduction and Induction


Book Description

From the very beginning of their investigation of human reasoning, philosophers have identified two other forms of reasoning, besides deduction, which we now call abduction and induction. Deduction is now fairly well understood, but abduction and induction have eluded a similar level of understanding. The papers collected here address the relationship between abduction and induction and their possible integration. The approach is sometimes philosophical, sometimes that of pure logic, and some papers adopt the more task-oriented approach of AI. The book will command the attention of philosophers, logicians, AI researchers and computer scientists in general.




Argumentation Schemes


Book Description

This book provides a systematic analysis of many common argumentation schemes and a compendium of 96 schemes. The study of these schemes, or forms of argument that capture stereotypical patterns of human reasoning, is at the core of argumentation research. Surveying all aspects of argumentation schemes from the ground up, the book takes the reader from the elementary exposition in the first chapter to the latest state of the art in the research efforts to formalize and classify the schemes, outlined in the last chapter. It provides a systematic and comprehensive account, with notation suitable for computational applications that increasingly make use of argumentation schemes.




Abductive Reasoning and Learning


Book Description

This book contains leading survey papers on the various aspects of Abduction, both logical and numerical approaches. Abduction is central to all areas of applied reasoning, including artificial intelligence, philosophy of science, machine learning, data mining and decision theory, as well as logic itself.




Knowledge Management for the Intelligence Enterprise


Book Description

Annotation Written for professionals who are responsible for the management of an intelligence enterprise operation in either the military or corporate setting, this is the first easy-to-understand, system-level book that specifically applies knowledge management principles, practices and technologies to the intelligence domain.