sysmain.cs

简易专家系统程序

			this.label4.Font = new System.Drawing.Font("宋体", 10.5F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((System.Byte)(134)));
			this.label4.Location = new System.Drawing.Point(16, 400);
			this.label4.Name = "label4";
			this.label4.TabIndex = 14;
			this.label4.Text = "推理结果：";
			// 
			// button3
			// 
			this.button3.Font = new System.Drawing.Font("宋体", 10.5F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((System.Byte)(134)));
			this.button3.Location = new System.Drawing.Point(536, 480);
			this.button3.Name = "button3";
			this.button3.TabIndex = 13;
			this.button3.Text = "退出";
			this.button3.Click += new System.EventHandler(this.button3_Click);
			// 
			// button4
			// 
			this.button4.Font = new System.Drawing.Font("宋体", 10.5F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((System.Byte)(134)));
			this.button4.Location = new System.Drawing.Point(536, 448);
			this.button4.Name = "button4";
			this.button4.TabIndex = 12;
			this.button4.Text = "推理";
			this.button4.Click += new System.EventHandler(this.button4_Click_1);
			// 
			// listBox3
			// 
			this.listBox3.ItemHeight = 12;
			this.listBox3.Location = new System.Drawing.Point(16, 424);
			this.listBox3.Name = "listBox3";
			this.listBox3.Size = new System.Drawing.Size(504, 112);
			this.listBox3.TabIndex = 11;
			// 
			// label5
			// 
			this.label5.Font = new System.Drawing.Font("宋体", 10.5F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((System.Byte)(134)));
			this.label5.Location = new System.Drawing.Point(8, 56);
			this.label5.Name = "label5";
			this.label5.Size = new System.Drawing.Size(120, 23);
			this.label5.TabIndex = 10;
			this.label5.Text = "选择前提：";
			// 
			// label6
			// 
			this.label6.Font = new System.Drawing.Font("Microsoft Sans Serif", 15.75F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((System.Byte)(134)));
			this.label6.Location = new System.Drawing.Point(8, 8);
			this.label6.Name = "label6";
			this.label6.Size = new System.Drawing.Size(272, 40);
			this.label6.TabIndex = 9;
			this.label6.Text = "正向推理界面";
			// 
			// listBox4
			// 
			this.listBox4.Font = new System.Drawing.Font("宋体", 10.5F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((System.Byte)(134)));
			this.listBox4.ItemHeight = 14;
			this.listBox4.Location = new System.Drawing.Point(8, 88);
			this.listBox4.Name = "listBox4";
			this.listBox4.SelectionMode = System.Windows.Forms.SelectionMode.MultiSimple;
			this.listBox4.Size = new System.Drawing.Size(584, 298);
			this.listBox4.TabIndex = 8;
			// 
			// tabPage3
			// 
			this.tabPage3.Controls.AddRange(new System.Windows.Forms.Control[] {
																				   this.button11,
																				   this.label12,
																				   this.textBox6,
																				   this.button10,
																				   this.textBox5,
																				   this.label11,
																				   this.comboBox1,
																				   this.button9,
																				   this.label10,
																				   this.textBox4,
																				   this.label9,
																				   this.label8,
																				   this.button8,
																				   this.button7,
																				   this.button6,
																				   this.button5,
																				   this.textBox3,
																				   this.label7,
																				   this.textBox2,
																				   this.label3,
																				   this.label2,
																				   this.dataGrid1});
			this.tabPage3.Location = new System.Drawing.Point(4, 21);
			this.tabPage3.Name = "tabPage3";
			this.tabPage3.Size = new System.Drawing.Size(808, 687);
			this.tabPage3.TabIndex = 2;
			this.tabPage3.Text = "事实编辑";
			// 
			// button11
			// 
			this.button11.Location = new System.Drawing.Point(96, 176);
			this.button11.Name = "button11";
			this.button11.TabIndex = 23;
			this.button11.Text = "刷新列表";
			this.button11.Click += new System.EventHandler(this.button11_Click);
			// 
			// label12
			// 
			this.label12.Font = new System.Drawing.Font("宋体", 10.5F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((System.Byte)(134)));
			this.label12.Location = new System.Drawing.Point(8, 176);
			this.label12.Name = "label12";
			this.label12.Size = new System.Drawing.Size(80, 23);
			this.label12.TabIndex = 22;
			this.label12.Text = "事实列表：";
			// 
			// textBox6
			// 
			this.textBox6.BorderStyle = System.Windows.Forms.BorderStyle.None;
			this.textBox6.Font = new System.Drawing.Font("宋体", 9F, System.Drawing.FontStyle.Italic, System.Drawing.GraphicsUnit.Point, ((System.Byte)(134)));
			this.textBox6.Location = new System.Drawing.Point(520, 152);
			this.textBox6.Name = "textBox6";
			this.textBox6.TabIndex = 21;
			this.textBox6.Text = "textBox6";
			// 
			// button10
			// 
			this.button10.Location = new System.Drawing.Point(432, 144);
			this.button10.Name = "button10";
			this.button10.TabIndex = 20;
			this.button10.Text = "查找";
			this.button10.Click += new System.EventHandler(this.button10_Click);
			// 
			// textBox5
			// 
			this.textBox5.Location = new System.Drawing.Point(192, 144);
			this.textBox5.Name = "textBox5";
			this.textBox5.Size = new System.Drawing.Size(224, 21);
			this.textBox5.TabIndex = 19;
			this.textBox5.Text = "textBox5";
			// 
			// label11
			// 
			this.label11.Font = new System.Drawing.Font("宋体", 10.5F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((System.Byte)(134)));
			this.label11.Location = new System.Drawing.Point(8, 144);
			this.label11.Name = "label11";
			this.label11.Size = new System.Drawing.Size(184, 23);
			this.label11.TabIndex = 18;
			this.label11.Text = "模糊查找您要编辑的事实： ";
			// 
			// comboBox1
			// 
			this.comboBox1.Location = new System.Drawing.Point(184, 112);
			this.comboBox1.Name = "comboBox1";
			this.comboBox1.Size = new System.Drawing.Size(56, 20);
			this.comboBox1.TabIndex = 17;
			this.comboBox1.Text = "comboBox1";
			// 
			// button9
			// 
			this.button9.Location = new System.Drawing.Point(248, 112);
			this.button9.Name = "button9";
			this.button9.TabIndex = 15;
			this.button9.Text = "显示";
			this.button9.Click += new System.EventHandler(this.button9_Click);
			// 
			// label10
			// 
			this.label10.Font = new System.Drawing.Font("宋体", 10.5F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((System.Byte)(134)));
			this.label10.Location = new System.Drawing.Point(8, 112);
			this.label10.Name = "label10";
			this.label10.Size = new System.Drawing.Size(184, 23);
			this.label10.TabIndex = 13;
			this.label10.Text = "请选择您要编辑的事实号：";
			// 
			// textBox4
			// 
			this.textBox4.Location = new System.Drawing.Point(88, 80);
			this.textBox4.Name = "textBox4";
			this.textBox4.Size = new System.Drawing.Size(512, 21);
			this.textBox4.TabIndex = 12;
			this.textBox4.Text = "textBox4";
			// 
			// label9
			// 
			this.label9.Font = new System.Drawing.Font("宋体", 10.5F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((System.Byte)(134)));
			this.label9.Location = new System.Drawing.Point(8, 80);
			this.label9.Name = "label9";
			this.label9.Size = new System.Drawing.Size(80, 23);
			this.label9.TabIndex = 11;
			this.label9.Text = "事实内容：";
			// 
			// label8
			// 
			this.label8.Location = new System.Drawing.Point(536, 16);
			this.label8.Name = "label8";
			this.label8.Size = new System.Drawing.Size(216, 23);
			this.label8.TabIndex = 10;
			this.label8.Text = "注：删除操作将对规则表进行相应修改";
			// 
			// button8
			// 
			this.button8.Location = new System.Drawing.Point(680, 48);
			this.button8.Name = "button8";
			this.button8.TabIndex = 9;
			this.button8.Text = "删除";
			this.button8.Click += new System.EventHandler(this.button8_Click);
			// 
			// button7
			// 
			this.button7.Location = new System.Drawing.Point(600, 48);
			this.button7.Name = "button7";
			this.button7.TabIndex = 8;
			this.button7.Text = "插入";
			this.button7.Click += new System.EventHandler(this.button7_Click);
			// 
			// button6
			// 
			this.button6.Location = new System.Drawing.Point(520, 48);
			this.button6.Name = "button6";
			this.button6.TabIndex = 7;
			this.button6.Text = "编辑";
			this.button6.Click += new System.EventHandler(this.button6_Click);
			// 
			// button5
			// 
			this.button5.Location = new System.Drawing.Point(440, 48);
			this.button5.Name = "button5";
			this.button5.TabIndex = 6;
			this.button5.Text = "修改";
			this.button5.Click += new System.EventHandler(this.button5_Click);
			// 
			// textBox3
			// 
			this.textBox3.Location = new System.Drawing.Point(368, 48);
			this.textBox3.Name = "textBox3";
			this.textBox3.Size = new System.Drawing.Size(64, 21);
			this.textBox3.TabIndex = 5;
			this.textBox3.Text = "textBox3";
			// 
			// label7
			// 
			this.label7.Font = new System.Drawing.Font("宋体", 10.5F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((System.Byte)(134)));
			this.label7.Location = new System.Drawing.Point(144, 48);
			this.label7.Name = "label7";
			this.label7.Size = new System.Drawing.Size(224, 23);
			this.label7.TabIndex = 4;
			this.label7.Text = "事实类型（0为前提，1为结论）：";
			// 
			// textBox2
			// 
			this.textBox2.Location = new System.Drawing.Point(72, 48);
			this.textBox2.Name = "textBox2";
			this.textBox2.Size = new System.Drawing.Size(64, 21);
			this.textBox2.TabIndex = 3;
			this.textBox2.Text = "textBox2";
			// 
			// label3
			// 
			this.label3.Font = new System.Drawing.Font("宋体", 10.5F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((System.Byte)(134)));
			this.label3.Location = new System.Drawing.Point(8, 48);
			this.label3.Name = "label3";
			this.label3.Size = new System.Drawing.Size(64, 23);
			this.label3.TabIndex = 2;
			this.label3.Text = "事实号：";
			// 
			// label2
			// 
			this.label2.Font = new System.Drawing.Font("楷体_GB2312", 18F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((System.Byte)(134)));
			this.label2.Location = new System.Drawing.Point(8, 8);
			this.label2.Name = "label2";
			this.label2.Size = new System.Drawing.Size(232, 32);
			this.label2.TabIndex = 1;
			this.label2.Text = "事实编辑页面";
			// 
			// dataGrid1
			// 
			this.dataGrid1.DataMember = "";
			this.dataGrid1.HeaderForeColor = System.Drawing.SystemColors.ControlText;
			this.dataGrid1.Location = new System.Drawing.Point(8, 208);
			this.dataGrid1.Name = "dataGrid1";
			this.dataGrid1.Size = new System.Drawing.Size(664, 440);
			this.dataGrid1.TabIndex = 0;
			this.dataGrid1.TableStyles.AddRange(new System.Windows.Forms.DataGridTableStyle[] {
																								  this.dataGridTableStyle2});
			// 
			// dataGridTableStyle2
			// 
			this.dataGridTableStyle2.DataGrid = this.dataGrid1;
			this.dataGridTableStyle2.GridColumnStyles.AddRange(new System.Windows.Forms.DataGridColumnStyle[] {
																												  this.dataGridTextBoxColumn1});
			this.dataGridTableStyle2.HeaderForeColor = System.Drawing.SystemColors.ControlText;
			this.dataGridTableStyle2.MappingName = "";
			// 
			// dataGridTextBoxColumn1
			// 
			this.dataGridTextBoxColumn1.Format = "";
			this.dataGridTextBoxColumn1.FormatInfo = null;
			this.dataGridTextBoxColumn1.MappingName = "";
			this.dataGridTextBoxColumn1.Width = 75;
			// 
			// tabPage4
			// 
			this.tabPage4.Controls.AddRange(new System.Windows.Forms.Control[] {
																				   this.groupBox3,
																				   this.groupBox2,
																				   this.button15,
																				   this.groupBox1,
																				   this.dataGrid3,
																				   this.label15,
																				   this.dataGrid2,
																				   this.label14,
																				   this.label13});
			this.tabPage4.Location = new System.Drawing.Point(4, 21);
			this.tabPage4.Name = "tabPage4";
			this.tabPage4.Size = new System.Drawing.Size(808, 687);
			this.tabPage4.TabIndex = 3;
			this.tabPage4.Text = "规则编辑";
			this.tabPage4.Click += new System.EventHandler(this.tabPage4_Click);
			// 
			// groupBox3
			// 
			this.groupBox3.Controls.AddRange(new System.Windows.Forms.Control[] {
																					this.button19,
																					this.comboBox4,
																					this.label23});
			this.groupBox3.Location = new System.Drawing.Point(392, 512);
			this.groupBox3.Name = "groupBox3";
			this.groupBox3.Size = new System.Drawing.Size(376, 168);
			this.groupBox3.TabIndex = 9;
			this.groupBox3.TabStop = false;
			this.groupBox3.Text = "规则删除：";
			// 
			// button19
			// 
			this.button19.Location = new System.Drawing.Point(288, 128);
			this.button19.Name = "button19";
			this.button19.TabIndex = 2;
			this.button19.Text = "删除";
			this.button19.Click += new System.EventHandler(this.button19_Click);
			// 
			// comboBox4
			// 
			this.comboBox4.Location = new System.Drawing.Point(8, 48);
			this.comboBox4.Name = "comboBox4";
			this.comboBox4.Size = new System.Drawing.Size(104, 20);
			this.comboBox4.TabIndex = 1;
			this.comboBox4.Text = "comboBox4";
			// 
			// label23
			// 
			this.label23.Location = new System.Drawing.Point(8, 24);
			this.label23.Name = "label23";
			this.label23.Size = new System.Drawing.Size(128, 23);
			this.label23.TabIndex = 0;
			this.label23.Text = "确定要删除的规则号：";
			// 
			// groupBox2
			// 
			this.groupBox2.Controls.AddRange(new System.Windows.Forms.Control[] {
																					this.button18,
																					this.comboBox3,
																					this.button17,
																					this.textBox10,
																					this.label22,
																					this.listBox7,
																					this.textBox9,
																					this.label21,
																					this.button16});
			this.groupBox2.Location = new System.Drawing.Point(8, 504);
			this.groupBox2.Name = "groupBox2";
			this.groupBox2.Size = new System.Drawing.Size(376, 176);
			this.groupBox2.TabIndex = 8;
			this.groupBox2.TabStop = false;
			this.groupBox2.Text = "规则插入：";
			// 
			// button18
			// 
			this.button18.Location = new System.Drawing.Point(288, 144);
			this.button18.Name = "button18";
			this.button18.TabIndex = 8;
			this.button18.Text = "插入";
			this.button18.Click += new System.EventHandler(this.button18_Click);
			// 
			// comboBox3