Knowledge-Based Programs with Defaults in a Modal Situation Calculus. Claßen, J. & Neuss, M. In Kaminka, G. A., Fox, M., Bouquet, P., Hüllermeier, E., Dignum, V., Dignum, F., & van Harmelen, F., editors, Proceedings of the Twenty-Second European Conference on Artificial Intelligence (ECAI 2016), pages 1309–1317, 2016. IOS Press. Paper doi abstract bibtex We consider the realistic case of a GOLOG agent that only possesses incomplete knowledge about the state of its environment and has to resort to sensing in order to gather additional information at runtime, and where the agent is controlled by a knowledge-based program in which test conditions explicitly refer to the agent\textquoterights knowledge (or lack thereof). In this paper, we propose a formalization of knowledge-based agents that extends earlier proposals by a form of non-monotonic reasoning that includes Reiter-style defaults. We present a reasoning mechanism that enables us to reduce projection queries about future states of the agent\textquoterights knowledge (including nesting of epistemic modalities) to classical Default Logic, and provide a corresponding Representation Theorem. We thus obtain the theoretical foundation for an implementation where reasoning subtasks can be handed to an embedded off-the-shelf reasoner for Default Logic, and that supports a (in some respects) more expressive epistemic action language than previous solutions.
@INPROCEEDINGS{ClassenNeuss2016,
author = {Jens Cla{\ss}en and Malte Neuss},
title = {Knowledge-Based Programs with Defaults in a Modal
Situation Calculus},
booktitle = {Proceedings of the Twenty-Second European Conference
on Artificial Intelligence (ECAI 2016)},
pages = {1309--1317},
year = {2016},
publisher = {IOS Press},
doi = {10.3233/978-1-61499-672-9-1309},
editor = {Gal A. Kaminka and Maria Fox and Paolo Bouquet and
Eyke H{\"u}llermeier and Virginia Dignum and Frank
Dignum and Frank van Harmelen},
abstract = {We consider the realistic case of a GOLOG agent that
only possesses incomplete knowledge about the state
of its environment and has to resort to sensing in
order to gather additional information at runtime,
and where the agent is controlled by a
knowledge-based program in which test conditions
explicitly refer to the agent{\textquoteright}s
knowledge (or lack thereof). In this paper, we
propose a formalization of knowledge-based agents
that extends earlier proposals by a form of
non-monotonic reasoning that includes Reiter-style
defaults. We present a reasoning mechanism that
enables us to reduce projection queries about future
states of the agent{\textquoteright}s knowledge
(including nesting of epistemic modalities) to
classical Default Logic, and provide a corresponding
Representation Theorem. We thus obtain the
theoretical foundation for an implementation where
reasoning subtasks can be handed to an embedded
off-the-shelf reasoner for Default Logic, and that
supports a (in some respects) more expressive
epistemic action language than previous solutions.},
url = {https://kbsg.rwth-aachen.de/~classen/pub/ClassenNeuss2016.pdf}
}
Downloads: 0
{"_id":"nX4pkqFYq7QYqNbfM","bibbaseid":"claen-neuss-knowledgebasedprogramswithdefaultsinamodalsituationcalculus-2016","author_short":["Claßen, J.","Neuss, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jens"],"propositions":[],"lastnames":["Claßen"],"suffixes":[]},{"firstnames":["Malte"],"propositions":[],"lastnames":["Neuss"],"suffixes":[]}],"title":"Knowledge-Based Programs with Defaults in a Modal Situation Calculus","booktitle":"Proceedings of the Twenty-Second European Conference on Artificial Intelligence (ECAI 2016)","pages":"1309–1317","year":"2016","publisher":"IOS Press","doi":"10.3233/978-1-61499-672-9-1309","editor":[{"firstnames":["Gal","A."],"propositions":[],"lastnames":["Kaminka"],"suffixes":[]},{"firstnames":["Maria"],"propositions":[],"lastnames":["Fox"],"suffixes":[]},{"firstnames":["Paolo"],"propositions":[],"lastnames":["Bouquet"],"suffixes":[]},{"firstnames":["Eyke"],"propositions":[],"lastnames":["Hüllermeier"],"suffixes":[]},{"firstnames":["Virginia"],"propositions":[],"lastnames":["Dignum"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Dignum"],"suffixes":[]},{"firstnames":["Frank"],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]}],"abstract":"We consider the realistic case of a GOLOG agent that only possesses incomplete knowledge about the state of its environment and has to resort to sensing in order to gather additional information at runtime, and where the agent is controlled by a knowledge-based program in which test conditions explicitly refer to the agent\\textquoterights knowledge (or lack thereof). In this paper, we propose a formalization of knowledge-based agents that extends earlier proposals by a form of non-monotonic reasoning that includes Reiter-style defaults. We present a reasoning mechanism that enables us to reduce projection queries about future states of the agent\\textquoterights knowledge (including nesting of epistemic modalities) to classical Default Logic, and provide a corresponding Representation Theorem. We thus obtain the theoretical foundation for an implementation where reasoning subtasks can be handed to an embedded off-the-shelf reasoner for Default Logic, and that supports a (in some respects) more expressive epistemic action language than previous solutions.","url":"https://kbsg.rwth-aachen.de/~classen/pub/ClassenNeuss2016.pdf","bibtex":"@INPROCEEDINGS{ClassenNeuss2016,\n author = {Jens Cla{\\ss}en and Malte Neuss},\n title = {Knowledge-Based Programs with Defaults in a Modal\n Situation Calculus},\n booktitle = {Proceedings of the Twenty-Second European Conference\n on Artificial Intelligence (ECAI 2016)},\n pages = {1309--1317},\n year = {2016},\n publisher = {IOS Press},\n doi = {10.3233/978-1-61499-672-9-1309},\n editor = {Gal A. Kaminka and Maria Fox and Paolo Bouquet and\n Eyke H{\\\"u}llermeier and Virginia Dignum and Frank\n Dignum and Frank van Harmelen},\n abstract = {We consider the realistic case of a GOLOG agent that\n only possesses incomplete knowledge about the state\n of its environment and has to resort to sensing in\n order to gather additional information at runtime,\n and where the agent is controlled by a\n knowledge-based program in which test conditions\n explicitly refer to the agent{\\textquoteright}s\n knowledge (or lack thereof). In this paper, we\n propose a formalization of knowledge-based agents\n that extends earlier proposals by a form of\n non-monotonic reasoning that includes Reiter-style\n defaults. We present a reasoning mechanism that\n enables us to reduce projection queries about future\n states of the agent{\\textquoteright}s knowledge\n (including nesting of epistemic modalities) to\n classical Default Logic, and provide a corresponding\n Representation Theorem. We thus obtain the\n theoretical foundation for an implementation where\n reasoning subtasks can be handed to an embedded\n off-the-shelf reasoner for Default Logic, and that\n supports a (in some respects) more expressive\n epistemic action language than previous solutions.},\n url = {https://kbsg.rwth-aachen.de/~classen/pub/ClassenNeuss2016.pdf}\n}\n\n\n","author_short":["Claßen, J.","Neuss, M."],"editor_short":["Kaminka, G. A.","Fox, M.","Bouquet, P.","Hüllermeier, E.","Dignum, V.","Dignum, F.","van Harmelen, F."],"key":"ClassenNeuss2016","id":"ClassenNeuss2016","bibbaseid":"claen-neuss-knowledgebasedprogramswithdefaultsinamodalsituationcalculus-2016","role":"author","urls":{"Paper":"https://kbsg.rwth-aachen.de/~classen/pub/ClassenNeuss2016.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.bib","dataSources":["dqRQPSg6Hy3ZXQg7z"],"keywords":[],"search_terms":["knowledge","based","programs","defaults","modal","situation","calculus","claßen","neuss"],"title":"Knowledge-Based Programs with Defaults in a Modal Situation Calculus","year":2016}