中文
相关论文

相关论文: Rule-based Knowledge Representation for Service Le…

200 篇论文

We introduce a novel large language model (LLM)-driven agent framework, which iteratively refines queries and filters contextual evidence by leveraging dynamically evolving knowledge. A defining feature of the system is its decoupling of…

人工智能 · 计算机科学 2025-04-02 Seyoung Song

Knowledge representation and reasoning (KRR) is one of the key areas in artificial intelligence (AI) field. It is intended to represent the world knowledge in formal languages (e.g., Prolog, SPARQL) and then enhance the expert systems to…

人工智能 · 计算机科学 2019-09-19 Tiantian Gao

Large language models (LLMs) are primarily designed to understand unstructured text. When directly applied to structured formats such as tabular data, they may struggle to discern inherent relationships and overlook critical patterns. While…

机器学习 · 计算机科学 2024-10-11 Natraj Raman , Sumitra Ganesh , Manuela Veloso

This study explores integrating large language models (LLMs) with situational awareness-based planning (SAP) to enhance the decision-making capabilities of AI agents in dynamic and uncertain environments. We employ a multi-agent reasoning…

人工智能 · 计算机科学 2024-06-18 Liman Wang , Hanyang Zhong

The paper advocates for LLMs to enhance the accessibility, usage and explainability of rule-based legal systems, contributing to a democratic and stakeholder-oriented view of legal technology. A methodology is developed to explore the…

人工智能 · 计算机科学 2023-11-21 Marco Billi , Alessandro Parenti , Giuseppe Pisano , Marco Sanchi

Relational knowledge bases (KBs) are commonly used to represent world knowledge in machines. However, while advantageous for their high degree of precision and interpretability, KBs are usually organized according to manually-defined…

计算与语言 · 计算机科学 2021-09-13 Tara Safavi , Danai Koutra

Most existing Large Language Model (LLM)-based Multi-Agent Systems (MAS) rely on predefined workflows, where human engineers enumerate task states in advance and specify routing rules and contextual injections accordingly. Such…

人工智能 · 计算机科学 2026-01-16 Xinxing Ren , Quagmire Zang , Caelum Forder , Suman Deb , Ahsen Tahir , Roman J. Georgio , Peter Carroll , Zekun Guo

Integrating large language models (LLMs) with rule-based reasoning offers a powerful solution for improving the flexibility and reliability of Knowledge Base Completion (KBC). Traditional rule-based KBC methods offer verifiable reasoning…

计算与语言 · 计算机科学 2025-01-03 Qiyuan He , Jianfei Yu , Wenya Wang

An internet network service provider manages its network with multiple objectives, such as high quality of service (QoS) and minimum computing resource usage. To achieve these objectives, a reinforcement learning-based (RL) algorithm has…

网络与互联网体系结构 · 计算机科学 2025-06-17 DongNyeong Heo , Daniela Noemi Rim , Heeyoul Choi

Effective e-commerce risk management requires in-depth case investigations to identify emerging fraud patterns in highly adversarial environments. However, manual investigation typically requires analyzing the associations and couplings…

信息检索 · 计算机科学 2026-02-10 Nan Lu , Yurong Hu , Jiaquan Fang , Yan Liu , Rui Dong , Yiming Wang , Rui Lin , Shaoyi Xu

Table understanding requires structured, multi-step reasoning. Large Language Models (LLMs) struggle with it due to the structural complexity of tabular data. Recently, multi-agent frameworks for SQL generation have shown promise in…

计算与语言 · 计算机科学 2025-12-02 Songyuan Sui , Hongyi Liu , Serena Liu , Li Li , Soo-Hyun Choi , Rui Chen , Xia Hu

Service Level Agreement (SLA) monitoring in service-oriented environments suffers from inherent trust conflicts when providers self-report metrics, creating incentives to underreport violations. We introduce a framework for generating…

密码学与安全 · 计算机科学 2026-02-12 Fernando Castillo , Eduardo Brito , Sebastian Werner , Pille Pullonen-Raudvere , Jonathan Heiss

In modern online services, frequent software changes introduce significant risks. To tackle this challenge, we propose SCELM (Software Change Evaluation and Lifecycle Management), an end-to-end automated framework for software change…

软件工程 · 计算机科学 2025-07-15 Yongqian Sun , Weihua Kuang , Chao Shen , Xidao Wen , Tinghua Zheng , Heng Liu , Shenglin Zhang , Bo Wu , Dan Pei

As cloud computing is increasingly transforming the information technology landscape, organizations and businesses are exhibiting strong interest in Software-as-a-Service (SaaS) offerings that can help them increase business agility and…

分布式、并行与集群计算 · 计算机科学 2013-06-11 Elarbi Badidi

As emerging networks such as Open Radio Access Networks (O-RAN) and 5G continue to grow, the demand for various services with different requirements is increasing. Network slicing has emerged as a potential solution to address the different…

分布式、并行与集群计算 · 计算机科学 2023-06-19 Fatemeh Lotfi , Fatemeh Afghah , Jonathan Ashdown

Large Language Models (LLMs) have shown remarkable performance on general Question Answering (QA), yet they often struggle in domain-specific scenarios where accurate and up-to-date information is required. Retrieval-Augmented Generation…

计算与语言 · 计算机科学 2026-02-13 Haoyue Bai , Haoyu Wang , Shengyu Chen , Zhengzhang Chen , Lu-An Tang , Wei Cheng , Haifeng Chen , Yanjie Fu

The study of cellular signalling pathways and their deregulation in disease states, such as cancer, is a large and extremely complex task. Indeed, these systems involve many parts and processes but are studied piecewise and their…

人工智能 · 计算机科学 2016-08-22 Adrien Basso-Blandin , Walter Fontana , Russ Harmer

Large language models (LLMs) as autonomous agents offer a novel avenue for tackling real-world challenges through a knowledge-driven manner. These LLM-enhanced methodologies excel in generalization and interpretability. However, the…

人工智能 · 计算机科学 2024-07-22 Kemou Jiang , Xuan Cai , Zhiyong Cui , Aoyong Li , Yilong Ren , Haiyang Yu , Hao Yang , Daocheng Fu , Licheng Wen , Pinlong Cai

SLA (Service level agreement) is defined by an organization to fulfil its client requirements, the time within which the deliverables should be turned over to the clients. Tracking of SLA can be done manually by checking the status,…

其他计算机科学 · 计算机科学 2014-07-04 Anuradha Rana , Pratima Sharma

PL for SOA proposes, formally, a software engineering methodology, development techniques and support tools for the provision of service product lines. We propose rigorous modeling techniques for the specification and verification of formal…

软件工程 · 计算机科学 2011-08-12 Maurice H. ter Beek , Stefania Gnesi , Mercy N. Njima