Dynamic semantics of cognitive agent language

Author

Ogata, Norihiro

Author_Institution

Fac. of Language & Culture, Osaka Univeristy, Japan

fYear

2002

fDate

2002

Firstpage

171

Lastpage

176

Abstract

I propose a language of cognitive agents and its formal semantics by exploiting the idea of dynamic semantics. The language is an extension of first-order concurrent dynamic logic (CDL). In this semantics, the expressions of the language are interpreted as actions or state transitions of private viewpoint models (PVM), which are models of environments recognized by a cognitive agent, are based on ecological realism, and are modeled by a metaphor of cameras and camera works. The invariance of truth of motion independent of viewpoints, actions on viewpoint resettings and empathizing with other agents can also be treated with this language and semantics, which give us a formal basis of communications between cognitive agents on recognized contents and how to recognize them.

Keywords

cognitive systems; formal logic; programming language semantics; software agents; actions; cameras; cognitive agent language; dynamic semantics; ecological realism; first-order concurrent dynamic logic; formal semantics; motion; private viewpoint models; state transitions; Artificial intelligence; Biological system modeling; Cameras; Cognition; Cognitive robotics; Cognitive science; Focusing; Intelligent robots; Logic; Orbital robotics;

fLanguage

English

Publisher

ieee

Conference_Titel

Knowledge Media Networking, 2002. Proceedings. IEEE Workshop on

Print_ISBN

0-7695-1778-1

Type

conf

DOI

10.1109/KMN.2002.1115181

Filename

1115181