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

Iterative structural identification framework for evaluation of existing structures

Ian Smith, Romain Pasquier

Evaluation of aging infrastructure has been a world-wide concern for decades due to its economic, ecological and societal importance. Existing structures usually have large amounts of unknown reserve capacity that may be evaluated though structural identif ...

2016

Induction for SMT Solvers

Viktor Kuncak, Andrew Joseph Reynolds

Satisfiability modulo theory solvers are increasingly being used to solve quantified formulas over structures such as integers and term algebras. Quantifier instantiation combined with ground decision procedure alone is insufficient to prove many formulas ...

Springer-Verlag2015

Encoding metaknowledge for historical databases

Frédéric Kaplan, Marc-Antoine Nüssli

Historical knowledge is fundamentally uncertain. A given account of an historical event is typically based on a series of sources and on sequences of interpretation and reasoning based on these sources. Generally, the product of this historical research ta ...

2014

Aligning Value and Implementation in Service Design: A Systemic Approach

Gil Regev, Alain Wegmann, Arash Golnam, Philippe Laprade, Julien Ramboz

The promise of service design is to enable a service supplier to prosper by delivering continuous value to customers. This prosperity is of strategic value to the service supplier. There is value in a service for both the service supplier and its service c ...

2012

An Interactive Performance-Based Expert System for Daylighting Design

Marilyne Andersen

Architects are increasingly using digital tools during the design process, particularly as they approach complex problems such as designing for successful daylighting performance. However, while simulation tools may provide the designer with valuable infor ...

2011

Decision Procedures for Program Synthesis and Verification

Ruzica Piskac

Decision procedures are widely used in software development and verification. The goal of this dissertation is to increase the scope of properties that can be verified using decision procedures. To achieve this goal, we identify three improvements over the ...

EPFL2011

Reasoning with large ontologies stored in relational databases: The OntoMinD approach

Stefano Spaccapietra, Christine Parent

A major obstacle to the development of ontologies in support of the Semantic Web is the poor capability of current ontology techniques to handle very large ontologies, in particular regarding scalability of reasoners. This paper builds on the assumption th ...

2010

Knowledge-Based Representation Of 3D Media

Alejandra Garcia Rojas Martinez

In recent years, 3D media have become more and more widespread and have been made available in numerous online repositories. A systematic and formal approach for representing and organizing shape-related information is needed to share 3D media, to communic ...

2010

An ontology-based approach for Product Lifecycle Management

Dimitrios Kyritsis, Aristeidis Matsokis

Ontologies are rapidly becoming popular in various research fields. There is a tendency both in converting existing models into ontologies and in creating new models. In this work we are focusing on Closed-Loop Product Lifecycle Management (PLM) models. An ...

Elsevier2010

An Ontology-Based Approach for Closed-Loop Product Lifecycle Management

Aristeidis Matsokis

The main goal of the Product Lifecycle Management (PLM) is the management of all the data associated to a product during its lifecycle. Lifecycle data is being generated by events and actions (of various lifecycle agents which are humans and/or software sy ...

EPFL2010