Author: Yixiang Chen
Publisher: Springer Nature
ISBN: 9811975108
Category : Mathematics
Languages : en
Pages : 297
Get Book Here
Book Description
This book constitutes refereed proceedings of the 2nd International Conference on Artificial Intelligence Logic and Applications 2022 held in Shanghai, China from August 26–28, 2022. The 20 full papers presented in this volume were carefully reviewed and selected from a total of 27 submissions. The papers in the volume are organised according to the following topical headings: program logic; fuzzy logic; applications; author index.
Author: Cyrus F. Nourani
Publisher: CRC Press
ISBN: 1000400905
Category : Computers
Languages : en
Pages : 276
Get Book Here
Book Description
Focusing on the cutting-edge applications of AI cognitive computing from neuromorphic to quantum cognition as applied to AI business analytics, this new volume explores AI’s importance in managing cognitive processes along with ontological modeling concepts for venturing into new business frontiers. The volume presents a selection of significant new accomplishments in the areas of AI cognitive computing ranging from neurocognition perception and decision-making in the human brain—combining neurocognitive techniques and effective computing—to basic facial recognition computing models. Topics include: Agent neurocomputing techniques for facial expression recognition Computing haptic motion and ontology epistemic Characterizations of morph schemas for visual analytics Learning and perceptive computing Functional and structural neuroimaging modeling Observed links between facial recognition and affective emotional processes Interaction of cognitive and emotional processes during social decision-making Neurocognitive processing of emotional facial expressions in individuals Neurocognitive affective system for emotive robot androids Virtual reality-based affect adaptive neuromorphic computing Executive surveys indicate that cognitive adoption is very important in business strategy for success and to remain competitive. Employing cognitive-based processes provides the way to get the right information in the right hands at the right time, which is the key to winning in the digital era and to driving business value that emphasizes competitive differentiation. Several chapters of the volume address the goal of using cognitive technology to improve search capabilities, to provide personalized customer service in business and in health and wellness, and to create better workflow management. Key features: Looks at the newest frontiers on very popular AI and analytics topics Discusses new techniques for visual analytics and data filtering Shows how AI and cognitive science merges with quantum neurocognitive computing Presents ontology models with ontology preservation data filtering techniques Provides a cross-transposition on AI and digitizations for business model innovations Artificial Intelligence and Computing Logic: Cognitive Technology for AI Business Analytics is a valuable resource that informs businesses and other enterprises the value of artificial intelligence and computing logic applications.
Author: Pedro Domingos
Publisher: Morgan & Claypool Publishers
ISBN: 1598296922
Category : Computers
Languages : en
Pages : 156
Get Book Here
Book Description
Most subfields of computer science have an interface layer via which applications communicate with the infrastructure, and this is key to their success (e.g., the Internet in networking, the relational model in databases, etc.). So far this interface layer has been missing in AI. First-order logic and probabilistic graphical models each have some of the necessary features, but a viable interface layer requires combining both. Markov logic is a powerful new language that accomplishes this by attaching weights to first-order formulas and treating them as templates for features of Markov random fields. Most statistical models in wide use are special cases of Markov logic, and first-order logic is its infinite-weight limit. Inference algorithms for Markov logic combine ideas from satisfiability, Markov chain Monte Carlo, belief propagation, and resolution. Learning algorithms make use of conditional likelihood, convex optimization, and inductive logic programming. Markov logic has been successfully applied to problems in information extraction and integration, natural language processing, robot mapping, social networks, computational biology, and others, and is the basis of the open-source Alchemy system.
Author: D. Sriram
Publisher: Springer
ISBN: 9783540163497
Category : Technology & Engineering
Languages : en
Pages : 1198
Get Book Here
Book Description
Author: Jack Minker
Publisher: Springer Science & Business Media
ISBN: 146151567X
Category : Computers
Languages : en
Pages : 600
Get Book Here
Book Description
The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of papers in the 1960's he expanded upon these ideas and continues to do so to this date. It is now 41 years since the idea of using a formal mechanism for AI arose. It is therefore appropriate to consider some of the research, applications and implementations that have resulted from this idea. In early 1995 John McCarthy suggested to me that we have a workshop on Logic-Based Artificial Intelligence (LBAI). In June 1999, the Workshop on Logic-Based Artificial Intelligence was held as a consequence of McCarthy's suggestion. The workshop came about with the support of Ephraim Glinert of the National Science Foundation (IIS-9S2013S), the American Association for Artificial Intelligence who provided support for graduate students to attend, and Joseph JaJa, Director of the University of Maryland Institute for Advanced Computer Studies who provided both manpower and financial support, and the Department of Computer Science. We are grateful for their support. This book consists of refereed papers based on presentations made at the Workshop. Not all of the Workshop participants were able to contribute papers for the book. The common theme of papers at the workshop and in this book is the use of logic as a formalism to solve problems in AI.
Author: Anil Nerode
Publisher: Springer Science & Business Media
ISBN: 1468402110
Category : Computers
Languages : en
Pages : 383
Get Book Here
Book Description
In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the recent dramatic growth in the applications of logic to computer science. Thus our choice of topics has been heavily influenced by such applications. Of course, we cover the basic traditional topics - syntax, semantics, soundness, completeness and compactness - as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much of our book, however, deals with other less traditional topics. Resolution theorem proving plays a major role in our treatment of logic, especially in its application to Logic Programming and PROLOG. We deal extensively with the mathematical foundations of all three of these subjects. In addition, we include two chapters on nonclassical logic- modal and intuitionistic - that are becoming increasingly important in computer science. We develop the basic material on the syntax and se mantics (via Kripke frames) for each of these logics. In both cases, our approach to formal proofs, soundness and completeness uses modifications of the same tableau method introduced for classical logic. We indicate how it can easily be adapted to various other special types of modal log ics. A number of more advanced topics (including nonmonotonic logic) are also briefly introduced both in the nonclassical logic chapters and in the material on Logic Programming and PROLOG.
Author: Christoph Bussler
Publisher: Springer
ISBN: 3540301062
Category : Computers
Languages : en
Pages : 535
Get Book Here
Book Description
The 11th Conference “Artificial Intelligence: Methodology, Systems, Applications – Semantic Web Challenges” (AIMSA 2004) continued successfully pursuing the main aim of the AIMSA series of conferences – to foster the multidisciplinary community of artificial intelligence researchers, embracing both the theoretic underpinnings of the field and the practical issues involved in development, deployment, and maintenance of systems with intelligent behavior. Since the first conference in 1984 AIMSA has provided an ideal forum for international scientific exchange between Central/Eastern Europe and the rest of the world and it is even more important nowadays in the uni- ing Europe. The current AIMSA edition is focused on Semantic Web methods and technologies. The Internet is changing the everyday services landscape, and the way we do things in almost every domain of our life. Web services are rapidly becoming the enabling technology of today's e-business and e-commerce systems, and will soon transform the Web as it is now into a distributed computation and application framework. The emerging Semantic Web paradigm promises to annotate Web artefacts to enable automated reasoning about them. When applied to e-services, the paradigm hopes to provide substantial automation for activities such as discovery, invocation, assembly, and monitoring of e-services. One hundred and seventy-six interesting papers were submitted to the conference.
Author: John McCarthy
Publisher: Intellect L & D E F A E
ISBN: 9781871516494
Category : Technology & Engineering
Languages : en
Pages : 256
Get Book Here
Book Description
Extending over a period of 30 years, this is a collection of papers written by John McCarthy on artificial intelligence. They range from informal surveys written for a general audience to technical discussions of challenging research problems that should be of interest to specialists.
Author: Ricardo Caferra
Publisher: John Wiley & Sons
ISBN: 1118604261
Category : Technology & Engineering
Languages : en
Pages : 378
Get Book Here
Book Description
Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as a topic benefits from a unified approach. Logic for Computer Science and Artificial Intelligence utilizes this format, surveying the tableaux, resolution, Davis and Putnam methods, logic programming, as well as for example unification and subsumption. For non-classical logics, the translation method is detailed. Logic for Computer Science and Artificial Intelligence is the classroom-tested result of several years of teaching at Grenoble INP (Ensimag). It is conceived to allow self-instruction for a beginner with basic knowledge in Mathematics and Computer Science, but is also highly suitable for use in traditional courses. The reader is guided by clearly motivated concepts, introductions, historical remarks, side notes concerning connections with other disciplines, and numerous exercises, complete with detailed solutions, The title provides the reader with the tools needed to arrive naturally at practical implementations of the concepts and techniques discussed, allowing for the design of algorithms to solve problems.
Author: Ilias Maglogiannis
Publisher: Springer Nature
ISBN: 3031083377
Category : Computers
Languages : en
Pages : 528
Get Book Here
Book Description
This book constitutes the refereed proceedings of five International Workshops held as parallel events of the 18th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2022, virtually and in Hersonissos, Crete, Greece, in June 2022: the 11th Mining Humanistic Data Workshop (MHDW 2022); the 7th 5G-Putting Intelligence to the Network Edge Workshop (5G-PINE 2022); the 1st workshop on AI in Energy, Building and Micro-Grids (AIBMG 2022); the 1st Workshop/Special Session on Machine Learning and Big Data in Health Care (ML@HC 2022); and the 2nd Workshop on Artificial Intelligence in Biomedical Engineering and Informatics (AIBEI 2022). The 35 full papers presented at these workshops were carefully reviewed and selected from 74 submissions.
