Ekspertsystemer og vidensbaserede systemer

In the rapidly evolving landscape of artificial intelligence, one of the most captivating frontiers is Linguistic Intelligence. As we stand at the intersection of technological prowess and the intricacies of human communication, this e-book, titled "Linguistic Intelligence: Harnessing AI to Understand and Generate Human Language," embarks on a comprehensive exploration of the profound relationship between artificial intelligence and language processing. The key component that characterizes human interaction, language, has gained prominence in the field of artificial intelligence. This ebook delves into the foundational aspects of Linguistic Intelligence, unraveling the intricate web of Natural Language Processing (NLP), machine learning algorithms, and linguistic models that power the understanding and generation of human language. Through a meticulous examination of the historical evolution of language processing technologies, we trace the journey from rudimentary attempts to the sophisticated AI systems that now navigate the nuances of communication. Cognizant of the multifaceted nature of language, we delve into the realms of cognitive science and linguistics to unravel the complexities that AI faces in comprehending natural language. This e-book examines the instruments and technology that support linguistic intelligence and provides information on how they are used in various fields. Real-world case studies exemplify successful implementations, illustrating the tangible impact of these technologies on our daily lives.

This book is a basic treatise on real-time computing, with particular emphasis on predictable scheduling algorithms. The main objectives of the book are to introduce the basic concepts of real-time computing, illustrate the most significant results in the field, and provide the basic methodologies for designing predictable computing systems useful in supporting critical control applications.Hard Real-Time Computing Systems is written for instructional use and is organized to enable readers without a strong knowledge of the subject matter to quickly grasp the material. Technical concepts are clearly defined at the beginning of each chapter, and algorithm descriptions are corroborated through concrete examples, illustrations, and tables. This new, fourth edition includes new sections to explain the variable-rate task model, how to improve predictability and safety in cyber-physical real-time systems that exploit machine learning algorithms, additional coverage on Response Time Analysis, and a new chapter on implementing periodic real-time tasks under Linux..

This book constitutes the proceedings of the First International Conference, CINS 2023, held in Dubai, United Arab Emirates, from October 18 to 20, 2023.The 11 full papers included in this volume were carefully reviewed and selected from 130 submissions. This volume discusses contemporary challenges within computing systems and the utilization of intelligent approaches to improve computing methodologies, data processing capabilities, and the application of these intelligent techniques. The book also addresses several topics pertaining to networks, including security, network data processing, networks that transcend boundaries, device heterogeneity, and advancements in networks connected to the Internet of Things, software-defined networks, cloud computing, and intelligent networks.

This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of AI via the various kinds of formal methods-based validation techniques; dedicated applications scenarios which may allow certain levels of assistance; and education in times of deep learning.

This book constitutes the proceedings of the 11th International Conference on Big Data and Artificial Intelligence, BDA 2023, held in Delhi, India, during December 7¿9, 2023. The17 full papers presented in this volume were carefully reviewed and selected from 67 submissions. The papers are organized in the following topical sections: ¿Keynote Lectures, Artificial Intelligence in Healthcare, Large Language Models, Data Analytics for Low Resource Domains, Artificial Intelligence for Innovative Applications and Potpourri.

Dieses Lehrbuch betrachtet Data Management als interdisziplinäres Konzept mit Fokus auf den Zielen datengetriebener Unternehmen. Im Zentrum steht die interaktive Entwicklung eines Unternehmensdatenmodells für ein virtuelles Unternehmen mit Unterstützung eines online Learning Games unter Einbeziehung der Aufgaben, Ziele und Grundsätze des Data Managements, typischer Data-Management-Komponenten und Frameworks wie Datenmodellierung und Design, Metadaten Management, Data Architecture, und Data Governance, und verknüpft diese mit datengetriebenen Anwendungen wie Business Warehousing, Big Data, In-Memory Data Management, und Machine Learning im Data Management Kontext.Das Buch dient als Lehrbuch für Studierende der Informatik, der Wirtschaft und der Wirtschaftsinformatik an Universitäten, Hochschulen und Fachschulen und zur industriellen Aus- und Weiterbildung.

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.

