Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  give a new logic of intention where (contrarily to Cohen&Levesque's approach) intention is a primitive modal operator having a non-normal possible worlds semantics.  then highlight the relation beten intention and belief by a set of axioms. In our logic  formulate principles of cooperation allowing an agent to infer new intentions from his beliefs about other agents' intentions. Finally, building on results of linguistic pragmatics,  show that our cooperation principles allow to infer the effects of a yes-no question "Does  A  hold?" from that of an associated assertive "I have the intention to know whether  A ". In the same manner requests can be inferred, which form another important subclass of directives. It is the aim of this work to obtain a minimal logic that can be mechanized in a simple way.
['Andreas Herzig', 'Dominique Longin']
I am writing a research paper on a idea A logic of intention with cooperation principles and with assertive speech acts as communication primitives
[{"from": "human", "value": "I am writing a research paper on a idea A logic of intention with cooperation principles and with assertive speech acts as communication primitives"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  give a new logic of intention where (contrarily to Cohen&Levesque's approach) intention is a primitive modal operator having a non-normal possible worlds semantics.  then highlight the relation beten intention and belief by a set of axioms. In our logic  formulate principles of cooperation allowing an agent to infer new intentions from his beliefs about other agents' intentions. Finally, building on results of linguistic pragmatics,  show that our cooperation principles allow to infer the effects of a yes-no question \"Does  A  hold?\" from that of an associated assertive \"I have the intention to know whether  A \". In the same manner requests can be inferred, which form another important subclass of directives. It is the aim of this work to obtain a minimal logic that can be mechanized in a simple way."}]