9 Computational Linguistics Implementing Natural Language Semantics with Functional Programming http://research.nii.ac.jp/~kanazawa/Courses/2011/Seminar/i ndex.html Makoto Kanazawa Associate Professor Master's or Ph.D. students 2 3–6 months This internship involves implementing in a functional programming language semantic rules for some fragments of English (and possibly other languages) that ...

The current ACL proposals show some shortcomings with respect to the definition of their semantics. Our paper aims at tackling those issues by defining an ACL semantics as a specification of the analytical effects of agent communicative acts. We analyze agent communication in terms of concepts taken from Speech Act Theory, as several researchers have already done, but move away from the mainstr...

The problem of logical omniscience arises at two levels. One is the individual level, where an agent is assumed to have reasoning powers which are unrealistic. The other, equally important one, is where two or more agents are supposed to share a state of knowledge (perhaps common knowledge) which is read off from a physical situation, but which may not hold in practice. By reducing knowledge to...

T he advent of mobile telecommunication systems has brought the term user mobility to next-generation telecommunication network research and design. User mobility implies two things: terminal mobility—the ability of the network to locate a mobile terminal—and personal mobility— the ability of users to access defined services from any terminal in the network, while maintaining their personal env...

Mobility is a characteristic that can be applied to software which allows it to move between machines. However, since this in itself is such a broad definition, it is important to note that the movement of programs is fundamentally different to the movement of executing software; the former being primarily a data transfer operation and the latter involving capturing some notion of the state of ...

In this paper we develop a semantics of our approach based on commitments and arguments for conversational agents. We propose a logical model based on CTL* (Extended Computation Tree Logic) and on dynamic logic. Called Commitment and Argument Network (CAN), our formal framework based on this hybrid approach uses three basic elements: social commitments, actions that agents apply to these commit...

Topological theory of intelligent agent networks provides crucial information about the structure of agent distribution over a network. Agent network topologies not only take agent distribution into consideration but also consider agent mobility and intelligence in a network. Current research in the agent network topology area adopts topological theory from the distributed system and computing ...

Mobility enables agents to migrate among several hosts, becoming active entities of networks. Java is today one of the most exploited languages to build mobile agent systems, thanks to its object-oriented support, portability and network facilities. Nevertheless, Java does not support strong mobility, i. e. the possibility of relocating running threads along with their execution state; challeng...

This paper presents formal specification and verification of agent migration and communication in a mobile agent network. The specification has been written in π-calculus process algebra based on link mobility and verified by Mobility Workbench analysis. The model consists of the mobile agents placed at distributed nodes and a mobility management agent responsible for message handling. The spec...

A formalism for the logical description of computational agents and multi-agent systems is given. It is explained how it such a formal description can be used to configure and reason about multi-agent systems realizing computational intelligence models. A usage within a real software system Bang 3 is demonstrated. The logical description of multi-agent systems opens Bang 3 for interaction with ...