This book discusses the role of mobile network data in urban informatics, particularly how mobile network data is utilized in the mobility context, where approaches, models, and systems are developed for understanding travel behavior. The objectives of this book are thus to evaluate the extent to which mobile network data reflects travel behavior and to develop guidelines on how to best use such data to understand and model travel behavior. To achieve these objectives, the book attempts to evaluate the strengths and weaknesses of this data source for urban informatics and its applicability to the development and implementation of travel behavior models through a series of the authors' research studies.Traditionally, survey-based information is used as an input for travel demand models that predict future travel behavior and transportation needs. A survey-based approach is however costly and time-consuming, and hence its information can be dated and limited to a particular region. Mobile network data thus emerges as a promising alternative data source that is massive in both cross-sectional and longitudinal perspectives, and one that provides both broader geographic coverage of travelers and longer-term travel behavior observation. The two most common types of travel demand model that have played an essential role in managing and planning for transportation systems are four-step models and activity-based models. The book's chapters are structured on the basis of these travel demand models in order to provide researchers and practitioners with an understanding of urban informatics and the important role that mobile network data plays in advancing the state of the art from the perspectives of travel behavior research.

The Role of Blockchain in Disaster Management explores the architecture and implementation of existing blockchain-based IoT frameworks for the detection and prevention of disasters, along with the management of relative supply chains to protect against mismanagement of essential materials. The distributed nature of Blockchain helps to protect data from internal or external attacks, especially in disaster areas or times of crisis when database systems become overloaded and vulnerable to unauthorized access, manipulation, and disruption of critical services. This book can be used as a reference by graduate students, researchers, professors, and professionals in computer science, software design, and disaster management.

This book constitutes the refereed proceedings of the 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023, which was held in Västerås, Sweden, in October 2023. The 11 full papers included in this book were carefully reviewed and selected from 26 submissions and present software, hardware, and communication perspectives of systems engineering through its many facets. The special theme of this year is ¿Engineering for Responsible AI¿.

This book is about data analytics, including problem definition, data preparation, and data analysis. A variety of techniques (e.g., regression, logistic regression, cluster analysis, neural nets, decision trees, and others) are covered with conceptual background as well as demonstrations of KNIME using each tool.The book uses KNIME, which is a comprehensive, open-source software tool for analytics that does not require coding but instead uses an intuitive drag-and-drop workflow to create a network of connected nodes on an interactive canvas. KNIME workflows provide graphic representations of each step taken in analyses, making the analyses self-documenting. The graphical documentation makes it easy to reproduce analyses, as well as to communicate methods and results to others. Integration with R is also available in KNIME, and several examples using R nodes in a KNIME workflow are demonstrated for special functions and tools not explicitly included in KNIME.

This book constitutes the refereed proceedings of the 20th International Conference on Virtual Reality and Mixed Reality, EuroXR 2023, held in Rotterdam, the Netherlands, during November 29-December 1, 2023.The 14 full papers presented together with 2 short papers were carefully reviewed and selected from 42 submissions.The papers are grouped into the following topics: Interaction in Virtual Reality; Designing XR Experiences; and Human Factors in VR: Performance, Acceptance, and Design.

This book constitutes the refereed proceedings of the 5th International Conference on Science of Cyber Security, SciSec 2023, held in Melbourne, VIC, Australia, during July 11¿14, 2023. The 21 full papers presented together with 6 short papers were carefully reviewed and selected from 60 submissions. The papers are organized in the topical sections named: ¿ACDroid: Detecting Collusion Applications on Smart Devices; Almost Injective and Invertible Encodings for Jacobi Quartic Curves; Decompilation Based Deep Binary-Source Function Matching.

This volume constitutes selected papers presented at the 10th International Conference on Innovation and New Trends in Information Technology, INTIS 2022, held in Casablanca, Morocco, in May 2022, and 11th International Conference on Innovation and New Trends in Information Technology, INTIS 2023, held in Tangier, Morocco, in May 2023.After the thorough peer review process, 4 papers were selected from the 27 submissions received for INTIS 2022, and 11 papers were selected from the 33 submissions received for INTIS 2023. The presented papers cover the mail topics of data-enabled systems/applications: data source layer, network layer, data layer, learning layer, and reporting layers while considering non-functional properties such as data privacy, security, and ethics.

This book provides a comprehensive introduction to the foundations and frontiers of graph neural networks. In addition, the book introduces the basic concepts and definitions in graph representation learning and discusses the development of advanced graph representation learning methods with a focus on graph neural networks. The book providers researchers and practitioners with an understanding of the fundamental issues as well as a launch point for discussing the latest trends in the science. The authors emphasize several frontier aspects of graph neural networks and utilize graph data to describe pairwise relations for real-world data from many different domains, including social science, chemistry, and biology. Several frontiers of graph neural networks are introduced, which enable readers to acquire the needed techniques of advances in graph neural networks via theoretical models and real-world applications. 

