Logic grid puzzle dengan algoritma constraint satisfaction secara rekursif = Solving logic grid puzzle using recursive constraint satisfaction algorithm

Aristianto, Yohanes (2006) Logic grid puzzle dengan algoritma constraint satisfaction secara rekursif = Solving logic grid puzzle using recursive constraint satisfaction algorithm. Bachelor thesis, Universitas Pelita Harapan.

[img]
Preview
Text (Cover)
Cover.pdf
Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (25kB) | Preview
[img]
Preview
Text (Abstract)
Abstract.pdf
Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (65kB) | Preview
[img]
Preview
Text (ToC)
ToC.pdf
Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (23kB) | Preview
[img]
Preview
Text (Chapter 1)
Chapter 1.pdf
Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (122kB) | Preview
[img] Text (Chapter 2)
Chapter 2.pdf
Restricted to Registered users only
Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (261kB)
[img] Text (Chapter 3)
Chapter 3.pdf
Restricted to Registered users only
Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (596kB)
[img] Text (Chapter 4)
Chapter 4.pdf
Restricted to Registered users only
Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (227kB)
[img] Text (Chapter 5)
Chapter 5.pdf
Restricted to Registered users only
Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (12kB)
[img]
Preview
Text (Bibliography)
Bibliography.pdf
Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (13kB) | Preview
[img] Text (Appendices)
Appendices.pdf
Restricted to Repository staff only
Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (489kB)

Abstract

Logic puzzle is a kind of problem that gives us a set of premises and then we are asked to draw a conclusion using logical deduction or reasoning. Some types of logic puzzles include Knights and Knaves, Sudoku, Nonogram, and “logic grid” puzzle. If the puzzle is simple and contains only a small number of premises, it can be solved manually in a short time. But if the puzzle is complex and contains many premises we will need a systematic approach. This final project proposes a systematic approach to solve “logic grid” puzzles. This approach can be used to solve all “logic grid” puzzles. The puzzle is translated into a specification language which will be processed by the software to generate a solution. To convert the specification into a solution we will use recursive function calling. How we specify the puzzle will affect the performance of the program. The aim of this final project is to create a specification language that is easy to understand and flexible enough to accommodate all “logic grid” puzzles. An interpreter to process the language is also included. It does not deal with any optimization issues, complicated syntax checking, etc. More features can be added to the language in the future should the need arise. The name of the specification language is FasyLogic.

Item Type: Thesis (Bachelor)
Creators:
CreatorsNIMEmail
Aristianto, YohanesNIM08220030032UNSPECIFIED
Contributors:
ContributionContributorsNIDN/NIDKEmail
Thesis advisorLukas, SamuelNIDN0331076001samuel.lukas@uph.edu
Thesis advisorAribowo, ArnoldNIDN0304057602arnold.aribowo@uph.edu
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: University Subject > Current > Faculty/School - UPH Karawaci > School of Information Science and Technology > Information Systems
Current > Faculty/School - UPH Karawaci > School of Information Science and Technology > Information Systems
Depositing User: Stefanus Tanjung
Date Deposited: 24 Apr 2024 10:43
Last Modified: 24 Apr 2024 10:43
URI: http://repository.uph.edu/id/eprint/62898

Actions (login required)

View Item View Item