Fumio Mizoguchi

Software Security - Theories and Systems

We present results from a recent project analyzing Kerberos 5. The main expected properties of this protocol, namely confidentiality and authentication, hold throughout the protocol. Our analysis also highlights a number of behaviors that do not follow the script of the protocol, although they do not appear harmful for the principals involved. We obtained these results by formalizing Kerberos 5 at two levels of detail in the multiset rewriting formalism MSR and by adapting an inductive proof methodology pioneered by Schneider. Our more detailed specification takes into account encryption types, flags and options, error messages, and a few timestamps.

Smart office robot collaboration based on multi-agent programming

Abstract As a new Artificial Intelligence (AI) application to our everyday life, we designed and implemented a smart office environment in which various information appliances work collaboratively to support our office activities. In this environment, many cameras and infrared sensors allow handling robots and mobile robots to perform complex tasks such as printing and delivering document. The delivery task is a typical example of an important class of tasks supporting humans in the smart office. In this paper, such robots are modeled as robotic agents, and collaboration between the agents is realized using multi-agent programming. We have developed a multi-agent robot language (MRL) as an evolution of concurrent logic programming. MRL provides synchronous and asynchronous control of agents based on guarded Horn clauses. It also supports describing an advanced negotiation protocol using broadcast and incomplete messages, and making decisions using a set of logical rules. These features are unified within an MRL framework, yielding an intelligent integration of the robotic agents. We view the smart office environment as a human assistant system through agent collaboration, and this view is novel and extendable as AI for everyday functions.

Concurrent Execution of Optimal Hypothesis Search for Inverse Entailment

Inductive Logic Programming (ILP) allows first-order learning and provides greater expressiveness than propositional learning. However, due to its tradeoff, the learning speed may not be reasonable for datamining settings. To overcome this problem, this paper describes a distributed implementation of an ILP engine, allowing speeding up optimal hypothesis search in inverse entailment according to the number of processors. In this implementation, load balancing is achieved by contract net communication between the processors, resulting in a dynamic allocation of the hypothesis search task. This paper describes our concurrent search algorithm, distributed implementation and experimental results for speeding up inverse entailment. An initial experiment was conducted to demonstrate the well-balanced task allocation.

Constrained relative least general generalization for Inducing Constraint Logic Programs

Relative least general generalization proposed by Plotkin, is widely used for generalizing first-order clauses in Inductive Logic Programming, and this paper describes an extension of Plotkin’s work to allow various computation domains: Herbrand Universe, sets, numerical data, ect. The ϕ-subsumption in Plotkin’s framework is replaced by a more general constraint-based subsumption. Since this replacement is analogous to that of unification by constraint solving in Constraint Logic Programming, the resultant method can be viewed as a Constraint Logic Programming version of relative least general generalization. Constraint-based subsumption, however, leads to a search on an intractably large hypothesis space. We therefore providemeta-level constraints that are used as semantic bias on the hypothesis language. The constraintsfunctional dependency andmonotonicity are introduced by analyzing clausal relationships. Finally, the advantage of the proposed method is demonstrated through a simple layout problem, where geometric constraints used in space planning tasks are produced automatically.

Evaluation Model of Cognitive Distraction State Based on Eye Tracking Data Using Neural Networks

Eye tracking reveals a persons state of mind. Thus, representing personal cognitive states using eye tracking leads to objective evaluations of these states, and this can be applied to various fields. In this paper, we propose a model that evaluates the degree of personal distraction based on eye tracking. Moreover, we apply the proposed model to eye tracking for a person driving a car.

Constraint-based approach for automatic spatial layout planning

Spatial layout planning generates two-dimensional layouts consisting of configuration of rectangles, and our new method represents the rectangles as an inconsistent sets of linear constraints. After that, we select the consistent sets from them by using constraint processing language. Because this type of problem is of the NP-complete class, we also introduce some redundant constraints such as qualitative relation and capacity. Redundant constraints generally slow a system, but with the partial (incremental) solver used for thes type of problem, redundant constraints may be useful in reducing the search space. Our approach is now being applied to the layout of personal homes. In this paper, we use this example to explain our approach and we describe our floor planning system TG-FP (Tokyo Gas Floor Planner) implemented by CLP (Constraint Logic Programming) Language. TG-FP can assist an architect by providing a large variety of feasible plans. In TG-FP, the only information that must be provided by the user is the definition of the room. We also point out the advantages of our approach with CLP language: advantages such as a declarative paradigm for easy description and efficiency for avoiding combinatorial explosion.<<ETX>>

Qualitative Reasoning Approach to a Driver's Cognitive Mental Load

This paper explores applying qualitative reasoning to a drivers mental state in real driving situations so as to develop a working load for intelligent transportation systems. The authors identify the cognitive state that determines whether a driver will be ready to operate a device in car navigation. In order to identify the drivers cognitive state, the authors will measure eye movements during car-driving situations. Data can be acquired for the various actions of a car driver, in particular braking, acceleration, and steering angles from the experiment car. The authors constructed a driver cognitive mental load using the framework of qualitative reasoning. The response of the model was checked by qualitative simulation. The authors also verified the model using real data collected by driving an actual car. The results indicated that the model could represent the change in the cognitive mental load based on measurable data. This means that the framework of this paper will be useful for designing user interfaces for next-generation systems that actively employ user situations.

Perspectives on eBrain and cognitive computing

Cognitive Informatics (CI) is a discipline spanning across computer science, information science, cognitive science, brain science, intelligence science, knowledge science, and cognitive linguistics. CI aims to investigate the internal information processing mechanisms and processes of the brain, the underlying abstract intelligence theories and denotational mathematics, and their engineering applications in cognitive computing and computational intelligence. This paper reports a set of nine position statements presented in the plenary panel of IEEE ICCI*CC’12 on eBrain and Cognitive Computers contributed from invited panelists who are part of the world’s renowned researchers and scholars in the field of cognitive informatics and cognitive computing.

Web-based communication and control for multiagent robots

In this paper we describe a Web-based method for communication with and control of heterogeneous robots in a unified manner, including mobile robots and vision sensors. We base this method on recent Web technologies such as browsers, Java language and socket communication. It allows users to connect to robots through a Web server, using their hand-held computers, and to monitor and control the robots via various input devices. As a model of an everyday working environment, we configured mobile robots and cameras that work autonomously and cooperatively. The Web technologies provide a general framework for integrating robot control, communication between robots and humans, and Web-page access. This framework can extend the robot-based intelligent office as a new direction of the intranet.

Design of security system based on immune system

The authors design a network security system using an analogy of natural world immunology. We apply not only the immune mechanism that recognizes self or non-self, but also cooperation among immune cells of the system. This system defines an immune cell as one agent based on our multiagent language, which is an extension of concurrent logic programming languages. These agents can detect and reject intrusion by cooperating with each other.