About Epistemic Negation and World Views in Epistemic Logic Programs

被引：6
|
作者：
Costantini, Stefania [1 ]
机构：
[1] Univ Aquila, DISIM, Laquila, Italy
来源：
THEORY AND PRACTICE OF LOGIC PROGRAMMING | 2019年 / 19卷 / 5-6期
关键词：
Answer Set Programming; Epistemic Logic Programs; Epistemic Negation; ANSWER; SEMANTICS; RESOURCE;
D O I：
10.1017/S147106841900019X
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we consider Epistemic Logic Programs, which extend Answer Set Programming (ASP) with "epistemic operators" and "epistemic negation", and a recent approach to the semantics of such programs in terms of World Views. We propose some observations on the existence and number of world views. We show how to exploit an extended ASP semantics in order to: (i) provide a characterization of world views, different from existing ones; (ii) query world views and query the whole set of world views.
引用
收藏
页码：790 / 807
页数：18
相关论文
共 50 条
  • [1] On Computing World Views of Epistemic Logic Programs
    Tran Cao Son
    Tiep Le
    Kahl, Patrick
    Leclerc, Anthony
    [J]. PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 1269 - 1275
  • [2] Epistemic Logic Programs: A Different World View
    Morak, Michael
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 52 - 64
  • [3] A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
    van Ditmarsch, Hans
    Goubault, Éric
    Lazić, Marijana
    Ledent, Jérémy
    Rajsbaum, Sergio
    [J]. Journal of Logical and Algebraic Methods in Programming, 2021, 121
  • [4] A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
    van Ditmarsch, Hans
    Goubault, Eric
    Lazic, Marijana
    Ledent, Jeremy
    Rajsbaum, Sergio
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2021, 121
  • [5] Epistemic Reasoning in Logic Programs
    Zhang, Yan
    [J]. 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 647 - 652
  • [6] Splitting Epistemic Logic Programs
    Cabalar, Pedro
    Fandinno, Jorge
    Farinas del Cerro, Luis
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2019, 2019, 11481 : 120 - 133
  • [7] Splitting Epistemic Logic Programs
    Cabalar, Pedro
    Fandinno, Jorge
    Del Cerro, Luis Farinas
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2021, 21 (03) : 296 - 316
  • [8] Nested epistemic logic programs
    Wang, KW
    Zhang, Y
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2005, 3662 : 279 - 290
  • [9] Updating Epistemic Logic Programs*
    Zhang, Yan
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (02) : 405 - 423
  • [10] A Dynamic Epistemic Logic Analysis of the Equality Negation Task
    Goubault, Eric
    Lazic, Marijana
    Ledent, Jeremy
    Rajsbaum, Sergio
    [J]. DYNAMIC LOGIC: NEW TRENDS AND APPLICATIONS, DALI 2019, 2020, 12005 : 53 - 70
12345