Kabushiki Kaisha Toshiba

Takashi Moriyasu

Tetsuro Muranaga

Hiroyuki Mizutani

Hideaki Sato

Tetsuo Hasegawa

Haruhiko Toyama

Takayuki Miyazawa

Toshibumi Seki

Hideyuki Tsutsumitake

Mami Kodama

Hiroshi Kaibe

When inexecutable event occurs, an event format conversion rules table is referred to in order to convert the format of the event, then the communication message including the converted event is transmitted through a network. If the communication message is received through the network, the converted event is re-converted into an event that has an executable format by referring to the event format conversion rules table. An event filter refers to an event filter table that has processing necessity information for each event and sends only an event that needs to be processed to an event processing portion. Even if the local system cannot execute an event, the event is transmitted to another system through a communicating portion.

Event controlling system for integrating different event driven systems

A scheme for supporting cooperative works capable of reproducing the contents of the past works from the recorded history of the cooperative works accurately, such that the cooperative works can be carried out efficiently and smoothly. In this scheme, the inputs made by each user during the cooperative works are stored in correspondence to input target data indicating input target applications of the inputs as a record of the cooperative works. Then, afterwards, the input target applications indicated by the input target data are re-executed according to the stored inputs to reproduce results of the cooperative works resulting from the inputs which can be presented to each user.

Method and apparatus for supporting cooperative works via computer

A document processing system capable of providing an environment for a smooth and efficient collaborative document processing work. In the system, the document in the new and old versions, the comment attached to the document, and version data indicating a modification made in the document between the new version and the old version are managed by being linked together.

Collaborative document processing system with version and comment

A method and apparatus for making an inference using frame-based knowledge representation in which each slot is accompanied by information regarding a quantitative correspondence between its slot value and the frame to which it belongs. This makes an accurate comprehension of what can be inherited possible so an inference can be carried out with consistent accuracy.

Method and apparatus for making inferences using frame-based knowledge

A method and an apparatus for constraint-oriented inference provides improved knowledge base formation efficiency and an ability to maintain consistency among slots. Constraints indicating relationships among slot values of frames are stored collectively, pointers which make the constraints accessible by relevant slots are attached automatically, and the constraints are simplified by inserting slot values determined by processes of inference.

Method and apparatus for constraint-oriented inference

An inductive inference apparatus comprises an input section for inputting a proposition, conditions for the proposition, and the tendency of each condition, a storage section for storing the proposition, and necessary and sufficient conditions of the proposition, a condition detecting section for forming the necessary and sufficient conditions for the truth or falsity of the proposition in accordance with the input proposition, the input conditions, and the input tendency of each condition, a judging section for, with respect to an example in which the truth or falsity of the proposition is unknown, judging the truth or falsity of the proposition using already stored necesary and sufficient conditions, and a control section for, when the truth or falsity of the proposition in a new example input to the input section is known, supplying the conditions of the proposition and the tendency of each condition to the condition detecting section to store the necessary and sufficient conditions formed by the condition detecting section in the storage section, and for, when the truth or falsity of the proposition in the example is unknown, supplying the conditions of the proposition to the judging section.

Growing community of inventors

Edinburgh, United Kingdom

Takashi Moriyasu