检索结果-内蒙古大学图书馆

Non-Termination in Term Rewriting and logic programming

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Payet, Étienne LIM Université de la Réunion France

In this paper, we define two particular forms of non-termination, namely loops and binary chains, in an abstract framework that encompasses term rewriting and logic programming. The definition of loops relies on the notion of compatibility of binary relations. We also present a syntactic criterion for the detection of a special case of binary chains. Moreover, we describe our implementation NTI and compare its results at the Termination Competition 2023 with those of leading analyzers. © 2023, CC BY.

关键词： logic programming

Coupling Large Language Models with logic programming for Robust and General Reasoning from Text

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Yang, Zhun Ishay, Adam Lee, Joohyung Arizona State University United States Samsung Research India

While large language models (LLMs), such as GPT-3, appear to be robust and general, their reasoning ability is not at a level to compete with the best models trained for specific natural language reasoning problems. In this study, we observe that a large language model can serve as a highly effective few-shot semantic parser. It can convert natural language sentences into a logical form that serves as input for answer set programs, a logic-based declarative knowledge representation formalism. The combination results in a robust and general system that can handle multiple question-answering tasks without requiring retraining for each new task. It only needs a few examples to guide the LLM’s adaptation to a specific task, along with reusable ASP knowledge modules that can be applied to multiple tasks. We demonstrate that this method achieves state-of-the-art performance on several NLP benchmarks, including bAbI, StepGame, CLUTRR, and gSCAN. Additionally, it successfully tackles robot planning tasks that an LLM alone fails to solve. Copyright © 2023, The Authors. All rights reserved.

关键词： logic programming

Natlog: Embedding logic programming into the Python Deep-Learning Ecosystem

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Tarau, Paul University of North Texas United States

Driven by expressiveness commonalities of Python and our Python-based embedded logic-based language Natlog, we design high-level interaction patterns between equivalent language constructs and data types on the two sides. By directly connecting generators and backtracking, nested tuples and terms, coroutines and first-class logic engines, reflection and meta-interpretation, we enable logic-based language constructs to access the full power of the Python ecosystem. We show the effectiveness of our design via Natlog apps working as orchestrators for JAX and Pytorch pipelines and as DCG-driven GPT3 and DALL.E prompt generators. © 2023, CC BY.

关键词： logic programming

Functorial semantics as a unifying perspective on logic programming 9

学校读者我要写书评

暂无评论

Functorial semantics as a unifying perspective on logic prog...

9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021

作者： Gu, Tao Zanasi, Fabio University College London United Kingdom

ISBN: (纸本)9783959772129

logic programming and its variations are widely used for formal reasoning in various areas of Computer Science, most notably Artificial Intelligence. In this paper we develop a systematic and unifying perspective for (ground) classical, probabilistic, weighted logic programs, based on categorical algebra. Our departure point is a formal distinction between the syntax and the semantics of programs, now regarded as separate categories. Then, we are able to characterise the various variants of logic program as different models for the same syntax category, i.e. structure-preserving functors in the spirit of Lawvere’s functorial semantics. As a first consequence of our approach, we showcase a series of semantic constructs for logic programming pictorially as certain string diagrams in the syntax category. Secondly, we describe the correspondence between probabilistic logic programs and Bayesian networks in terms of the associated models. Our analysis reveals that the correspondence can be phrased in purely syntactical terms, without resorting to the probabilistic domain of interpretation. © Tao Gu and Fabio Zanasi.

关键词： logic programming

Social Modeling via logic programming in City of Gangsters 17

学校读者我要写书评

暂无评论

Social Modeling via Logic Programming in City of Gangsters

17th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2021

作者： Zubek, Robert Horswill, Ian Robison, Ethan Viglione, Matthew SomaSim Northwestern University United States Naughty Dog United States

ISBN: (纸本)9781713844730

City of Gangsters is a commercial strategy game with significant social modeling mechanics: it is a tycoon management game, where the player needs to work their social connections with a network of roughly 1200 NPCs to get things done, and NPC opinions about the player modulate the player's ability to succeed. We found logic programming to be well suited to our knowledge representation problem, including the need to perform inferences over a relationship network with more than a thousand active characters, and to provide the player with meaningful feedback about the consequences of their actions in the social space. In this paper we present the technical details of this social modeling problem, the details of our logic programming implementation, and how this interacts with the game's design and its social and material economies. Copyright © 2021, Association for the Advancement of Artificial Intelligence (***). All rights reserved.

