arrow
返回

Inductive Learning for Possibilistic Logic Programs Under Stable Models

delete2025-12-01
delete0
delete
OA
AI
H
Hongbo Hu *
Y
Yisong Wang
Y
Yi Huang
K
Kewen Wang
DOI:10.1017/S1471068425100355delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
可能逻辑程序(poss-programs)在稳定模型下是答案集编程的一个主要变体。虽然其语义(可能稳定模型)和性质已被深入研究,但归纳推理问题尚未被探讨。本文提出了一种从背景程序和示例(预期可能稳定模型的部分)中提取poss-programs的方法。为此,首先正式定义了归纳任务的概念,研究了其性质,并提出了两种计算归纳解的算法ilpsm和ilpsmmin。还提供了ilpsmmin的实现,实验结果表明,当输入为普通逻辑程序时,该原型在随机生成的数据集上优于从稳定模型中学习普通逻辑程序的主要归纳学习系统。
Keyword:
stable models
possibilistic logic programs
inductive logic programming

期刊

T
Theory and Practice of Logic Programming
IF:
1.1
论文数:
24
被引数:
684

机构

G
griffith university
学者数:
1.6K
论文数: 839
被引数: 0
C
chongqing university of arts & sciences
学者数:
1.6K
论文数: 1.5K
被引数: 1
G
Guizhou University
学者数:
3.3K
论文数: 1.1K
被引数: 1.6W
学者 查看更多机构
引用论文

引用论文

ASP-G: an ASP-based method for finding attractors in genetic regulatory networks
err2014-07-15
err0
errOAAI
errMushthofa Mushthofa; Gustavo Torres; Yves Van de Peer; Kathleen Marchal; Martine De Cock
err分享
err收藏
Applications of Answer Set Programming
err2016-09-01
err0
errOAAI
errEsra Erdem; Michael Gelfond; Nicola Leone
err分享
err收藏
Biography and future challenges
err2011-09-05
err90
errOAAI
errMuggleton, Stephen; De Raedt, Luc; Poole, David; Bratko, Ivan; Flach, Peter; Inoue, Katsumi; Srinivasan, Ashwin
err分享
err收藏
Possibilistic ASP Base Revision by Certain Input
err2018-07-01
err0
PREAI
errGarcia,Laurent; Lefèvre,Claire; Papini,Odile; Stéphan,Igor; Würbel,Eric
err分享
err收藏
Fuzzy Multicontext Systems
err2023-03-01
err1
errOAAI
errYang, Lei; Wang, Yi-Song; Hu, Hong-Bo; Feng, Ren-Yan; Liu, Jun
err分享
err收藏
Possibilistic uncertainty handling for answer set programming
err2006-09-16
err0
PREAI
errPascal Nicolas; Laurent Garcia; Igor Stéphan; Claire Lefèvre
err分享
err收藏
学者 查看更多内容