Publications associées à Reasoning system

Monotonicity Reasoning in the Age of Neural Foundation Models

The recent advance of large language models (LLMs) demonstrates that these large-scale foundation models achieve remarkable capabilities across a wide range of language tasks and domains. The success of the statistical learning approach challenges our unde ...

Springer2023

Cognitive twin construction for system of systems operation based on semantic integration and high-level architecture

Dimitrios Kyritsis, Jinzhi Lu, Han Li

With the increasing complexity of engineered systems, digital twins (DTs) have been widely used to support integrated modeling, simulation, and decision-making of the system of systems (SoS). However, when integrating DTs of each constituent system, it is ...

IOS PRESS2022

A Data-Knowledge Hybrid Driven Method for Gas Turbine Gas Path Diagnosis

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng, Jinwei Chen

Gas path fault diagnosis of a gas turbine is a complex task involving field data analysis and knowledge-based reasoning. In this paper, a data-knowledge hybrid driven method for gas path fault diagnosis is proposed by integrating a physical model-based gas ...

MDPI2022

Conversational Multi-Hop Reasoning with Neural Commonsense Knowledge and Symbolic Logic Rules

Antoine Bosselut, Forough Arabshahi

One of the challenges faced by conversational agents is their inability to identify unstated presumptions of their users' commands, a task trivial for humans due to their common sense. In this paper, we propose a zeroshot commonsense reasoning system for c ...

ASSOC COMPUTATIONAL LINGUISTICS-ACL2021

A Bayesian Model of Individual Differences and Flexibility in Inductive Reasoning for Categorization of Examples

Pierre Dillenbourg, Jennifer Kaitlyn Olsen, Louis Pierre Faucon

Inductive reasoning is an important educational practice but can be difficult for teachers to support in the classroom due to the high level of preparation and classroom time needed to choose the teaching materials that challenge students' current views. I ...

ASSOC COMPUTING MACHINERY2020

Extending Boolean Methods for Scalable Logic Synthesis

Giovanni De Micheli, Mathias Soeken, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù, Eleonora Testa

In recent years, Boolean methods in logic synthesis have been drawing the attention of EDA researchers due to the continuous push to advance quality of results. Boolean methods require high computational cost, as they rely on complete functional properties ...

2020

Stiffness and Strength Estimation of Damaged Unreinforced Masonry Walls Using Crack Pattern

Katrin Beyer, Kiarash Mohtasham Dolatshahi

After an earthquake, the residual stiffness and strength of structural elements are typically estimated based on a qualitative visual inspection of cracks that is prone to error. In this paper a new approach is proposed to automatically estimate the update ...

TAYLOR & FRANCIS LTD2022

Oxidation Processes in Water Treatment: Are We on Track?

Urs von Gunten

Chemical oxidants have been applied in water treatment for more than a century, first as disinfectants and later to abate inorganic and organic contaminants. The challenge of oxidative abatement of organic micropollutants is the formation of transformation ...

2018

Real-Time Optimization of Uncertain Process Systems via Modifier Adaptation and Gaussian Processes

Dominique Bonvin, Colin Neil Jones, Timm Faulwasser, Harsh Ambarishkumar Shukla, Tafarel de Avila Ferreira

In the context of static real-time optimization, the use of measurements allows dealing with uncertainty in the form of plant-model mismatch and disturbances. Modifier adaptation (MA) is a measurement-based scheme that uses first-order corrections to the m ...

IEEE2018

Requirements for building an ontology for autonomous robots

Kamilo Andres Melo Becerra, Howard Li

Purpose - IEEE Ontologies for Robotics and Automation Working Group were divided into subgroups that were in charge of studying industrial robotics, service robotics and autonomous robotics. This paper aims to present the work in-progress developed by the ...

Emerald Group Publishing Ltd2016