{"type":"ScholarlyArticle","title":"Verification of Knowledge-Based Programs over Description Logic Actions","authors":[{"name":"Benjamin Zarrieß","slug":"benjamin-zarrie","given":"Benjamin","family":"Zarrieß","affiliation":""},{"name":"Jens Claßen","slug":"jens-cla-en","given":"Jens","family":"Claßen","affiliation":""}],"abstract":"A knowledge-based program defines the behavior of an agent by combining primitive actions, programming constructs and test conditions that make explicit reference to the agent's knowledge. In this paper we consider a setting where an agent is equipped with a Description Logic (DL) knowledge base providing general domain knowledge and an incomplete description of the initial situation. We introduce a corresponding new DL-based action language that allows for representing both physical and sensing actions, and that we then use to build knowledge-based programs with test conditions expressed in the epistemic DL. After proving undecidability for the general case, we then discuss a restricted fragment where verification becomes decidable. The provided proof is constructive and comes with an upper bound on the procedure's complexity.","doi":null,"url":"https://ijcai.org/proceedings/2015/462","pdf":"https://ijcai.org/proceedings/2015/0462.pdf","markdown":"https://ijcai.org/proceedings/2015/462.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/462","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":462,"pages":{"first":3278,"last":3283},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}