Implementing a CTL Model Checker with , a Language for Programming Graph Neural Networks

M Belenchia, F Corradini, M Quadrini… - … Conference on Formal …, 2023 - Springer
A graph neural network is a deep learning architecture operating on graph-structured data.
While they have achieved impressive results in many application domains, their applicability …

Argument-driven planning and autonomous explanation generation

LM Eberding, J Thompson, KR Thórisson - International Conference on …, 2024 - Springer
Research on general machine intelligence is concerned with building machines that are
capable of performing a multitude of highly complex tasks in environments as complex as …

Towards a process algebra and operator theory for learning system objects

T Cody, PA Beling - International Conference on Artificial General …, 2024 - Springer
Recently, abstract systems theory has been used as a meta-theory for learning theory and
machine learning in order to model learning systems directly as formal, mathematical …

About the intricacy of tasks

LM Eberding, M Belenchia, A Sheikhlar… - … Conference, AGI 2021 …, 2022 - Springer
Without a concrete measure of the “complicatedness” of tasks that artificial agents can
reliably perform, assessing progress in AI is difficult. Only by providing evidence of progress …

[PDF][PDF] A foundation for autonomous conceptual engineering design

C Schaff - 2024 - alumni.media.mit.edu
Engineering design is the process by which humans develop new solutions to problems.
The solutions need not be perfect or even fully understood, what matters is that they provide …

[HTML][HTML] Artificial Intelligence Theories: Application to CommonKAD Methodology

WN Mambo - AI, Computer Science and Robotics Technology, 2024 - intechopen.com
Theories are required for artificial intelligence (AI) to make greater progress. Despite the
development of several AI theories, their use is minimal and their nature is not widely known …

A Flexible Multi-Agent Systems Task Environment for Simulating Hybrid Intelligence

B Schlup, A Corradini - 2024 IEEE 12th International …, 2024 - ieeexplore.ieee.org
Hybrid Intelligence (HI) attempts to address and solve cognition-intensive tasks by
combining Artificial Intelligence (AI) with human intelligence. Due to the novelty of the HI …

Autonomous causal generalization

A Sheikhlar - 2024 - opinvisindi.is
For any agent to effectively learn how to achieve its goals via interaction with environments,
it must have causal reasoning capabilities. Causal reasoning enables an agent to predict …

Automating High-Level Conceptual Design Requires Machine Understanding of Cause-Effect Relations

C Schaff, KR Thorisson - DS 130: Proceedings of NordDesign …, 2024 - designsociety.org
Engineering design is a problem-solving process that works from a high-level description of
a problem or plan and proceeds to iteratively define an increasingly detailed solution that …

[PDF][PDF] Explanation Generation

L Eberding, J Thompson… - Proceedings of Artificial …, 2024 - alumni.media.mit.edu
Research on general machine intelligence is concerned with building machines that are
capable of performing a multitude of highly complex tasks in environments as complex as …