Reasoning about agents in the KARO framework. Hustadt, U., Dixon, C., Schmidt, R. A., Fisher, M., Meyer, J., & van der Hoek, W. In Bettini, C. & Montanari, A., editors, Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01) [Cividale del Friuli, Italy, 14-16 June 2001], pages 206-213, 2001. IEEE Press. Paper abstract bibtex This paper proposes two methods for realising automated reasoning about agent-based systems. The framework for modelling intelligent agent behaviour that we focus on is a core of KARO logic, an expressive combination of various modal logics including propositional dynamic logic, a modal logic of knowledge, a modal logic of wishes, and additional non-standard operators. The first method we present is based on a translation of core KARO logic to first-order logic combined with first-order resolution. The second method uses an embedding of core KARO logic into a combination of branching-time temporal logic CTL and multi-modal S5 plus a clausal resolution calculus for these combined logics. We discuss the advantages and shortcomings of each approach and suggest ways to extend each variant to cover more of the KARO framework.
@inproceedings{ Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@TIME2001,
author = {Hustadt, Ullrich and Dixon, Clare and Schmidt, Renate A. and
Fisher, Michael and Meyer, John-Jules and van der Hoek, Wiebe},
title = {Reasoning about agents in the {KARO} framework},
booktitle = {Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning
(TIME-01) [Cividale del Friuli, Italy, 14-16 June 2001]},
year = {2001},
editor = {Bettini, Claudio and Montanari, Angelo},
pages = {206-213},
publisher = {IEEE Press},
paddress = {Los Alamitos, CA, USA},
pyear = {2001},
caddress = {Cividale del Friuli, Italy},
cyear = {2001},
cmonth = {June~14--16},
url = {Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@TIME2001.pdf},
url = {http://doi.ieeecomputersociety.org/10.1109/TIME.2001.930719},
abstract = {This paper proposes two methods for realising
automated reasoning about agent-based systems. The framework for
modelling intelligent agent behaviour that we focus on is a core of
KARO logic, an expressive combination of various modal logics
including propositional dynamic logic, a modal logic of knowledge, a
modal logic of wishes, and additional non-standard operators. The
first method we present is based on a translation of core KARO logic
to first-order logic combined with first-order resolution. The second
method uses an embedding of core KARO logic into a combination of
branching-time temporal logic CTL and multi-modal S5
plus a clausal resolution calculus for these combined logics. We
discuss the advantages and shortcomings of each approach and suggest
ways to extend each variant to cover more of the KARO framework.}
}
Downloads: 0
{"_id":{"_str":"5353138a0b79f58e7a0003f3"},"__v":4,"authorIDs":["545916c7b43425b77200033b"],"author_short":["Hustadt, U.","Dixon, C.","Schmidt, R.<nbsp>A.","Fisher, M.","Meyer, J.","van<nbsp>der Hoek, W."],"bibbaseid":"hustadt-dixon-schmidt-fisher-meyer-vannbspderhoek-reasoningaboutagentsinthekaroframework-2001","bibdata":{"abstract":"This paper proposes two methods for realising automated reasoning about agent-based systems. The framework for modelling intelligent agent behaviour that we focus on is a core of KARO logic, an expressive combination of various modal logics including propositional dynamic logic, a modal logic of knowledge, a modal logic of wishes, and additional non-standard operators. The first method we present is based on a translation of core KARO logic to first-order logic combined with first-order resolution. The second method uses an embedding of core KARO logic into a combination of branching-time temporal logic CTL and multi-modal S5 plus a clausal resolution calculus for these combined logics. We discuss the advantages and shortcomings of each approach and suggest ways to extend each variant to cover more of the KARO framework.","author":["Hustadt, Ullrich","Dixon, Clare","Schmidt, Renate A.","Fisher, Michael","Meyer, John-Jules","van der Hoek, Wiebe"],"author_short":["Hustadt, U.","Dixon, C.","Schmidt, R.<nbsp>A.","Fisher, M.","Meyer, J.","van<nbsp>der Hoek, W."],"bibtex":"@inproceedings{ Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@TIME2001,\n author = {Hustadt, Ullrich and Dixon, Clare and Schmidt, Renate A. and \n Fisher, Michael and Meyer, John-Jules and van der Hoek, Wiebe},\n title = {Reasoning about agents in the {KARO} framework},\n booktitle = {Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning \n (TIME-01) [Cividale del Friuli, Italy, 14-16 June 2001]},\n year = {2001},\n editor = {Bettini, Claudio and Montanari, Angelo},\n pages = {206-213},\n publisher = {IEEE Press},\n paddress = {Los Alamitos, CA, USA},\n pyear = {2001},\n caddress = {Cividale del Friuli, Italy},\n cyear = {2001},\n cmonth = {June~14--16},\n url = {Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@TIME2001.pdf},\n url = {http://doi.ieeecomputersociety.org/10.1109/TIME.2001.930719},\n abstract = {This paper proposes two methods for realising\n automated reasoning about agent-based systems. The framework for\n modelling intelligent agent behaviour that we focus on is a core of\n KARO logic, an expressive combination of various modal logics\n including propositional dynamic logic, a modal logic of knowledge, a\n modal logic of wishes, and additional non-standard operators. The\n first method we present is based on a translation of core KARO logic\n to first-order logic combined with first-order resolution. The second\n method uses an embedding of core KARO logic into a combination of\n branching-time temporal logic CTL and multi-modal S5\n plus a clausal resolution calculus for these combined logics. We\n discuss the advantages and shortcomings of each approach and suggest\n ways to extend each variant to cover more of the KARO framework.}\n}","bibtype":"inproceedings","booktitle":"Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01) [Cividale del Friuli, Italy, 14-16 June 2001]","caddress":"Cividale del Friuli, Italy","cmonth":"June~14--16","cyear":"2001","editor":["Bettini, Claudio","Montanari, Angelo"],"editor_short":["Bettini, C.","Montanari, A."],"id":"Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@TIME2001","key":"Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@TIME2001","paddress":"Los Alamitos, CA, USA","pages":"206-213","publisher":"IEEE Press","pyear":"2001","title":"Reasoning about agents in the KARO framework","type":"inproceedings","url":"http://doi.ieeecomputersociety.org/10.1109/TIME.2001.930719","year":"2001","bibbaseid":"hustadt-dixon-schmidt-fisher-meyer-vannbspderhoek-reasoningaboutagentsinthekaroframework-2001","role":"author","urls":{"Paper":"http://doi.ieeecomputersociety.org/10.1109/TIME.2001.930719"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.csc.liv.ac.uk/~ullrich/publications/uh-2013-08-06.bib","downloads":0,"keywords":[],"search_terms":["reasoning","agents","karo","framework","hustadt","dixon","schmidt","fisher","meyer","van<nbsp>der hoek"],"title":"Reasoning about agents in the KARO framework","year":2001,"dataSources":["p6py5bqMdg7vzjQS3"]}