中文
相关论文

相关论文: Knowledge Representation Concepts for Automated SL…

200 篇论文

Knowledge representation and reasoning has a long history of examining how knowledge can be formalized, interpreted, and semantically analyzed by machines. In the area of automated vehicles, recent advances suggest the ability to formalize…

人工智能 · 计算机科学 2022-07-06 Lukas Westhofen , Christian Neurohr , Martin Butz , Maike Scholtes , Michael Schuldes

Answering complex queries over incomplete knowledge graphs (KGs) is a challenging job. Most previous works have focused on learning entity/relation embeddings and simulating first-order logic operators with various neural networks. However,…

计算与语言 · 计算机科学 2025-03-04 Tianle Xia , Liang Ding , Guojia Wan , Yibing Zhan , Bo Du , Dacheng Tao

Knowledge representation it is an essential section of a Expert Systems, Because in this section we have a framework to establish an expert system then we can modeling and use by this to design an expert system. Many method it is exist for…

分布式、并行与集群计算 · 计算机科学 2016-11-17 Mehdi Bahrami

Recent developments in support for constructing knowledge graphs have led to a rapid rise in their creation both on the Web and within organisations. Added to existing sources of data, including relational databases, APIs, etc., there is a…

人工智能 · 计算机科学 2023-03-14 Kwabena Nuamah , Alan Bundy

The increasing importance of resource-efficient production entails that manufacturing companies have to create a more dynamic production environment, with flexible manufacturing machines and processes. To fully utilize this potential of…

人工智能 · 计算机科学 2021-11-29 Anna Himmelhuber , Stephan Grimm , Thomas Runkler , Sonja Zillner

Large Language Models (LLMs) are adept at generating responses based on information within their context. While this ability is useful for interacting with structured data like code files, another popular method, Retrieval-Augmented…

计算与语言 · 计算机科学 2025-10-22 Mihir Gupte , Paolo Giusto , Ramesh S

Constructing Knowledge Graphs (KGs) from unstructured text provides a structured framework for knowledge representation and reasoning, yet current LLM-based approaches struggle with a fundamental trade-off: factual coverage often leads to…

计算与语言 · 计算机科学 2026-04-24 Sanghyeok Choi , Woosang Jeon , Kyuseok Yang , Taehyeong Kim

Knowledge representation and reasoning (KRR) systems represent knowledge as collections of facts and rules. Like databases, KRR systems contain information about domains of human activities like industrial enterprises, science, and…

计算机科学中的逻辑 · 计算机科学 2022-08-08 Yuheng Wang , Giorgian Borca-Tasciuc , Nikhil Goel , Paul Fodor , Michael Kifer

Terminological knowledge representation systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). We analyze from a theoretical point of view a TKRS whose…

人工智能 · 计算机科学 2014-11-17 M. Buchheit , F. M. Donini , A. Schaerf

Ontology is a popular method for knowledge representation in different domains, including the legal domain, and description logics (DL) is commonly used as its description language. To handle reasoning based on inconsistent DL-based legal…

人工智能 · 计算机科学 2022-09-20 Zhe Yu , Yiwei Lu

The notion of class is ubiquitous in computer science and is central in many formalisms for the representation of structured knowledge used both in knowledge representation and in databases. In this paper we study the basic issues…

人工智能 · 计算机科学 2011-05-30 D. Calvanese , M. Lenzerini , D. Nardi

Semantic data and knowledge infrastructures must reconcile two fundamentally different forms of representation: natural language, in which most knowledge is created and communicated, and formal semantic models, which enable…

计算与语言 · 计算机科学 2026-03-24 Lars Vogt

Cyber-Physical Systems in general, and Intelligent Transport Systems (ITS) in particular use heterogeneous data sources combined with problem solving expertise in order to make critical decisions that may lead to some form of actions e.g.,…

Semantic Knowledge Graphs (SKG) face challenges with scalability, flexibility, contextual understanding, and handling unstructured or ambiguous information. However, they offer formal and structured knowledge enabling highly interpretable…

人工智能 · 计算机科学 2025-01-22 Aldo Gangemi , Andrea Giovanni Nuzzolese

Despite the impressive performance of large language models (LLMs) pretrained on vast knowledge corpora, advancing their knowledge manipulation-the ability to effectively recall, reason, and transfer relevant knowledge-remains challenging.…

计算与语言 · 计算机科学 2026-01-13 Qitan Lv , Tianyu Liu , Qiaosheng Zhang , Xingcheng Xu , Chaochao Lu

In this paper, we propose a set theoretic approach for knowledge representation. While the syntax of an application domain is captured by set theoretic constructs including individuals, concepts and operators, knowledge is formalized by…

人工智能 · 计算机科学 2016-03-14 Yi Zhou

Enterprises often maintain multiple databases for storing critical business data in siloed systems, resulting in inefficiencies and challenges with data interoperability. A key to overcoming these challenges lies in integrating disparate…

数据库 · 计算机科学 2025-11-11 Milena Trajanoska , Riste Stojanov , Dimitar Trajanov

This paper studies knowledge representation in multi-agent environment. We investigate technique for computation truth-values of statements based at a new temporal, agent's-knowledge logic TL. A logical language, mathematical symbolic…

计算机科学中的逻辑 · 计算机科学 2014-06-23 Maybin Muyeba , Vladimir Rybakov

In modern industry, dynamic environments and the complexity of modular and reconfigurable resources require automated planning of process sequences. Capability-based planning approaches address this by automatically generating plans from…

人工智能 · 计算机科学 2026-05-28 Luis Miguel Vieira da Silva , Nicolas König , Felix Gehlhoff

Conversational Assistants (CA) are increasingly supporting human workers in knowledge management. Traditionally, CAs respond in specific ways to predefined user intents and conversation patterns. However, this rigidness does not handle the…

人机交互 · 计算机科学 2024-07-15 Samuel Kernan Freire , Chaofan Wang , Evangelos Niforatos