Recent studies in multi-agent systems are paying increasingly more attention to the paradigm of designing intelligent agents with human inspired concepts. One of the main cognitive concepts driving the core of many recent approaches in multi agent systems is shared mental models. In this paper, we propose an architecture for sharing mental models based on a new concept called semantic movement....

In this paper, we introduce a software, Geometry Expert, developed by us for automated geometry reasoning and dynamic geometry drawing. As a dynamic geometry software, GEX can be used to build dynamic visual models to assist teaching and learning of various mathematical concepts in an intuitive way. As an automated reasoning software, we can build dynamic logic models which can do reasoning the...

A cognitive model is a set of production rules or skills encoded in intelligent tutors to model how students solve problems. It is usually generated by brainstorming and iterative refinement between subject experts, cognitive scientists and programmers. In this paper we propose a semi-automated method for improving a cognitive model called Learning Factors Analysis that combines a statistical m...

This paper describes ICOT’s research and development activities on knowledge base systems. Our approach is to investigate knowledge base systems from the viewpoint of logic programming. We have defined several models on the bases of which knowledge base systems will be developed step by step. Two types of knowledge base management software system models are discussed. One is a model combining a...

In the artificial intelligence field, knowledge representation and reasoning are important areas for intelligent systems, especially knowledge base systems and expert systems. Knowledge representation Methods has an important role in designing the systems. There have been many models for knowledge such as semantic networks, conceptual graphs, and neural networks. These models are useful tools t...

We model a mobile agent system with a formalism called agent-oriented G-net. In this system, intelligent mobile agents (IMA) and intelligent facilitator agent (IFA) on an agent virtual machine (AVM) are viewed as communicating agents. Based on the communication protocols they follow, we design the intelligent mobile agent and intelligent facilitator agent as software entities that can communica...

Research on vehicle longitudinal control with a stop and go system is presently one of the most important topics in the field of intelligent transportation systems. The purpose of stop and go systems is to assist drivers for repeatedly accelerate and stop their vehicles in traffic jams. This system can improve the driving comfort, safety and reduce the danger of collisions and fuel consumption....