This book constitutes the proceedings of the 24th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2023, held in Évora, Portugal, during November 22¿24, 2023.The 45 full papers and 4 short papers presented in this book were carefully reviewed and selected from 77 submissions. IDEAL 2023 is focusing on big data challenges, machine learning, deep learning, data mining, information retrieval and management, bio-/neuro-informatics, bio-inspired models, agents and hybrid intelligent systems, and real-world applications of intelligence techniques and AI.The papers are organized in the following topical sections: main track; special session on federated learning and (pre) aggregation in machine learning; special session on intelligent techniques for real-world applications of renewable energy and green transport; and special session on data selection in machine learning.

This book presents a methodology for the real-time scheduling problems of real-time systems (RTS) from the viewpoint of control theory. Generally, any system can be viewed as an RTS if it performs real-time application functions and behaves correctly depending on given logical activities and satisfying specified deadlines for the activities. This monograph provides broad views and detailed introductions to supervisory control theory (SCT) and its application in real-time scheduling and reconfiguration. Based on three popular SCT modelling frameworks, discrete-event system (DES), timed DES (TDES), and state-tree structures (STS), the authors provide RTS modelling frameworks; thereafter, SCT is used to find their safe execution sequences.As the main contribution, we use (untimed) DES events to represent the execution and preemption of each individual RTS task. This modelling formalism brings the possibilities to model the preemptions of tasks¿ executions. Furthermore, in somecases, priorities cannot be assigned to real-time tasks. In order to solve this problem, a matrix-based priority-free conditional-preemption (PFCP) relation is provided, which generalizes fixed-priority (FP) RTS scheduling. As a natural extension, a generalized modular modelling framework is presented to model the task parameters instead of the global real-time task. The modular models are taken to be generic entities, which also considers the exact execution time of real-time tasks. STS are undoubtedly recognized as a computationally efficient SCT framework which manages the state explosion problem significantly. Hence, building on the (untimed) modular RTS models, a novel STS-based RTS modeling framework is formulated, by assigning dynamic priorities as specified optimality criteria, which can be utilized to model sporadic RTS processing both sporadic and (multi-period) periodic tasks, providing a small set of the safe execution sequences which rank at the top.

This book sheds light on state-of-the-art theories for more challenging outfit compatibility modeling scenarios.  In particular, this book presents several cutting-edge graph learning techniques that can be used for outfit compatibility modeling.  Due to its remarkable economic value, fashion compatibility modeling has gained increasing research attention in recent years.  Although great efforts have been dedicated to this research area, previous studies mainly focused on fashion compatibility modeling for outfits that only involved two items and overlooked the fact that each outfit may be composed of a variable number of items.  This book develops a series of graph-learning based outfit compatibility modeling schemes, all of which have been proven to be effective over several public real-world datasets.  This systematic approach benefits readers by introducing the techniques for compatibility modeling of outfits that involve a variable number of composing items.  To deal with the challenging task of outfit compatibility modeling, this book provides comprehensive solutions, including correlation-oriented graph learning, modality-oriented graph learning, unsupervised disentangled graph learning, partially supervised disentangled graph learning, and metapath-guided heterogeneous graph learning.  Moreover, this book sheds light on research frontiers that can inspire future research directions for scientists and researchers.  

This book provides a coherent and complete overview of various Question Answering (QA) systems. It covers three main categories based on the source of the data that can be unstructured text (TextQA), structured knowledge graphs (KBQA), and the combination of both. Developing a QA system usually requires using a combination of various important techniques, including natural language processing, information retrieval and extraction, knowledge graph processing, and machine learning.After a general introduction and an overview of the book in Chapter 1, the history of QA systems and the architecture of different QA approaches are explained in Chapter 2. It starts with early close domain QA systems and reviews different generations of QA up to state-of-the-art hybrid models. Next, Chapter 3 is devoted to explaining the datasets and the metrics used for evaluating TextQA and KBQA. Chapter 4 introduces the neural and deep learning models used in QA systems. This chapter includes the required knowledge of deep learning and neural text representation models for comprehending the QA models over text and QA models over knowledge base explained in Chapters 5 and 6, respectively. In some of the KBQA models the textual data is also used as another source besides the knowledge base; these hybrid models are studied in Chapter 7. In Chapter 8, a detailed explanation of some well-known real applications of the QA systems is provided. Eventually, open issues and future work on QA are discussed in Chapter 9.This book delivers a comprehensive overview on QA over text, QA over knowledge base, and hybrid QA systems which can be used by researchers starting in this field. It will help its readers to follow the state-of-the-art research in the area by providing essential and basic knowledge.

