Ethics and Governance of Artificial Intelligence: A Survey of Machine Learning Researchers (Extended Abstract)

Baobao Zhang,Markus Anderljung,Lauren Kahn,Noemi Dreksler,Michael C. Horowitz,Allan Dafoe
DOI: https://doi.org/10.24963/ijcai.2022/807
2022-01-01
Abstract:Abstraction is a powerful technique that has not been considered much for nonmonotonic reasoning formalisms including Answer Set Programming (ASP), apart from related simplification methods. We introduce a notion for abstracting from the domain of an ASP program that shrinks the domain size and over-approximates the set of answer sets, as well as an abstraction-&-refinement methodology that, starting from an initial abstraction, automatically yields an abstraction with an associated answer set matching an answer set of the original program if one exists. Experiments reveal the potential of the approach, by its ability to focus on the program parts that cause unsatisfiability and by achieving concrete abstract answer sets that merely reflect relevant details.
What problem does this paper attempt to address?