Ekspertsystemer og vidensbaserede systemer

This book constitutes the refereed proceedings of the 18th International Conference on Web and Internet Economics, WINE 2022, which was held  Troy, NY, USA in December 2022.The 19 full papers presented together with 19 abstracts in this volume were carefully reviewed and selected from 126 submissions. They were organized in topical sections as follows: theoretical computer science, artificial intelligence, economics, operations research, and applied mathematics.

This book constitutes the refereed proceedings of the 35th Australasian Joint Conference on Artificial Intelligence, AI 2022, which took place in Perth, WA, Australia, in December 5-8, 2022. The 56 full papers included in this book were carefully reviewed and selected from 90 submissions. They were organized in topical sections as follows: Computer Vision; Deep Learning; Ethical/Explainable AI; Genetic Algorithms; Knowledge Representation and NLP; Machine Learning; Medical AI; Optimization; and Reinforcement Learning.

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held  virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the constructionof high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area. 

This book constitutes the thoroughly refereed post-conference proceedings of the International Workshop on Coordination, Organizations, Institutions, and Norms for Governance of Multi-Agent Systems, COINE 2022, which was held in Auckland, New Zealand, on May 9, 2022.The 14 papers included in these proceedings were carefully reviewed and selected from 15 submissions. They deal with autonomous agents and multi-agent systems, focusing on the scientific and technological aspects of social coordination, organizational theory, artificial (electronic) institutions, and normative and ethical MAS.

This volume constitutes selected papers presented at the First International Conference on Engineering Software for Modern Challenges, ESMoC 2021, held in Johor, Malaysia, in October 20-21, 2021.The 17 papers presented were thoroughly reviewed and selected from the 167 submissions. They are organized in the topical sections on software engineering; intelligent systems; software quality. 

This study companion helps you prepare for the SnowPro Core Certification exam. The author guides your studies so you will not have to tackle the exam by yourself. To help you track your progress, chapters in this book correspond to the exam domains as described on Snowflake¿s website. Upon studying the material in this book, you will have solid knowledge that should give you the best shot possible at taking and passing the exam and earning the certification you deserve. Each chapter provides explanations, instructions, guidance, tips, and other information with the level of detail that you need to prepare for the exam. You will not waste your time with unneeded detail and advanced content which is out of scope of the exam. Focus is kept on reviewing the materials and helping you become familiar with the content of the exam that is recommended by Snowflake.This Book Helps YouReview the domainsthat Snowflake specifically recommends you study in preparation for Exam COF-C02Identify gaps in your knowledge that you can study and fill in to increase your chances of passing Exam COF-C02Level up your knowledge even if not taking the exam, so you know the same material as someone who has taken the examLearn how to set up a Snowflake account and configure access according to recommended security best practicesBe capable of loading structured and unstructured data into Snowflake as well as unloading data from SnowflakeUnderstand how to apply Snowflake data protection features such as cloning, time travel, and fail safeReview Snowflake¿s data sharing capabilities, including data marketplace and data exchangeWho This Book Is ForThose who are planning to take the SnowPro Core Certification COF-C02 exam, and anyone who wishes to gain core expertise in implementing and migrating tothe Snowflake Data Cloud

This book constitutes revised selected papers from the refereed proceedings of the 15th Colombian Congress on Advances in Computing, CCC 2021, held in Bogota, Colombia, during November 22-26, 2021.The 8 full papers and 2 short papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Artificial intelligence; educational informatics; and information systems.

This book facilitates both the theoretical background and applications of fuzzy, intuitionistic fuzzy and rough, fuzzy rough sets in the area of data science. This book provides various individual, soft computing, optimization and hybridization techniques of fuzzy and intuitionistic fuzzy sets with rough sets and their applications including data handling and that of type-2 fuzzy systems. Machine learning techniques are effectively implemented to solve a diversity of problems in pattern recognition, data mining and bioinformatics. To handle different nature of problems, including uncertainty, the book highlights the theory and recent developments on uncertainty, fuzzy systems, feature extraction, text categorization, multiscale modeling, soft computing, machine learning, deep learning, SMOTE, data handling, decision making, Diophantine fuzzy soft set, data envelopment analysis, centrally measures, social networks, VolterräFredholm integro-differential equation, Caputo fractional derivative, interval optimization, decision making, classification problems. This book is predominantly envisioned for researchers and students of data science, medical scientists and professional engineers.

This book provides a broad overview of the benefits from a Systems Engineering design philosophy in architecting complex systems composed of artificial intelligence (AI), machine learning (ML) and humans situated in chaotic environments.   The major topics include emergence, verification and validation of systems using AI/ML and human systems integration to develop robust and effective human-machine teams-where the machines may have varying degrees of autonomy due to the sophistication of their embedded AI/ML.  The chapters not only describe what has been learned, but also raise questions that must be answered to further advance the general Science of Autonomy.  The science of how humans and machines operate as a team requires insights from, among others, disciplines such as the social sciences, national and international jurisprudence, ethics and policy, and sociology and psychology. The social sciences inform how context is constructed, how trust is affected when humans and machines depend upon each other and how human-machine teams need a shared language of explanation. National and international jurisprudence determine legal responsibilities of non-trivial human-machine failures, ethical standards shape global policy, and sociology provides a basis for understanding team norms across cultures. Insights from psychology may help us to understand the negative impact on humans if AI/ML based machines begin to outperform their human teammates and consequently diminish their value or importance. This book invites professionals and the curious alike to witness a new frontier open as the Science of Autonomy emerges.