275 research outputs found
Current and Future Challenges in Knowledge Representation and Reasoning
Knowledge Representation and Reasoning is a central, longstanding, and active
area of Artificial Intelligence. Over the years it has evolved significantly;
more recently it has been challenged and complemented by research in areas such
as machine learning and reasoning under uncertainty. In July 2022 a Dagstuhl
Perspectives workshop was held on Knowledge Representation and Reasoning. The
goal of the workshop was to describe the state of the art in the field,
including its relation with other areas, its shortcomings and strengths,
together with recommendations for future progress. We developed this manifesto
based on the presentations, panels, working groups, and discussions that took
place at the Dagstuhl Workshop. It is a declaration of our views on Knowledge
Representation: its origins, goals, milestones, and current foci; its relation
to other disciplines, especially to Artificial Intelligence; and on its
challenges, along with key priorities for the next decade
Synthesizing FDIR Recovery Strategies for Space Systems
Dynamic Fault Trees (DFTs) are powerful tools to drive the design of fault tolerant systems. However, semantic pitfalls limit their practical utility for interconnected systems that require complex recovery strategies to maximize their reliability. This thesis discusses the shortcomings of DFTs in the context of analyzing Fault Detection, Isolation and Recovery (FDIR) concepts with a particular focus on the needs of space systems. To tackle these shortcomings, we introduce an inherently non-deterministic model for DFTs. Deterministic recovery strategies are synthesized by transforming these non-deterministic DFTs into Markov automata that represent all possible choices between recovery actions. From the corresponding scheduler, optimized to maximize a given RAMS (Reliability, Availability, Maintainability and Safety) metric, an optimal recovery strategy can then be derived and represented by a model we call recovery automaton. We discuss dedicated techniques for reducing the state space of this recovery automaton and analyze their soundness and completeness. Moreover, modularized approaches to handle the complexity added by the state-based transformation approach are discussed. Furthermore, we consider the non-deterministic approach in a partially observable setting and propose an approach to lift the model for the fully observable case. We give an implementation of our approach within the Model-Based Systems Engineering (MBSE) framework Virtual Satellite. Finally, the implementation is evaluated based on the FFORT benchmark. The results show that basic non-deterministic DFTs generally scale well. However, we also found that semantically enriched non-deterministic DFTs employing repair or delayed observability mechanisms pose a challenge
O4OA Specification
This document is the reference ontology specification for the Ontology for Ontological Analysis (O4OA) version 2.6.This work has been developed under the project Digital Knowledge Graph – Adaptable Analytics API with the financial support of Accenture LTD, the Generalitat Valenciana through the CoMoDiD project
(CIPROM/2021/023), the Spanish State Research Agency through the DELFOS (PDC2021-121243-I00) and SREC (PID2021-123824OB-I00) projects, MICIN/AEI/10.13039/501 100011033 and co-financed with ERDF and the European Union Next Generation EU/PRTR.Franco Martins Souza, B.; Guizzardi, R.; Pastor López, O. (2023). O4OA Specification. http://hdl.handle.net/10251/19672
CityGML in the Integration of BIM and the GIS: Challenges and Opportunities
CityGML (City Geography Markup Language) is the most investigated standard in the integration of building information modeling (BIM) and the geographic information system (GIS), and it is essential for digital twin and smart city applications. The new CityGML 3.0 has been released for a while, but it is still not clear whether its new features bring new challenges or opportunities to this research topic. Therefore, the aim of this study is to understand the state of the art of CityGML in BIM/GIS integration and to investigate the potential influence of CityGML3.0 on BIM/GIS integration. To achieve this aim, this study used a systematic literature review approach. In total, 136 papers from Web of Science (WoS) and Scopus were collected, reviewed, and analyzed. The main findings of this review are as follows: (1) There are several challenging problems in the IFC-to-CityGML conversion, including LoD (Level of Detail) mapping, solid-to-surface conversion, and semantic mapping. (2) The ‘space’ concept and the new LoD concept in CityGML 3.0 can bring new opportunities to LoD mapping and solid-to-surface conversion. (3) The Versioning module and the Dynamizer module can add dynamic semantics to the CityGML. (4) Graph techniques and scan-to-BIM offer new perspectives for facilitating the use of CityG
Open reWall: Survey-to-production workflow for building renovation
A reabilitação de espaços interiores, num contexto de personalização em série, requer uma mudança na forma como os sistemas construtivos são desenhados, construídos e reutilizados. Recorrendo a plataformas digitais para a participação os arquitetos, em colaboração com outros atores na indústria AEC, podem desenvolver e oferecer soluções personalizadas e desmontáveis a utilizadores genéricos.
Esta investigação propõe o uso de sistemas de construção personalizada em série (CPS) para fornecer sistemas de divisórias desmontáveis fabricadas digitalmente usando metodologias do levantamento à produção ligadas a configuradores online, em que os utilizadores co-projetam soluções para a reabilitação de espaços interiores.
A metodologia de investigação socorre-se de pesquisa e análise teórica para definir critérios e objetivos a serem explorados em resolução de problemas de projeto. A partir destas experiências são sintetizados princípios e uma metodologia para a conceção de sistemas CPS de sistemas de divisórias personalizáveis e desmontáveis para a reabilitação. A metodologia clarifica os papeis dos atores, passos, e arquitetura do sistema para implementar um sistema CPS do levantamento à produção.
A investigação demonstra que a metodologia de levantamento proposta é utilizável por utilizadores especialistas e não-especialistas, com os últimos a apresentarem em média melhores resultados, e que estes levantamentos têm precisão suficiente para processos do desenho à produção.
Também se demonstra que a metodologia do levantamento à produção, a gramática genérica, e os critérios são úteis para os arquitetos conceberem sistemas de divisórias desmontáveis e personalizáveis para sistemas CPS abertos.Building renovation of interior spaces, in the context of mass customization, requires a shift in how construction systems are designed, built, and reused. Leveraging digital frameworks for user participation, architects in collaboration with other stakeholders in the AEC industry may design anddeliver customized and disassemble-able solutions to generic end-users.
The research proposes mass customization construction (MCC) systems can deliver cost-effective digitally fabricated and disassemble-able construction systems using survey-to-production workflows deployed in web configurators for end-users to co-design solutions in building renovation.
The research methodology uses theoretical inquiry and analysis to define criteria and objectives to be explored in design problem solving. From these experiments generalizable principles and a lowkey workflow for the design of MCC systems of customizable and disassemble-able partition wall construction systems for open building renovation are synthetized. The workflow clarifies stakeholder roles, steps, and system architecture to implement an MCC system from survey to production.
This investigation demonstrates the proposed survey workflow is usable by non-expert and expert instance-designers, with the former having on-average better results, and that these can survey spaces with sufficient precision for design-to-production workflows. It is also shown the survey-to-production workflow, the generic grammar, and criteria are useful for architects to design customizable and disassemble-able partition wall systems for open MCC systems
Innovation, Internationalization and Entrepreneurship
Over the past years, businesses have had to tackle the issues caused by numerous forces from political, technological and societal environment. The changes in the global market and increasing uncertainty require us to focus on disruptive innovations and to investigate this phenomenon from different perspectives. The benefits of innovations are related to lower costs, improved efficiency, reduced risk, and better response to the customers’ needs due to new products, services or processes. On the other hand, new business models expose various risks, such as cyber risks, operational risks, regulatory risks, and others. Therefore, we believe that the entrepreneurial behavior and global mindset of decision-makers significantly contribute to the development of innovations, which benefit by closing the prevailing gap between developed and developing countries. Thus, this Special Issue contributes to closing the research gap in the literature by providing a platform for a scientific debate on innovation, internationalization and entrepreneurship, which would facilitate improving the resilience of businesses to future disruptions
EG-ICE 2021 Workshop on Intelligent Computing in Engineering
The 28th EG-ICE International Workshop 2021 brings together international experts working at the interface between advanced computing and modern engineering challenges. Many engineering tasks require open-world resolutions to support multi-actor collaboration, coping with approximate models, providing effective engineer-computer interaction, search in multi-dimensional solution spaces, accommodating uncertainty, including specialist domain knowledge, performing sensor-data interpretation and dealing with incomplete knowledge. While results from computer science provide much initial support for resolution, adaptation is unavoidable and most importantly, feedback from addressing engineering challenges drives fundamental computer-science research. Competence and knowledge transfer goes both ways
A Syntactical Reverse Engineering Approach to Fourth Generation Programming Languages Using Formal Methods
Fourth-generation programming languages (4GLs) feature rapid development with minimum configuration required by developers. However, 4GLs can suffer from limitations such as high maintenance cost and legacy software practices.
Reverse engineering an existing large legacy 4GL system into a currently maintainable programming language can be a cheaper and more effective solution than rewriting from scratch. Tools do not exist so far, for reverse engineering proprietary XML-like and model-driven 4GLs where the full language specification is not in the public domain.
This research has developed a novel method of reverse engineering some of the syntax of such 4GLs (with Uniface as an exemplar) derived from a particular system, with a view to providing a reliable method to translate/transpile that system's code and data structures into a modern object-oriented language (such as C\#).
The method was also applied, although only to a limited extent, to some other 4GLs, Informix and Apex, to show that it was in principle more broadly applicable. A novel testing method that the syntax had been successfully translated was provided using 'abstract syntax trees'.
The novel method took manually crafted grammar rules, together with Encapsulated Document Object Model based data from the source language and then used parsers to produce syntactically valid and equivalent code in the target/output language.
This proof of concept research has provided a methodology plus sample code to automate part of the process. The methodology comprised a set of manual or semi-automated steps. Further automation is left for future research.
In principle, the author's method could be extended to allow the reverse engineering recovery of the syntax of systems developed in other proprietary 4GLs. This would reduce time and cost for the ongoing maintenance of such systems by enabling their software engineers to work using modern object-oriented languages, methodologies, tools and techniques
- …