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!
|
id |
my-usm-ep.31371 |
---|---|
record_format |
uketd_dc |
spelling |
my-usm-ep.313712017-01-03T08:49:09Z A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach 1994-05 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 http://eprints.usm.my/31371/ http://eprints.usm.my/31371/1/SURASH_NATARAJAN.pdf application/pdf en public masters Universiti Sains Malaysia Pusat Pengajian Sains Matematik |
institution |
Universiti Sains Malaysia |
collection |
USM Institutional Repository |
language |
English |
topic |
QA1 Mathematics (General) |
spellingShingle |
QA1 Mathematics (General) Natarajan, Surash A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach |
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. |
format |
Thesis |
qualification_level |
Master's degree |
author |
Natarajan, Surash |
author_facet |
Natarajan, Surash |
author_sort |
Natarajan, Surash |
title |
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_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_sort |
resolution based automated theorem proving
system using concurrent processing approach |
granting_institution |
Universiti Sains Malaysia |
granting_department |
Pusat Pengajian Sains Matematik |
publishDate |
1994 |
url |
http://eprints.usm.my/31371/1/SURASH_NATARAJAN.pdf |
_version_ |
1747820410486915072 |