Dismiss
InnovationQ will be updated on Sunday, Oct. 22, from 10am ET - noon. You may experience brief service interruptions during that time.
Browse Prior Art Database

Representation of State Machines in Knowledge Base

IP.com Disclosure Number: IPCOM000107706D
Original Publication Date: 1992-Mar-01
Included in the Prior Art Database: 2005-Mar-22
Document File: 3 page(s) / 65K

Publishing Venue

IBM

Related People

Barrett, KL: AUTHOR [+3]

Abstract

This article describes a method of representing state machines in the function knowledge bases.

This text was extracted from an ASCII text file.
This is the abbreviated version, containing approximately 52% of the total text.

Representation of State Machines in Knowledge Base

       This article describes a method of representing state
machines in the function knowledge bases.

      The state transition diagram (or the bubble diagram) is a way
of describing how the machine works.  For example, consider the state
machine whose bubble diagram is depicted in Fig. 1.  This machine has
four states: STATE0, STATE1, STATE2 and STATE3.  These are
represented as bubbles (shown here as squares).  These states are
linked together with arrows.  The arrows are labelled with the input
and the output in the format: input/output.  In this example, if the
machine is currently in STATE0 and the inputs are x0 (x stands for
DON'T_CARE), then the machine remains in STATE0 and the output is 0.
If the machine is in STATE0 and the inputs are 01, then the machine
goes to STATE1 and the output is 0.

      This method uses the rule-based system to represent the state
machine.  The present state and the inputs appear in the premises.
The conclusion is the next state and the outputs.  The general format
of this representation is:
                 IF (in_CURRENT_STATE) and
                    (INPUT1 = VALUE1)  and
                    (INPUT2 = VALUE2)  and

                            (Image Omitted)

                    ..........
                    (INPUTn = VALUEn)
                 THEN
                    (in_NEXT_STATE)  and
                    (OUTPUT1 = VAL1) and
     ...