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...
| Main Author: | |
|---|---|
| Format: | Thesis |
| Language: | English |
| Published: |
1994
|
| Subjects: | |
| Online Access: | http://eprints.usm.my/31371/ http://eprints.usm.my/31371/1/SURASH_NATARAJAN.pdf |
| _version_ | 1848876553208856576 |
|---|---|
| author | Natarajan, Surash |
| author_facet | Natarajan, Surash |
| author_sort | Natarajan, Surash |
| building | USM Institutional Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-15T17:01:22Z |
| format | Thesis |
| id | usm-31371 |
| institution | Universiti Sains Malaysia |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T17:01:22Z |
| publishDate | 1994 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | usm-313712017-01-03T08:49:09Z http://eprints.usm.my/31371/ A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach Natarajan, Surash QA1 Mathematics (General) 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. 1994-05 Thesis NonPeerReviewed application/pdf en http://eprints.usm.my/31371/1/SURASH_NATARAJAN.pdf Natarajan, Surash (1994) A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach. Masters thesis, Universiti Sains Malaysia. |
| spellingShingle | QA1 Mathematics (General) Natarajan, Surash A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach |
| title | A Resolution Based Automated Theorem Proving
System Using Concurrent Processing Approach |
| title_full | A Resolution Based Automated Theorem Proving
System Using Concurrent Processing Approach |
| title_fullStr | A Resolution Based Automated Theorem Proving
System Using Concurrent Processing Approach |
| title_full_unstemmed | A Resolution Based Automated Theorem Proving
System Using Concurrent Processing Approach |
| title_short | A Resolution Based Automated Theorem Proving
System Using Concurrent Processing Approach |
| title_sort | resolution based automated theorem proving
system using concurrent processing approach |
| topic | QA1 Mathematics (General) |
| url | http://eprints.usm.my/31371/ http://eprints.usm.my/31371/1/SURASH_NATARAJAN.pdf |