"TIL as the Logic of Communication in a Multi-Agent System" . "1870-4069" . "400046" . . . "1"^^ . "The method of encoding communication of agents in a multi-agent system (MAS) is described. The autonomous agents communicate with each other by exchanging messages formulated in a near-to-natural language. Transparent Intensional Logic (TIL) is an expressive system primarily designed for the logical analysis of natural language; thus we make use of TIL as a tool for encoding the semantic content of messages. The hyper-intensional features of TIL analysis are described, in particular with respect to agents? attitudes and anaphoric references. We demonstrate the power of TIL to determine the antecedent of an anaphoric pronoun. By an example of a simple dialogue we illustrate the way TIL can function as a dynamic logic of discourse where anaphoric pronouns refer to entities of any type, even constructions, i.e. the structured meanings of other expressions." . . . "The method of encoding communication of agents in a multi-agent system (MAS) is described. The autonomous agents communicate with each other by exchanging messages formulated in a near-to-natural language. Transparent Intensional Logic (TIL) is an expressive system primarily designed for the logical analysis of natural language; thus we make use of TIL as a tool for encoding the semantic content of messages. The hyper-intensional features of TIL analysis are described, in particular with respect to agents? attitudes and anaphoric references. We demonstrate the power of TIL to determine the antecedent of an anaphoric pronoun. By an example of a simple dialogue we illustrate the way TIL can function as a dynamic logic of discourse where anaphoric pronouns refer to entities of any type, even constructions, i.e. the structured meanings of other expressions."@en . "14"^^ . "Du\u017E\u00ED, Marie" . "1"^^ . . "P(GA401/07/0451)" . . . "1" . . . "TIL as the Logic of Communication in a Multi-Agent System" . "MX - Spojen\u00E9 st\u00E1ty mexick\u00E9" . "logical analysis, anaphora, multi-agent system, TIL"@en . "27240" . "33" . "TIL as the Logic of Communication in a Multi-Agent System"@en . . "RIV/61989100:27240/08:00018816" . . "TIL as the Logic of Communication in a Multi-Agent System"@en . . "Research in Computing Science" . . . . "RIV/61989100:27240/08:00018816!RIV11-GA0-27240___" . "[DBF41B612896]" . .