Preprint Article Version 1 This version is not peer-reviewed

A new Deductive Method with Intelligence Using Pseudorandom Number for Solving Coin-Weighing Puzzles: Review of Inductive and Deductive Methods

Version 1 : Received: 7 May 2019 / Approved: 8 May 2019 / Online: 8 May 2019 (10:03:46 CEST)

How to cite: Takefuji, Y.; Yamada, R. A new Deductive Method with Intelligence Using Pseudorandom Number for Solving Coin-Weighing Puzzles: Review of Inductive and Deductive Methods. Preprints 2019, 2019050090 (doi: 10.20944/preprints201905.0090.v1). Takefuji, Y.; Yamada, R. A new Deductive Method with Intelligence Using Pseudorandom Number for Solving Coin-Weighing Puzzles: Review of Inductive and Deductive Methods. Preprints 2019, 2019050090 (doi: 10.20944/preprints201905.0090.v1).

Abstract

This paper briefly reviews the state of the art in artificial intelligence including inductive and deductive methods. Deep learning and ensemble machine learning lie in inductive methods while automated reasoning implemented in deductive computer languages (Prolog, Otter, and Z3) is based on deductive methods. In the inductive methods, intelligence is inferred by pseudorandom number for creating the sophisticated decision trees in Go (game), Shogi (game), and quiz bowl questions. This paper demonstrates how to wisely use the pseudorandom number for solving coin-weighing puzzles with the deductive method. Monte Carlo approach is a general purpose problem-solving method using random number. The proposed method using pseudorandom number lies in one of Monte Carlo methods. In the proposed method, pseudorandom number plays a key role in generating constrained solution candidates for coin-weighing puzzles. This may be the first attempt that every solution candidate is solely generated by pseudorandom number while deductive rules are used for verifying solution candidates. In this paper, the performance of the proposed method was measured by comparing with the existing open source codes by solving 12-coin and 24-coin puzzles respectively.  

Subject Areas

intelligence; inductive methods; deductive methods; pseudorandom number; artificial intelligence; Prolog; Otter; Z3; deep learning; ensemble methods; automated reasoning; coin-weighing puzzles

Comments (0)

We encourage comments and feedback from a broad range of readers. See criteria for comments and our diversity statement.

Leave a public comment
Send a private comment to the author(s)
Views 0
Downloads 0
Comments 0
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.