This book, fully updated for Python version 3.6+, covers the key ideas that link probability, statistics, and machine learning illustrated using Python modules in these areas.  All the figures and numerical results are reproducible using the Python codes provided. The author develops key intuitions in machine learning by working meaningful examples using multiple analytical methods and Python codes, thereby connecting theoretical concepts to concrete implementations. Detailed proofs for certain important results are also provided. Modern Python modules like Pandas, Sympy, Scikit-learn, Tensorflow, and Keras are applied to simulate and visualize important machine learning concepts like the bias/variance trade-off, cross-validation, and regularization. Many abstract mathematical ideas, such as convergence in probability theory, are developed and illustrated with numerical examples. This updated edition now includes the Fisher Exact Test and the Mann-Whitney-Wilcoxon Test. A new section on survival analysis has been included as well as substantial development of Generalized Linear Models. The new deep learning section for image processing includes an in-depth discussion of gradient descent methods that underpin all deep learning algorithms.   As with the prior edition, there are new and updated *Programming Tips* that the illustrate effective Python modules and methods for scientific programming and machine learning. There are 445 run-able code blocks with corresponding outputs that have been tested for accuracy.  Over 158 graphical visualizations (almost all generated using Python) illustrate the concepts that are developed both in code and in mathematics. We also discuss and use key Python modules such as Numpy, Scikit-learn, Sympy,  Scipy, Lifelines, CvxPy, Theano, Matplotlib, Pandas, Tensorflow, Statsmodels,  and Keras.This book is suitable for anyone with an undergraduate-level exposure to probability, statistics, or machine learning and with rudimentary knowledge of Python programming.

This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 ¿ Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6¿10, 2023.The 33 full papers included in this book were carefully reviewed and selected from 53 submissions. They were organized in topical sections as follows: Argumentation and Logic Programming, Natural Language Processing, Machine Learning, Hybrid AI and Applications of AI.

This volume comprises the proceedings of the International Workshop, ShapeMI 2023, which took place alongside MICCAI 2023 on October 8, 2023, in Vancouver, British Columbia, Canada.The 23 selected full papers deal with all aspects of leading methods and applications for advanced shape analysis and geometric learning in medical imaging.

This monograph introduces a novel multiset-based conceptual, mathematical and knowledge engineering paradigm, called multigrammatical framework (MGF), used for planning and scheduling in resource-consuming, resource-producing (industrial) and resource-distributing (economical) sociotechnological systems (STS). This framework is meant to enable smart operation not only in a "e;business-as-usual"e; mode, but also in extraordinary, highly volatile or hazardous environments. It is the result of convergence and deep integration into a unified, flexible and effectively implemented formalism operating on multisets of several well-known paradigms from classical operations research and modern knowledge engineering, such as: mathematical programming, game theory, optimal scheduling, logic programming and constraint programming. The mathematical background needed for MGF, its algorithmics, applications, implementation issues, as well as its nexus with known models from operations research and theoretical computer science areas are considered. The resilience and recovery issues of an STS are studied by applying the MGF toolkit and on paying special attention to the multigrammatical assessment of resilience of energy infrastructures. MGF-represented resource-based games are introduced, and directions for further development are discussed. The author presents multiple applications to business intelligence, critical infrastructure, ecology, economy and industry. This book is addressed to scholars working in the areas of theoretical and applied computer science, artificial intelligence, systems analysis, operations research, mathematical economy and critical infrastructure protection, to engineers developing software-intensive solutions for implementation of the knowledge-based digital economy and Industry 4.0, as well as to students, aspirants and university staff. Foundational knowledge of set theory, mathematical logic and routine operations on data bases is needed to read this book. The content of the monograph is gradually presented, from simple to complex, in a well-understandable step-by-step manner. Multiple examples and accompanying figures are included in order to support the explanation of the various notions, expressions and algorithms.