II. Mođ hình tri thức veă các đôi tượng tính toán
2.3 Ví dú áp dúng
2.1 Giới thieơu
„ Moêi lối đôi tượng tính toán khi xét rieđng bieơt chư theơ hieơn được moơt phaăn tri thức có tính chât cúc boơ trong ứng dúng trong khi kiên thức cụa con người veă moơt lĩnh vực hay moơt phám vi kiên thức nào đó thường bao goăm các khái nieơm và các lối đôi tượng khác nhau với những môi quan heơ hữu cơ.
„ Ví dú: cánh a cụa moơt tam giác là moơt thuoơc tính cụa đôi tượng tam giác, khi xét như moơt đôi tượng đoơc laơp thì nó là moơt “đốn thẳng”, là moơt lối đôi tượng có những luaơt rieđng cụa nó.
„ Đeơ có moơt mođ hình bieơu dieên tri thức roơng hơn có theơ sử dúng trong vieơc xađy dựng moơt heơ cơ sở tri thức và giại toán veă các lối đôi tượng khác nhau ta caăn phại xem xét khái nieơm đôi tượng tính toán trong moơt heơ thông khái nieơm các đôi tượng cùng với các lối sự kieơn, các lối quan heơ khác nhau và các dáng luaơt lieđn quan đên chúng.
„ Mođ hình tri thức veă các đôi tượng tính toán là mođ hình cho moơt dáng cơ sở tri thức bao goăm các khái nieơm veă các đôi tượng có câu trúc cùng với các lối quan heơ và các cođng thức tính toán lieđn quan.
2.2 Mođ hình
„ Ta gĩi moơt mođ hình tri thức veă các đôi tượng tính toán, viêt taĩt là moơt mođ hình COKB (Computational Objects Knowledge Base), là moơt heơ thông (C, H, R, Ops, Rules) goăm:
° Moơt taơp hơp C các khái nieơm veă các đôi tượng tính toán
„ Moêi khái nieơm là moơt lối đôi tượng tính toán có câu trúc và được phađn mức theo sự thiêt laơp cụa câu trúc đôi tượng, goăm: biên thực, đôi tượng cơ bạn, đôi tượng mức 1 và đôi tượng mức 2.
„ Các đôi tượng cơ bạn có câu trúc roêng hoaịc có câu trúc goăm moơt sô thuoơc tính thuoơc kieơu thực. Các đôi tượng lối naăy có theơ làm neăn cho sự thiêt laơp các đôi tượng ở mức cao hơn.
„ Các đôi tượng tính toán mức 1 có moơt thuoơc tính lối <real> và có theơ được thiêt laơp từ moơt danh sách neăn các đôi tượng cơ bạn.
„ Các đôi tượng tính toán mức 2 có các thuoơc tính lối real và các thuoơc tính thuoơc lối đôi tượng mức 1, và đôi tượng có theơ được thiêt laơp tređn moơt danh sách neăn các đôi tượng cơ bạn.
° Moơt taơp hơp H các quan heơ phađn câp giữa các lối đôi tượng
„ Tređn taơp hợp C ta có moơt quan heơ phađn câp theo đó có theơ có moơt sô khái nieơm là sự đaịc bieơt hóa cụa các khái nieơm khác, chẳng hán như moơt tam giác cađn cũng là moơt tam giác, moơt hình bình hành cũng là moơt tứ giác. Có theơ nói raỉng H là moơt bieơu đoă Hasse khi xem quan heơ phađn câp tređn là moơt quan heơ thứ tự tređn C.
° Moơt taơp hơp R các khái nieơm veă các lối quan heơ tređn các lối đôi tượng
„ Moêi quan heơ được xác định bởi <teđn quan heơ> và các lối đôi tượng cụa quan heơ, và quan heơ có theơ có moơt sô tính chât trong các tính chât sau đađy: tính chât phạn xá, tính chât đôi xứng, tính chât phạn xứng và tính chât baĩc caău.
° Moơt taơp hơp Ops các toán tử
„ Các toán tử cho ta moơt sô phép toán tređn các biên thực cũng như tređn các đôi tượng, chẳng hán các phép toán sô hĩc và tính toán tređn các đôi tượng đốn và góc tương tự như đôi với các biên thực.
° Moơt taơp hơp Rules goăm các luaơt
„ Các luaơt theơ hieơn các tri thức mang tính phoơ quát tređn các khái nieơm và các lối sự kieơn khác nhau. Moêi luaơt cho ta moơt qui taĩc suy luaơn đeơ đi đên các sự kieơn mới từ các sự kieơn nào đó, và veă maịt câu trúc nó goăm 2 thành phaăn chính là: phaăn giạ thiêt cụa luaơt và phaăn kêt luaơn cụa luaơt. Phaăn giạ thiêt và phaăn kêt luaơn đeău là các taơp hợp sự kieơn tređn các đôi tượng nhât định.
„ Moơt luaơt r có theơ được mođ hình dưới dáng:
„ r : sk1, sk2, ..., skn sk1, sk2, ..., skmKhoa Cođng Ngheơ Thođng Tin - 2001CuuDuongThanCong.com https://fb.com/tailieudientucntt Khoa Cođng Ngheơ Thođng Tin - 2001CuuDuongThanCong.com https://fb.com/tailieudientucntt