中文
相关论文

相关论文: On Minimal Change in Evolving Multi-Context System…

200 篇论文

Managed Multi-Context Systems (mMCSs) provide a general framework for integrating knowledge represented in heterogeneous KR formalisms. Recently, evolving Multi-Context Systems (eMCSs) have been introduced as an extension of mMCSs that add…

人工智能 · 计算机科学 2015-05-22 Ricardo Gonçalves , Matthias Knorr , João Leite

Managed multi-context systems (mMCSs) allow for the integration of heterogeneous knowledge sources in a modular and very general way. They were, however, mainly designed for static scenarios and are therefore not well-suited for dynamic…

计算机科学中的逻辑 · 计算机科学 2017-12-12 Gerhard Brewka , Stefan Ellmauthaler , Ricardo Gonçalves , Matthias Knorr , João Leite , Jörg Pührer

Multi-Context Systems (MCS) model in Computational Logic distributed systems composed of heterogeneous sources, or "contexts", interacting via special rules called "bridge rules". In this paper, we consider how to enhance flexibility and…

人工智能 · 计算机科学 2021-06-15 Pedro Cabalar , Stefania Costantini , Giovanni De Gasperis , Andrea Formisano

We show in this paper how managed multi-context systems (mMCSs) can be turned into a reactive formalism suitable for continuous reasoning in dynamic environments. We extend mMCSs with (abstract) sensors and define the notion of a run of the…

人工智能 · 计算机科学 2015-05-21 Gerhard Brewka , Stefan Ellmauthaler , Jörg Pührer

In this work, we present asynchronous multi-context systems (aMCSs), which provide a framework for loosely coupling different knowledge representation formalisms that allows for online reasoning in a dynamic environment. Systems of this…

人工智能 · 计算机科学 2015-05-21 Stefan Ellmauthaler , Jörg Pührer

Multi-Context Systems are an expressive formalism to model (possibly) non-monotonic information exchange between heterogeneous knowledge bases. Such information exchange, however, often comes with unforseen side-effects leading to violation…

人工智能 · 计算机科学 2015-03-19 Antonius Weinzierl

Max-min-plus-scaling (MMPS) systems generalize max-plus, min-plus and max-min-plus models with more flexibility in modelling discrete-event dynamics. Especially, implicit MMPS models capture a wide range of real world discrete-event…

系统与控制 · 电气工程与系统科学 2026-02-04 Sreeshma Markkassery , Ton van den Boom , Bart De Schutter

The objective of the multi-condition human motion synthesis task is to incorporate diverse conditional inputs, encompassing various forms like text, music, speech, and more. This endows the task with the capability to adapt across multiple…

计算机视觉与模式识别 · 计算机科学 2024-04-18 Zeyu Ling , Bo Han , Yongkang Wong , Mohan Kangkanhalli , Weidong Geng

Adaptive dynamical systems arise in a multitude of contexts, e.g., optimization, control, communications, signal processing, and machine learning. A precise characterization of their fundamental limitations is therefore of paramount…

信息论 · 计算机科学 2010-10-13 Maxim Raginsky

Multi-context systems provide a powerful framework for modelling information-aggregation systems featuring heterogeneous reasoning components. Their execution can, however, incur non-negligible cost. Here, we focus on cost-complexity of…

人工智能 · 计算机科学 2014-05-29 Peter Novák , Cees Witteveen

Conversational recommendation system (CRS) is emerging as a user-friendly way to capture users' dynamic preferences over candidate items and attributes. Multi-shot CRS is designed to make recommendations multiple times until the user either…

信息检索 · 计算机科学 2022-07-04 Yinan Zhang , Boyang Li , Yong Liu , You Yuan , Chunyan Miao

Multi-objective discrete optimization problems, such as molecular design, pose significant challenges due to their vast and unstructured combinatorial spaces. Traditional evolutionary algorithms often get trapped in local optima, while…

Arriving at the complete probabilistic knowledge of a domain, i.e., learning how all variables interact, is indeed a demanding task. In reality, settings often arise for which an individual merely possesses partial knowledge of the domain,…

人工智能 · 计算机科学 2015-06-19 Ardavan Salehi Nobandegani , Ioannis N. Psaromiligkos

Conditional human motion synthesis (HMS) aims to generate human motion sequences that conform to specific conditions. Text and audio represent the two predominant modalities employed as HMS control conditions. While existing research has…

计算机视觉与模式识别 · 计算机科学 2024-11-19 Zeyu Ling , Bo Han , Yongkang Wongkan , Han Lin , Mohan Kankanhalli , Weidong Geng

This paper provides an overview of recent developments in quickest change detection (QCD) for high-dimensional multi-sensor systems, with an emphasis on settings involving structural constraints and limited sensing resources. Classical QCD…

统计理论 · 数学 2026-04-21 Topi Halme , Visa Koivunen

Physical fundamentals of the self-organizing theory for the system with varying constraints are considered. A variation principle, specifically the principle of dynamic harmonization as a generalization of the Gauss-Hertz principle for the…

综合物理 · 物理学 2013-07-19 S. Adamenko , V. Bolotov , V. Novikov

The concept of random dynamical system is a comparatively recent development combining ideas and methods from the well developed areas of probability theory and dynamical systems. Due to our inaccurate knowledge of the particular physical…

动力系统 · 数学 2007-05-23 Vitor Araujo

It is argued that, for strongly non-linear behaviors, a fully deterministic position can hardly be maintained in the micro-macro transitions. This is due to the lack of information on the relevant boundary conditions, and to the tendency of…

经典物理 · 物理学 2007-05-23 Mayeul Arminjon , Didier Imbault

Knowledge graph completion demands effective modeling of multifaceted semantic relationships between entities. Yet, prevailing methods, which rely on static scoring functions over learned embeddings, struggling to simultaneously capture…

计算与语言 · 计算机科学 2025-09-03 Siyuan Li , Ruitong Liu , Yan Wen , Te Sun , Andi Zhang , Yanbiao Ma , Xiaoshuai Hao

We propose, in this paper, a model of continuous use of corporate collaborative KMS. Companies do not always have the guaranty that their KMS will be continuously used. This statement can constitute an important obstacle for knowledge…

人机交互 · 计算机科学 2016-02-01 Carine Touré , Christine Michel , Jean-Charles Marty
‹ 上一页 1 2 3 10 下一页 ›