Title: Clausal Resolution in the Framework of Social Agency Ioannis Svigkos and Alexander Bolotov Harrow School of Computer Science University of Westminster, London, HA1 3TP, UK. {bolotoa, svigkoi)@wmin .ac. u k AWR 2005, Edinburgh, July 2005
1Clausal Resolution in the Framework of
SocialAgencyIoannis Svigkos and Alexander
BolotovHarrow School of Computer
ScienceUniversity of Westminster, London, HA1
3TP, UK.bolotoa, svigkoi)_at_wmin .ac. u kAWR
2005, Edinburgh, July 2005
2There are logics for reasoning about agent
aspects ? Information knowledge (S5) and
belief (KD45) ? Dynamism Dynamic activity
(Temporal Logics) ? Motivation intentions (KD)
or desires (KD)
3We are interested in Social aspectsDevelop a
language that captures ? Dynamic aspects ?
Social aspects of agents in a multi-agent system
4Three Deontic ModalitiesO(bligation)P(ermissio
n)F(orbidden)OA It ought to be the case that
APA It is permitted AFA It is forbidden A
5OK. O(A gt B) gt (OA gt OB)OD. OA gt OB04.
OOA gt OA KD4
6 So far ? Syntax ? Semantics ? Normal
Form ? Transformation rules ? Resolution
rules
7 Future work ? Correctness ? Complexity
analysis Transformation, Resolution ?
Search strategies