Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12

2024-07-09 · Yuliya Lierler

This note presents a historical survey of informal semantics that are associated with logic programming under answer set semantics. We review these in uniform terms and align them with two paradigms: Answer Set Programming and ASP-Prolog -- two prominent Knowledge Representation and Reasoning Paradigms in Artificial Intelligence. Under consideration in Theory and Practice of Logic Programming (TPLP).

📄 PDF Abstract BibTeX arXiv:2407.06814

Code (0)

등록된 구현이 없습니다.

Tasks

Survey

Methods 이 논문이 사용한 방법론

SET Dynamic Sparse Training method where weight mask is updated randomly periodically

ALIGN In the ALIGN method, visual and language representations are jointly trained from noisy image alt-text data. The image and text encoders are learned via contrastive loss…

The informal semantics of Answer Set Programming: A Tarskian perspective

2019-01-26 · Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens

In Knowledge Representation, it is crucial that knowledge engineers have a good understanding of the formal expressions that they write. What formal expressions state intuitively about the domain of discourse is studied …

Informal Persian Universal Dependency Treebank

2022-01-10 · LREC 2022 6 · Roya Kabiri, Simin Karimi, Mihai Surdeanu

This paper presents the phonological, morphological, and syntactic distinctions between formal and informal Persian, showing that these two variants have fundamental differences that cannot be attributed solely to pronun…

Towards Ideal Semantics for Analyzing Stream Reasoning

2015-05-20 · Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink

The rise of smart applications has drawn interest to logical reasoning over data streams. Recently, different query languages and stream processing/reasoning engines were proposed in different communities. However, due t…

Logical Reasoning

Meta Semantics: Towards better natural language understanding and reasoning

2023-04-20 · Xiaolin Hu

Natural language understanding is one of the most challenging topics in artificial intelligence. Deep neural network methods, particularly large language module (LLM) methods such as ChatGPT and GPT-3, have powerful flex…

Natural Language Understanding

Negation in the Head of CP-logic Rules

2013-12-20 · Joost Vennekens

CP-logic is a probabilistic extension of the logic FO(ID). Unlike ASP, both of these logics adhere to a Tarskian informal semantics, in which interpretations represent objective states-of-affairs. In other words, these l…

Negation