<p>The ability of an agent to comprehend a sentence is tightly connected to the agent’s prior experiences and background knowledge. The article suggests to interpret comprehension as a modality and proposes a complete bimodal logical system that describes an interplay between comprehension and knowledge modalities. The main technical result is a completeness theorem for the proposed system</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Comprehension and Knowledge

  • Pavel Naumov,
  • Kevin Ros

摘要

The ability of an agent to comprehend a sentence is tightly connected to the agent’s prior experiences and background knowledge. The article suggests to interpret comprehension as a modality and proposes a complete bimodal logical system that describes an interplay between comprehension and knowledge modalities. The main technical result is a completeness theorem for the proposed system