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...

Full description

Saved in:

Bibliographic Details
Main Author:	Natarajan, Surash
Format:	Thesis
Language:	English
Published:	1994
Subjects:	QA1 Mathematics (General)
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

A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach

Similar Items