Abstract
In this paper we present a semantics for our approach based on social commitments (SCs) and arguments for conversational agents. More precisely, we propose a logical model based on CTL* and on dynamic logic (DL). Called Commitment and Argument Network, our formal framework based on this approach uses three basic elements: SCs, actions that agents apply to these SCs and arguments that agents use to support their actions. The advantage of this logical model is to bring together all these elements and the relations existing between them within the same framework. Our semantics makes it possible to represent the dynamics of agent communication. It also allows us to establish the important link between SCs as a deontic concept and arguments. CTL* enables us to express the temporal characteristics of SCs and arguments. DL enables us to capture the actions that agents are committed to achieve.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.