关键词： logic programming

The logic of logic programming

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Denecker, Marc Warren, David S.

Our position is that logic programming is not programming in the Horn clause sublogic of classical logic, but programming in a logic of (inductive) definitions. Thus, the similarity between prototypical Prolog programs (e.g., member, append, . . .) and how inductive definitions are expressed in mathematical text, is not coincidental but essential. We argue here that this provides a natural solution to the main lingering semantic questions of logic programming and its *** Codes 03B70 © 2023, CC BY.

关键词： logic programming

Wordgrind: a logic programming Language for Creating Quality-Based Narrative

学校读者我要写书评

暂无评论

Wordgrind: a Logic Programming Language for Creating Quality...

Joint of the Artificial Intelligence and Interactive Digital Entertainment 2021 Workshops, AIIDE-WS-2021

作者： Wanot, Jan Royal Holloway University of London Surrey Egham United Kingdom

We present a tool for writing interactive fiction based on the storylet model (Kreminski and Wardrip-Fruin 2018), which allows for crafting an interactive narrative out of many discrete "chunks", the order and presence of which is based on player choices and the structure of game logic. To facilitate creation of the latter, our tool is equipped with an integrated declarative logic programming capability, similar to a logic programming language such as Prolog. The created narrative systems can be exported to a browser-readable format, which allows for easy distribution and future preservation. Copyright © 2021 for this paper by its authors.

关键词： logic programming

Explainability through argumentation in logic programming

学校读者我要写书评

暂无评论

Explainability through argumentation in logic programming

2021 International Conference on logic programming Workshops, ICLP Workshops 2021

作者： Billi, Marco Calegari, Roberta Contissa, Giuseppe Pisano, Giuseppe Sartor, Galileo Sartor, Giovanni Alma AI Alma Mater Research Institute for Human-Centered Artificial Intelligence Alma Mater Studiorum—Università di Bologna Italy University of Torino Torino Italy

The paper discusses how explainability can be provided through logic programming and argumentation. In particular, a real case study is considered – the CrossJustice project – together with a ready-to-use technology—namely Arg2P, which seamlessly integrates logic programming and argumentation. Examples are developed and discussed showing the effectiveness of such a blended approach. © 2021 CEUR-WS. All rights reserved.

关键词： logic programming

Two applications of logic programming to Coq 26

学校读者我要写书评

暂无评论

Two applications of logic programming to Coq

26th International Conference on Types for Proofs and Programs, TYPES 2020

作者： Manighetti, Matteo Miller, Dale Momigliano, Alberto Inria Palaiseau France LIX Ecole Polytechnique Palaiseau France Dipartimento di Informatica University of Milan Italy

ISBN: (纸本)9783959771825

The logic programming paradigm provides a flexible setting for representing, manipulating, checking, and elaborating proof structures. This is particularly true when the logic programming language allows for bindings in terms and proofs. In this paper, we make use of two recent innovations at the intersection of logic programming and proof checking. One of these is the foundational proof certificate (FPC) framework which provides a flexible means of defining the semantics of a range of proof structures for classical and intuitionistic logic. A second innovation is the recently released Coq-Elpi plugin for Coq in which the Elpi implementation of λProlog can send and retrieve information to and from the Coq kernel. We illustrate the use of both this Coq plugin and FPCs with two example applications. First, we implement an FPC-driven sequent calculus for a fragment of the Calculus of Inductive Constructions and we package it into a tactic to perform property-based testing of inductive types corresponding to Horn clauses. Second, we implement in Elpi a proof checker for first-order intuitionistic logic and demonstrate how proof certificates can be supplied by external (to Coq) provers and then elaborated into the fully detailed proof terms that can be checked by the Coq kernel. © Matteo Manighetti, Dale Miller, and Alberto Momigliano;licensed under Creative Commons License CC-BY 4.0 26th International Conference on Types for Proofs and Programs (TYPES 2020).

关键词： logic programming