Reasoning about Truthfulness of Agents Using Answer Set Programming

被引：0
|
作者：
Tran Cao Son [1 ]
Pontelli, Enrico [1 ]
Gelfond, Michael [2 ]
Balduccini, Marcello [3 ]
机构：
[1] New Mexico State Univ, Comp Sci Dept, Las Cruces, NM 88003 USA
[2] Texas Tech Univ, Comp Sci Dept, Lubbock, TX 79409 USA
[3] Drexel Univ, Comp Sci Dept, Philadelphia, PA USA
来源：
FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING | 2016年
基金：
美国国家科学基金会;
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We propose a declarative framework for representing and reasoning about truthfulness of agents using answer set programming. We show how statements by agents can be evaluated against a set of observations over time equipped with our knowledge about the actions of the agents and the normal behavior of agents. We illustrate the framework using examples and discuss possible extensions that need to be considered.
引用
收藏
页码：605 / 608
页数：4
相关论文
共 50 条
  • [1] An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements
    Balduccini, Marcello
    Gelfond, Michael
    Pontelli, Enrico
    Son, Tran Cao
    [J]. KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2020, : 69 - 78
  • [2] Qualitative Reasoning about Cardinal Directions Using Answer Set Programming
    Izmirlioglu, Yusuf
    Erdem, Esra
    [J]. THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, : 1880 - 1887
  • [3] Reasoning about Security Policies of Services using Answer Set Programming
    Asuncion, Vernon
    Khan, Khaled M.
    Erradi, Abdelkarim
    Alhazbi, Saleh
    [J]. 2014 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2014), 2014, : 857 - 858
  • [4] Reasoning about actions and change in Answer Set Programming
    Dimopoulos, Y
    Kakas, AC
    Michael, L
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 61 - 73
  • [5] Reasoning about Trust and Belief in Possibilistic Answer Set Programming
    Maia, Gabriel
    Alcantara, Joao
    [J]. PROCEEDINGS OF 2016 5TH BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS 2016), 2016, : 217 - 222
  • [6] Answer set programming for representing and reasoning about virtual institutions
    Cliffe, Owen
    De Vos, Marina
    Padget, Julian
    [J]. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2007, 4371 : 60 - +
  • [7] Reasoning about delegation and revocation schemes in answer set programming
    Barker, Steve
    Boella, Guido
    Gabbay, Dov
    Genovese, Valerio
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2014, 24 (01) : 89 - 116
  • [8] On Requirements Representation and Reasoning using Answer Set Programming
    Padget, Julian
    Elakehal, Emad Eldeen
    Satoh, Ken
    Ishikawa, Fuyuki
    [J]. 2014 IEEE 1ST INTERNATIONAL WORKSHOP ON ARTIFICIAL INTELLIGENCE FOR REQUIREMENTS ENGINEERING (AIRE), 2014, : 35 - 42
  • [9] Legal Reasoning in Answer Set Programming
    Aravanis, Theofanis
    Demiris, Konstantinos
    Peppas, Pavlos
    [J]. 2018 IEEE 30TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2018, : 302 - 306
  • [10] Answer Set Programming for Stream Reasoning
    Do, Thang M.
    Loke, Seng W.
    Liu, Fei
    [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE, 2011, 6657 : 104 - 109
12345