A Formal Approach for Cautious Reasoning in Answer Set Programming

被引：0
|
作者：
Amendola, Giovanni [1 ]
Dodaro, Carmine [1 ]
Maratea, Marco [2 ]
机构：
[1] Univ Calabria, DeMaCS, Arcavacata Di Rende, Italy
[2] Univ Genoa, DIBRIS, Genoa, Italy
来源：
PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE | 2020年
关键词：
CONSEQUENCES; ASP;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The issue of describing in a formal way solving algorithms in various fields such as Propositional Satisfiability (SAT), Quantified SAT, Satisfiability Modulo Theories, Answer Set Programming (ASP), and Constraint ASP, has been relatively recently solved employing abstract solvers. In this paper we deal with cautious reasoning tasks in ASP, and design, implement and test novel abstract solutions, borrowed from backbone computation in SAT. By employing abstract solvers, we also formally show that the algorithms for solving cautious reasoning tasks in ASP are strongly related to those for computing backbones of Boolean formulas. Some of the new solutions have been implemented in the ASP solver WASP, and tested.
引用
收藏
页码：4716 / 4720
页数：5
相关论文
共 50 条
  • [31] Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming
    Son, Tran Cao
    Sakama, Chiaki
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES VII, 2010, 5948 : 208 - +
  • [32] Reasoning about Security Policies of Services using Answer Set Programming
    Asuncion, Vernon
    Khan, Khaled M.
    Erradi, Abdelkarim
    Alhazbi, Saleh
    2014 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2014), 2014, : 857 - 858
  • [33] Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions
    Baral, Chitta
    LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 69 - 70
  • [34] Answer Set Programming for Modeling and Reasoning on Modular and Reconfigurable Transportation Systems
    Terkaj, Walter
    Urgo, Marcello
    Andolfatto, Daniela
    PROCEEDINGS OF THE 2017 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2017, : 587 - 596
  • [35] A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
    Baryannis, George
    Tachmazidis, Ilias
    Batsakis, Sotiris
    Antoniou, Grigoris
    Alviano, Mario
    Sellis, Timos
    Tsai, Pei-Wei
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018, 18 (3-4) : 355 - 371
  • [36] A Hybrid Reasoning Approach for Activity Recognition Based on Answer Set Programming and Dempster-Shafer Theory
    Al Machot, Fadi
    Mayr, Heinrich C.
    Ranasinghe, Suneth
    RECENT ADVANCES IN NONLINEAR DYNAMICS AND SYNCHRONIZATION: WITH SELECTED APPLICATIONS IN ELECTRICAL ENGINEERING, NEUROCOMPUTING, AND TRANSPORTATION, 2018, 109 : 303 - 318
  • [37] Answer Set Programming
    Marek, Victor W.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (03) : 432 - 434
  • [38] Foundations and Extensions of Answer Set Programming: The Logical Approach
    Pearce, David
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2011, 6645 : 10 - 11
  • [39] Answer Set Programming
    Schaub, Torsten
    Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012), 2012, : 2 - 2
  • [40] Answer Set Programming
    Janhunen, Tomi
    KUNSTLICHE INTELLIGENZ, 2018, 32 (2-3): : 125 - 131
12345