A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach
Semenjak pembangunan sistem pembuktian teorem automatik berdasarkan resolusi yang pertama di pertengahan 1960an, terdapat penyelidikan yang berterusan di dalam bidang ini untuk mempertingkatkan proses penyelesaian masalah di dalam sistemsistem pembuktian teorem. Penyelidikan pada masa kini di dal...
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis |
| Language: | English |
| Published: |
1994
|
| Subjects: | |
| Online Access: | http://eprints.usm.my/31371/1/SURASH_NATARAJAN.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Semenjak pembangunan sistem pembuktian teorem automatik berdasarkan
resolusi yang pertama di pertengahan 1960an, terdapat penyelidikan yang berterusan di
dalam bidang ini untuk mempertingkatkan proses penyelesaian masalah di dalam sistemsistem
pembuktian teorem. Penyelidikan pada masa kini di dalam bidang ini adalah
tertumpu kepada penggunaan kaedah-kaedah pengideksan pangkalan data dan
pemprosesan selari untuk mempertingkatkan kecekapan sistem-sistem tersebut. Apa yang
dimaksudkan tentang kecekapan sistem adalah tertumpu kepada kelajuan pedaksanaan
sistem di dalam pembuktian teorem oleh suatu sistem pembuktian teorem automatik.
Ever since the first resolution based automated theorem proving system was
developed on a computer in the mid 1960s, there has been constant research in this area
on enhancing the problem solving process of the theorem provers. The recent trend in
this area is towards exploiting database indexing and parallel processing in increasing the
efficiency of these systems, in particular the execution speed of the theorem prover in
proving a theorem. |
|---|