中文
相关论文

相关论文: Using Answer Set Programming in an Inference-Based…

200 篇论文

Over the years, integer linear programs have been employed to model inference in many natural language processing problems. This survey is meant to guide the reader through the process of framing a new inference problem as an instance of an…

人工智能 · 计算机科学 2023-07-04 Vivek Srikumar , Dan Roth

When we want to compute the probability of a query from a Probabilistic Answer Set Program, some parts of a program may not influence the probability of a query, but they impact on the size of the grounding. Identifying and removing them is…

人工智能 · 计算机科学 2025-01-22 Damiano Azzolini , Fabrizio Riguzzi

Semantic parsing has emerged as a significant and powerful paradigm for natural language interface and question answering systems. Traditional methods of building a semantic parser rely on high-quality lexicons, hand-crafted grammars and…

计算与语言 · 计算机科学 2017-05-10 Liang Li , Pengyu Li , Yifan Liu , Tao Wan , Zengchang Qin

With the growth of natural language processing techniques and demand for improved software engineering efficiency, there is an emerging interest in translating intention from human languages to programming languages. In this survey paper,…

软件工程 · 计算机科学 2021-05-20 Celine Lee , Justin Gottschlich , Dan Roth

While in recent years machine learning (ML) based approaches have been the popular approach in developing end-to-end question answering systems, such systems often struggle when additional knowledge is needed to correctly answer the…

人工智能 · 计算机科学 2019-05-02 Arindam Mitra , Peter Clark , Oyvind Tafjord , Chitta Baral

Semantic parsing is the process of mapping a natural language sentence into a formal representation of its meaning. In this work we use the neural network approach to transform natural language sentence into a query to an ontology database…

计算与语言 · 计算机科学 2018-03-13 Fabiano Ferreira Luz , Marcelo Finger

An approach based on answer set programming (ASP) is proposed in this paper for representing knowledge generated from natural language texts. Knowledge in a text is modeled using a Neo Davidsonian-like formalism, which is then represented…

计算与语言 · 计算机科学 2021-12-22 Dhruva Pendharkar , Kinjal Basu , Farhad Shakerin , Gopal Gupta

In some contexts, well-formed natural language cannot be expected as input to information or communication systems. In these contexts, the use of grammar-independent input (sequences of uninflected semantic units like e.g.…

计算与语言 · 计算机科学 2007-05-23 Pascal Vaillant

We introduce a neural semantic parser that converts natural language utterances to intermediate representations in the form of predicate-argument structures, which are induced with a transition system and subsequently mapped to target…

计算与语言 · 计算机科学 2017-06-15 Jianpeng Cheng , Siva Reddy , Vijay Saraswat , Mirella Lapata

How can we perform computations over natural language representations to solve tasks that require symbolic and numeric reasoning? We propose natural language embedded programs (NLEP) as a unifying framework for addressing math/symbolic…

计算与语言 · 计算机科学 2024-04-01 Tianhua Zhang , Jiaxin Ge , Hongyin Luo , Yung-Sung Chuang , Mingye Gao , Yuan Gong , Xixin Wu , Yoon Kim , Helen Meng , James Glass

In this paper we introduce a Conditional Answer Set Programming framework (Conditional ASP) for the definition of conditional extensions of Answer Set Programming (ASP). The approach builds on a conditional logic with typicality, and on the…

人工智能 · 计算机科学 2026-01-08 Mario Alviano , Laura Giordano , Daniele Theseider Dupré

Decision tree models, including random forests and gradient-boosted decision trees, are widely used in machine learning due to their high predictive performance. However, their complex structures often make them difficult to interpret,…

人工智能 · 计算机科学 2026-01-08 Akihiro Takemura , Masayuki Otani , Katsumi Inoue

When evaluating an answer choice for Reading Comprehension task, other answer choices available for the question and the answers of related questions about the same paragraph often provide valuable information. In this paper, we propose a…

计算与语言 · 计算机科学 2021-01-01 Rajkumar Pujari , Dan Goldwasser

Recently, ABA Learning has been proposed as a form of symbolic machine learning for drawing Assumption-Based Argumentation frameworks from background knowledge and positive and negative examples. We propose a novel method for implementing…

人工智能 · 计算机科学 2023-08-31 Emanuele De Angelis , Maurizio Proietti , Francesca Toni

We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanations from causal information. We show the naturalness and…

人工智能 · 计算机科学 2020-07-17 Yves Moinard

Reasoning and inference are central to human and artificial intelligence. Modeling inference in human language is very challenging. With the availability of large annotated data (Bowman et al., 2015), it has recently become feasible to…

计算与语言 · 计算机科学 2020-03-04 Qian Chen , Xiaodan Zhu , Zhenhua Ling , Si Wei , Hui Jiang , Diana Inkpen

We briefly describe -- mainly through very simple examples -- different kinds of answer-set programs with annotations that have been proposed for specifying: database repairs and consistent query answering; secrecy view and query evaluation…

计算机科学中的逻辑 · 计算机科学 2022-09-27 Leopoldo Bertossi

Answer Set Programming (ASP) is a powerful declarative programming paradigm commonly used for solving challenging search and optimization problems. The modeling languages of ASP are supported by sophisticated solving algorithms (solvers)…

计算机科学中的逻辑 · 计算机科学 2022-08-08 Zach Hansen

A significant amount of information in today's world is stored in structured and semi-structured knowledge bases. Efficient and simple methods to query them are essential and must not be restricted to only those who have expertise in formal…

计算与语言 · 计算机科学 2019-05-31 Aishwarya Kamath , Rajarshi Das

Question answering is one of the most important and difficult applications at the border of information retrieval and natural language processing, especially when we talk about complex science questions which require some form of inference…

计算与语言 · 计算机科学 2019-05-08 George-Sebastian Pirtoaca , Traian Rebedea , Stefan Ruseti