Implementing Cognitive Semantics of Autoepistemic Membership Statements: The Case of Categories with Prototypes

This article presents a model of an architecture of an artificial cognitive agent that performs the function of generating autoepistemic membership statements used to communicate beliefs about the belonging of an observed external object to a category with a prototype. The meaning of statements is described within the model by means of cognitive semantics. The presented proposal builds upon a pre-existing architecture and a semantic model designed for a simpler case of categories without a prototype. The main conclusion is that it is possible to develop an interactive cognitive agent capable of learning about categories with prototypes and producing autoepistemic membership statements fulfilling requirements of Rosch's standard version of prototype semantics and satisfying pragmatic and logical rules for generating equivalents of these statements in natural languages. Detailed results include the following: an original proposal for an agent's architecture, a model of an agent's strategy of learning categories with a prototype, a scheme for determining the computational complexity of particular implementations of the learning strategy, definitions of cognitive semantics for particular cases of autoepistemic membership statements, and an analytical verification of properties of the proposed cognitive semantics. Finally, this article discusses the directions of further development and potential variants of the proposed architecture.