Artificial Intelligence Logic and Applications

Artificial Intelligence Logic and Applications
Author: Yixiang Chen
Publisher: Springer Nature
Total Pages: 297
Release: 2022-12-09
Genre: Mathematics
ISBN: 9811975108

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.

Artificial Intelligence Logic and Applications

Artificial Intelligence Logic and Applications
Author: Songmao Zhang
Publisher: Springer Nature
Total Pages: 459
Release: 2023-12-16
Genre: Mathematics
ISBN: 9819978696

This book constitutes the proceedings of the Third International Conference, AILA 2023, held in Changchun, China, during August 5–6, 2023. The 26 full papers and the 10 short papers included in this volume were carefully reviewed and selected from 56 submissions. This volume aims to provide novel ideas, original research achievements, and practical experiences in a broad range of artificial intelligence logic and applications.

Markov Logic

Markov Logic
Author: Pedro Dechter
Publisher: Springer Nature
Total Pages: 145
Release: 2022-05-31
Genre: Computers
ISBN: 3031015495

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. Table of Contents: Introduction / Markov Logic / Inference / Learning / Extensions / Applications / Conclusion

Logic-Based Artificial Intelligence

Logic-Based Artificial Intelligence
Author: Jack Minker
Publisher: Springer Science & Business Media
Total Pages: 640
Release: 2000-12-31
Genre: Computers
ISBN: 9780792372240

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.

Introduction to Artificial Intelligence

Introduction to Artificial Intelligence
Author: Wolfgang Ertel
Publisher: Springer
Total Pages: 365
Release: 2018-01-18
Genre: Computers
ISBN: 3319584871

This accessible and engaging textbook presents a concise introduction to the exciting field of artificial intelligence (AI). The broad-ranging discussion covers the key subdisciplines within the field, describing practical algorithms and concrete applications in the areas of agents, logic, search, reasoning under uncertainty, machine learning, neural networks, and reinforcement learning. Fully revised and updated, this much-anticipated second edition also includes new material on deep learning. Topics and features: presents an application-focused and hands-on approach to learning, with supplementary teaching resources provided at an associated website; contains numerous study exercises and solutions, highlighted examples, definitions, theorems, and illustrative cartoons; includes chapters on predicate logic, PROLOG, heuristic search, probabilistic reasoning, machine learning and data mining, neural networks and reinforcement learning; reports on developments in deep learning, including applications of neural networks to generate creative content such as text, music and art (NEW); examines performance evaluation of clustering algorithms, and presents two practical examples explaining Bayes’ theorem and its relevance in everyday life (NEW); discusses search algorithms, analyzing the cycle check, explaining route planning for car navigation systems, and introducing Monte Carlo Tree Search (NEW); includes a section in the introduction on AI and society, discussing the implications of AI on topics such as employment and transportation (NEW). Ideal for foundation courses or modules on AI, this easy-to-read textbook offers an excellent overview of the field for students of computer science and other technical disciplines, requiring no more than a high-school level of knowledge of mathematics to understand the material.

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming
Author: Dov M. Gabbay
Publisher: Clarendon Press
Total Pages: 818
Release: 1998-01-08
Genre: Computers
ISBN: 0191546283

The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the last in this well-regarded series. Logic is now widely recognized as one of the foundational disciplines of computing. It has found applications in virtually all aspects of the subject, from software and hardware engineering to programming languages and artificial intelligence. In response to the growing need for an in-depth survey of these applications the Handbook of Logic in Artificial Intelligence and its companion, the Handbook of Logic in Computer Science have been created. The Handbooks are a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying themes in the various areas. Some mathematical background is assumed, and much of the material will be of interest to logicians and mathematicians. Volume 5 focuses particularly on logic programming. The chapters, which in many cases are of monograph length and scope, emphasize possible unifying themes.

Formalizing Common Sense

Formalizing Common Sense
Author: John McCarthy
Publisher: Intellect L & D E F A E
Total Pages: 256
Release: 1998
Genre: Technology & Engineering
ISBN: 9781871516494

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.

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning
Author: Ken McMillan
Publisher: Springer
Total Pages: 806
Release: 2013-12-05
Genre: Computers
ISBN: 3642452213

This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields and to exchange ideas in a scientifically emerging part of the world.

Applications of Artificial Intelligence in Process Systems Engineering

Applications of Artificial Intelligence in Process Systems Engineering
Author: Jingzheng Ren
Publisher: Elsevier
Total Pages: 542
Release: 2021-06-05
Genre: Technology & Engineering
ISBN: 012821743X

Applications of Artificial Intelligence in Process Systems Engineering offers a broad perspective on the issues related to artificial intelligence technologies and their applications in chemical and process engineering. The book comprehensively introduces the methodology and applications of AI technologies in process systems engineering, making it an indispensable reference for researchers and students. As chemical processes and systems are usually non-linear and complex, thus making it challenging to apply AI methods and technologies, this book is an ideal resource on emerging areas such as cloud computing, big data, the industrial Internet of Things and deep learning. With process systems engineering's potential to become one of the driving forces for the development of AI technologies, this book covers all the right bases. - Explains the concept of machine learning, deep learning and state-of-the-art intelligent algorithms - Discusses AI-based applications in process modeling and simulation, process integration and optimization, process control, and fault detection and diagnosis - Gives direction to future development trends of AI technologies in chemical and process engineering

Introduction to Artificial Intelligence and Applications

Introduction to Artificial Intelligence and Applications
Author: Mr.Desidi Narsimha Reddy
Publisher: Leilani Katie Publication
Total Pages: 210
Release: 2024-09-05
Genre: Computers
ISBN: 936348016X

Mr.Desidi Narsimha Reddy, Data Consultant (Data Governance, Data Analytics: Enterprise Performance Management, AI & ML), Soniks consulting LLC, 101 E Park Blvd Suite 600, Plano, TX 75074, United States. Mr.Harikrishna Pathipati, EPM Manager, Department of Information Technology, ITG Technologies, 10998 S Wilcrest Dr, Houston, TX 77099, USA. Lova Naga Babu Ramisetti, EPM Consultant, Department of Information Technology, MiniSoft Empowering Techonolgy, 10333 Harwin Dr. #375e, Houston, TX 77036, USA.