Izvorni znanstveni članak

Logical Notations on Chess

Siniša Matić ; Gimnazija Franje Petrića, Zadar
Patrik Levačić ; Odjel za francuske i frankofonske studije Sveučilišta u Zadru

Sažetak

This paper aims to present the rules of chess as logical statements and human (non-computer) chess reasoning as a decision procedure that can be reconstructed using classical logic methods such as tableaux and Fitch-style natural deductions. Chess rules can be represented in first-order logic terms with the occasional application of deontic logic operators. A consideration of chess game objectives can be offered by the tableaux method. In general terms, possible strong moves can be assessed with logical reasoning. Human imperfection in the quality assessment of certain moves opens up the possibility of applying three-valued logic parameters. However, the main focus of this paper is to examine the possibilities of applying elementary logic to the basics of chess play.

Ključne riječi

Chess; Logic; Classical Logic; Deontic Logic; Logical Square; Tableaux; Three-Valued Logics; Natural Deduction

Hrčak ID:

217903

URI

https://hrcak.srce.hr/217903

Datum izdavanja:

25.2.2019.

Podaci na drugim jezicima: hrvatski

Posjeta: 2.811 *