unit1my.dfm

基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题

object Form1: TForm1
  Left = 197
  Top = 63
  BorderIcons = [biSystemMenu, biMinimize]
  BorderStyle = bsSingle
  BorderWidth = 1
  Caption = 'Auto Illation System'
  ClientHeight = 569
  ClientWidth = 658
  Color = clBtnFace
  Font.Charset = DEFAULT_CHARSET
  Font.Color = clWindowText
  Font.Height = -11
  Font.Name = 'MS Sans Serif'
  Font.Style = []
  Menu = MainMenu1
  OldCreateOrder = False
  Position = poScreenCenter
  PixelsPerInch = 96
  TextHeight = 13
  object GroupBox1: TGroupBox
    Left = 8
    Top = 8
    Width = 497
    Height = 169
    Caption = 'Input Sentences'
    TabOrder = 0
    DesignSize = (
      497
      169)
    object Label1: TLabel
      Left = 16
      Top = 112
      Width = 53
      Height = 13
      Caption = 'left bracket'
      Color = clBtnFace
      Font.Charset = DEFAULT_CHARSET
      Font.Color = clDefault
      Font.Height = -11
      Font.Name = 'MS Sans Serif'
      Font.Style = []
      ParentColor = False
      ParentFont = False
    end
    object Label2: TLabel
      Left = 96
      Top = 112
      Width = 59
      Height = 13
      Caption = 'right bracket'
      Font.Charset = DEFAULT_CHARSET
      Font.Color = clDefault
      Font.Height = -11
      Font.Name = 'MS Sans Serif'
      Font.Style = []
      ParentFont = False
    end
    object Label3: TLabel
      Left = 192
      Top = 112
      Width = 18
      Height = 13
      Caption = 'and'
      Font.Charset = DEFAULT_CHARSET
      Font.Color = clDefault
      Font.Height = -11
      Font.Name = 'MS Sans Serif'
      Font.Style = []
      ParentFont = False
    end
    object Label4: TLabel
      Left = 280
      Top = 112
      Width = 9
      Height = 13
      Caption = 'or'
      Font.Charset = DEFAULT_CHARSET
      Font.Color = clDefault
      Font.Height = -11
      Font.Name = 'MS Sans Serif'
      Font.Style = []
      ParentFont = False
    end
    object Label5: TLabel
      Left = 344
      Top = 112
      Width = 34
      Height = 13
      Caption = 'inverse'
      Font.Charset = DEFAULT_CHARSET
      Font.Color = clDefault
      Font.Height = -11
      Font.Name = 'MS Sans Serif'
      Font.Style = []
      ParentFont = False
    end
    object Label6: TLabel
      Left = 416
      Top = 112
      Width = 49
      Height = 13
      Caption = 'implication'
      Font.Charset = DEFAULT_CHARSET
      Font.Color = clDefault
      Font.Height = -11
      Font.Name = 'MS Sans Serif'
      Font.Style = []
      ParentFont = False
    end
    object Memo1: TMemo
      Left = 8
      Top = 24
      Width = 481
      Height = 81
      Anchors = [akLeft]
      Font.Charset = DEFAULT_CHARSET
      Font.Color = clWindowText
      Font.Height = -16
      Font.Name = 'MS Sans Serif'
      Font.Style = []
      ParentFont = False
      ScrollBars = ssVertical
      TabOrder = 0
      WantReturns = False
    end
    object Button3: TButton
      Left = 8
      Top = 128
      Width = 70
      Height = 25
      Caption = #12308
      TabOrder = 1
      OnClick = Button3Click
    end
    object Button4: TButton
      Left = 88
      Top = 128
      Width = 70
      Height = 25
      Caption = #12309
      TabOrder = 2
      OnClick = Button4Click
    end
    object Button5: TButton
      Left = 168
      Top = 128
      Width = 70
      Height = 25
      Caption = #65286
      TabOrder = 3
      OnClick = Button5Click
    end
    object Button6: TButton
      Left = 248
      Top = 128
      Width = 70
      Height = 25
      Caption = #65372
      TabOrder = 4
      OnClick = Button6Click
    end
    object Button7: TButton
      Left = 328
      Top = 128
      Width = 70
      Height = 25
      Caption = #65281
      TabOrder = 5
      OnClick = Button7Click
    end
    object Button8: TButton
      Left = 408
      Top = 128
      Width = 70
      Height = 25
      Caption = #65310
      TabOrder = 6
      OnClick = Button8Click
    end
  end
  object RadioGroup1: TRadioGroup
    Left = 520
    Top = 8
    Width = 129
    Height = 73
    Caption = 'Type'
    ItemIndex = 0
    Items.Strings = (
      'condition'
      'consequence')
    TabOrder = 1
  end
  object Submit: TButton
    Left = 520
    Top = 88
    Width = 129
    Height = 25
    Caption = '&Submit'
    TabOrder = 2
    OnClick = SubmitClick
  end
  object Clear: TButton
    Left = 520
    Top = 152
    Width = 129
    Height = 25
    Caption = '&Clear'
    TabOrder = 3
    OnClick = ClearClick
  end
  object StatusBar1: TStatusBar
    Left = 0
    Top = 550
    Width = 658
    Height = 19
    Panels = <>
    SimplePanel = False
  end
  object GroupBox2: TGroupBox
    Left = 8
    Top = 192
    Width = 641
    Height = 345
    Caption = 'Analysis Semantic'
    TabOrder = 5
    object Label7: TLabel
      Left = 528
      Top = 24
      Width = 78
      Height = 13
      Caption = 'Reflection Table'
      Font.Charset = DEFAULT_CHARSET
      Font.Color = clDefault
      Font.Height = -11
      Font.Name = 'MS Sans Serif'
      Font.Style = []
      ParentFont = False
    end
    object Label8: TLabel
      Left = 168
      Top = 24
      Width = 159
      Height = 13
      Caption = 'Clauses Generated by Processing'
      Font.Charset = DEFAULT_CHARSET
      Font.Color = clDefault
      Font.Height = -11
      Font.Name = 'MS Sans Serif'
      Font.Style = []
      ParentFont = False
    end
    object Start: TButton
      Left = 48
      Top = 312
      Width = 129
      Height = 25
      Caption = '&Start'
      Font.Charset = DEFAULT_CHARSET
      Font.Color = clWindowText
      Font.Height = -11
      Font.Name = 'MS Sans Serif'
      Font.Style = []
      ParentFont = False
      TabOrder = 0
      OnClick = StartClick
    end
    object Initialize: TButton
      Left = 184
      Top = 312
      Width = 129
      Height = 25
      Caption = '&Initialize'
      TabOrder = 1
      OnClick = InitializeClick
    end
    object Help: TButton
      Left = 320
      Top = 312
      Width = 129
      Height = 25
      Caption = '&Help'
      TabOrder = 2
      OnClick = HelpClick
    end
    object Exit: TButton
      Left = 456
      Top = 312
      Width = 129
      Height = 25
      Caption = '&Exit'
      TabOrder = 3
      OnClick = ExitClick
    end
    object RichEdit1: TRichEdit
      Left = 8
      Top = 40
      Width = 489
      Height = 265
      Font.Charset = GB2312_CHARSET
      Font.Color = clNavy
      Font.Height = -15
      Font.Name = 'MS Sans Serif'
      Font.Style = []
      ParentFont = False
      ReadOnly = True
      ScrollBars = ssVertical
      TabOrder = 4
    end
    object Memo2: TMemo
      Left = 512
      Top = 40
      Width = 113
      Height = 265
      Color = clBtnFace
      Font.Charset = DEFAULT_CHARSET
      Font.Color = clTeal
      Font.Height = -15
      Font.Name = 'MS Sans Serif'
      Font.Style = []
      ParentFont = False
      ScrollBars = ssVertical
      TabOrder = 5
    end
  end
  object loade: TButton
    Left = 520
    Top = 120
    Width = 129
    Height = 25
    Caption = '&Load...'
    TabOrder = 6
    OnClick = loadeClick
  end
  object MainMenu1: TMainMenu
    Left = 168
    object File1: TMenuItem
      Caption = '&File'
      object New1: TMenuItem
        Caption = '&New'
        OnClick = New1Click
      end
      object Open1: TMenuItem
        Caption = '&Open...'
        OnClick = Open1Click
      end
      object SaveAs1: TMenuItem
        Caption = 'Save &As...'
        OnClick = SaveAs1Click
      end
      object N2: TMenuItem
        Caption = '-'
      end
      object Print1: TMenuItem
        Caption = '&Print...'
        OnClick = Print1Click
      end
      object PrintSetup1: TMenuItem
        Caption = 'P&rint Setup...'
      end
      object N1: TMenuItem
        Caption = '-'
      end
      object Exit1: TMenuItem
        Caption = 'E&xit'
        OnClick = Exit1Click
      end
    end
    object Edit1: TMenuItem
      Caption = '&Edit'
      object Cut1: TMenuItem
        Caption = 'Cu&t'
        ShortCut = 16472
      end
      object Copy1: TMenuItem
        Caption = '&Copy'
        ShortCut = 16451
      end
      object Paste1: TMenuItem
        Caption = '&Paste'
        ShortCut = 16470
      end
      object PasteSpecial1: TMenuItem
        Caption = 'Paste &Special...'
      end
      object N4: TMenuItem
        Caption = '-'
      end
      object Find1: TMenuItem
        Caption = '&Find...'
      end
      object Replace1: TMenuItem
        Caption = 'R&eplace...'
      end
      object GoTo1: TMenuItem
        Caption = '&Go To...'
      end
      object N3: TMenuItem
        Caption = '-'
      end
      object Links1: TMenuItem
        Caption = 'Lin&ks...'
      end
      object Object1: TMenuItem
        Caption = '&Object'
      end
    end
    object Help1: TMenuItem
      Caption = '&Help'
      object Contents1: TMenuItem
        Caption = '&Contents'
        OnClick = Contents1Click
      end
      object About1: TMenuItem
        Caption = '&About...'
        OnClick = About1Click
      end
    end
  end
  object OpenDialog1: TOpenDialog
    DefaultExt = '*.txt'
    Filter = 'Textfile(*.txt)|*.txt'
    Left = 360
    Top = 176
  end
  object PrintDialog1: TPrintDialog
    Left = 440
    Top = 176
  end
  object SaveDialog10: TSaveDialog
    DefaultExt = '*.txt'
    Filter = 'Textfile(*.txt)|*.txt'
    Left = 400
    Top = 176
  end
end