Bài tập suy diễn lùi có lời giải

You're Reading a Free Preview
Pages 5 to 9 are not shown in this preview.

Loading Preview

Sorry, preview is currently unavailable. You can download the paper by clicking the button above.

Full PDF PackageDownload Full PDF Package

This Paper

A short summary of this paper

37 Full PDFs related to this paper

Đây là code C# cho suy diễn tiến với logic mệnh đề[code]using System;using System.Collections.Generic;using System.ComponentModel;using System.Data;using System.Drawing;using System.Linq;using System.Text;

using System.Windows.Forms;

namespace WindowsFormsApplication1{    public partial class Frmnhapluat : Form    {        string cat1,cat2,cat3;        string kl;        bool ketluan=false, cai=false;        int vitri,demgt,demluat,demsat,md_don,n;        Int32[] r_cot = new int[10];//Xác định tập luật bằng cách tìm toạ độ, gióng ngang và dọc để tìm mệnh đề sinh ra chúng.        Int32[] r_hang=new int[10];        Int32[] SAT_cot = new int[10];//Toạ độ luật lấy ra từ tgian ở trên mảng "mang"        Int32[] SAT_hang = new int[10];        String[] gt=new string [20];        String[] mddon = new string[10];        String[] tgian = new string[30];// Tập trung gian[mệnh đề đúng tại thời điểm htại]

        String[,] mang = new string[20,21];

        void reset[]// Reset lại các mảng, biến, textbox        {            cat1 = null; cat2 = null; cat3 = null;            kl = null;

            vitri = 0; demgt = 0; demluat = 0; md_don = 0;

            r_cot = new int[10];            r_hang = new int[10];            for [int i = 0; i < gt.Length;i++]                gt[i] = null;            for [int i = 0; i < tgian.Length; i++]                tgian[i] = null;            for [int i = 0; i < 20; i++]                for[int j=0;j