Technology assessment of advanced automation for space missions

Six general classes of technology requirements derived during the mission definition phase of the study were identified as having maximum importance and urgency, including autonomous world model based information systems, learning and hypothesis formation, natural language and other man-machine communication, space manufacturing, teleoperators and robot systems, and computer science and technology

Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives

Together with the disruptive development of modern sub-symbolic approaches to artificial intelligence (AI), symbolic approaches to classical AI are re-gaining momentum, as more and more researchers exploit their potential to make AI more comprehensible, explainable, and therefore trustworthy. Since logic-based approaches lay at the core of symbolic AI, summarizing their state of the art is of paramount importance now more than ever, in order to identify trends, benefits, key features, gaps, and limitations of the techniques proposed so far, as well as to identify promising research perspectives. Along this line, this paper provides an overview of logic-based approaches and technologies by sketching their evolution and pointing out their main application areas. Future perspectives for exploitation of logic-based technologies are discussed as well, in order to identify those research fields that deserve more attention, considering the areas that already exploit logic-based approaches as well as those that are more likely to adopt logic-based approaches in the future

Invention Pedagogy – The Finnish Approach to Maker Education

This collection, edited and written by the leading scholars and experts of innovation and maker education in Finland, introduces invention pedagogy, a research-based Finnish approach for teaching and learning through multidisciplinary, creative design and making processes in formal school settings. The book outlines the background of, and need for, invention pedagogy, providing various perspectives for designing and orchestrating the invention process while discusses what can be learnt and how learning happens through inventing. In addition, the book introduces the transformative, school-level innovator agency needed for developing whole schools as innovative communities. Featuring informative case study examples, the volume explores the theoretical, pedagogical, and methodological implications for the research and practice of invention pedagogy in order to further the field and bring new perspectives, providing a new vision for schools for decades to come. Intermixing the results of cutting-edge research and best practice within STEAM-education and invention pedagogy, this book will be essential reading for researchers, students, and scholars of design and technology education, STEM education, teacher education, and learning sciences more broadly

On the role of Computational Logic in Data Science: representing, learning, reasoning, and explaining knowledge

In this thesis we discuss in what ways computational logic (CL) and data science (DS) can jointly contribute to the management of knowledge within the scope of modern and future artificial intelligence (AI), and how technically-sound software technologies can be realised along the path. An agent-oriented mindset permeates the whole discussion, by stressing pivotal role of autonomous agents in exploiting both means to reach higher degrees of intelligence. Accordingly, the goals of this thesis are manifold. First, we elicit the analogies and differences among CL and DS, hence looking for possible synergies and complementarities along 4 major knowledge-related dimensions, namely representation, acquisition (a.k.a. learning), inference (a.k.a. reasoning), and explanation. In this regard, we propose a conceptual framework through which bridges these disciplines can be described and designed. We then survey the current state of the art of AI technologies, w.r.t. their capability to support bridging CL and DS in practice. After detecting lacks and opportunities, we propose the notion of logic ecosystem as the new conceptual, architectural, and technological solution supporting the incremental integration of symbolic and sub-symbolic AI. Finally, we discuss how our notion of logic ecosys- tem can be reified into actual software technology and extended towards many DS-related directions

Advanced Automation for Space Missions

The feasibility of using machine intelligence, including automation and robotics, in future space missions was studied

Invention Pedagogy – The Finnish Approach to Maker Education

This collection, edited and written by the leading scholars and experts of innovation and maker education in Finland, introduces invention pedagogy, a research-based Finnish approach for teaching and learning through multidisciplinary, creative design and making processes in formal school settings. The book outlines the background of, and need for, invention pedagogy, providing various perspectives for designing and orchestrating the invention process while discusses what can be learnt and how learning happens through inventing. In addition, the book introduces the transformative, school-level innovator agency needed for developing whole schools as innovative communities. Featuring informative case study examples, the volume explores the theoretical, pedagogical, and methodological implications for the research and practice of invention pedagogy in order to further the field and bring new perspectives, providing a new vision for schools for decades to come. Intermixing the results of cutting-edge research and best practice within STEAM-education and invention pedagogy, this book will be essential reading for researchers, students, and scholars of design and technology education, STEM education, teacher education, and learning sciences more broadly

Proceedings of the 11th Workshop on Nonmonotonic Reasoning

These are the proceedings of the 11th Nonmonotonic Reasoning Workshop. The aim of this series is to bring together active researchers in the broad area of nonmonotonic reasoning, including belief revision, reasoning about actions, planning, logic programming, argumentation, causality, probabilistic and possibilistic approaches to KR, and other related topics. As part of the program of the 11th workshop, we have assessed the status of the field and discussed issues such as: Significant recent achievements in the theory and automation of NMR; Critical short and long term goals for NMR; Emerging new research directions in NMR; Practical applications of NMR; Significance of NMR to knowledge representation and AI in general

Kiel Declarative Programming Days 2013

This report contains the papers presented at the Kiel Declarative Programming Days 2013, held in Kiel (Germany) during September 11-13, 2013. The Kiel Declarative Programming Days 2013 unified the following events: * 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013) * 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) * 27th Workshop on Logic Programming (WLP 2013) All these events are centered around declarative programming, an advanced paradigm for the modeling and solving of complex problems. These specification and implementation methods attracted increasing attention over the last decades, e.g., in the domains of databases and natural language processing, for modeling and processing combinatorial problems, and for high-level programming of complex, in particular, knowledge-based systems

Automated Reasoning

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book