全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
-  2018 

Logical Notations on Chess

Keywords: Chess, Logic, Classical Logic, Deontic Logic, Logical Square, Tableaux, Three-Valued Logics, Natural Deduction

Full-Text   Cite this paper   Add to My Lib

Abstract:

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

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133