TY - JOUR
AB - In natural language we often use graded concepts, reflectingdifferent intensity degrees of certain features. Whenever such concepts appearin a given real-life context, they need to be appropriately expressed in itsmodels. In this paper, we provide a framework which allows for extending theBGI model of agency by grading beliefs, goals and intentions. We concentrate onTEAMLOG [6, 7, 8, 9, 12] and provide a complexity-optimal decision method forits graded version TEAMLOG^K by translating it into CPDL_{reg} (propositionaldynamic logic with converse and "inclusion axioms"characterized by regular languages). We also develop a tableau calculus whichleads to the first EXPTIME (optimal) tableau decision procedure for CPDL_{reg}. AsCPDL_{reg} is suitable for expressing complex properties of graded operators, theprocedure can also be used as a decision tool for other multiagent formalisms. 
TI - A Framework for Graded Beliefs, Goals and Intentions
JF - Fundamenta Informaticae
DO - 10.3233/FI-2010-263
DA - 2010-01-01
UR - https://www.deepdyve.com/lp/ios-press/a-framework-for-graded-beliefs-goals-and-intentions-J0MEIgO8sY
SP - 53
EP - 76
VL - 100
IS - 1-4
DP - DeepDyve
ER -