Computer implementation of a chosen version of strong belief logic

Przemysław Kopański; Janusz Wesserling; Jan Mulawka

doi:10.1117/12.2500605

1 October 2018 Computer implementation of a chosen version of strong belief logic

Przemysław Kopański, Janusz Wesserling, Jan Mulawka

Proceedings Volume 10808, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2018; 108081M (2018) https://doi.org/10.1117/12.2500605
Event: Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2018, 2018, Wilga, Poland

Abstract

Classical logic is one of the most popular logic systems. However, it is quite an inaccurate model of reality, which was noticed already in ancient times. Two logics of belief are considered in this paper. In these logics, the agent forms his beliefs based on logical values of complex sentences. Both implemented logics are three-valued, in contrast to standard logic. For the needs of this paper, an application has been created which can be used to effectively solve satisfiability or tautology problems. To achieve this, the DPLL algorithm has been modified to handle three-valued logic. The paper also presents development and verification methods.

Citation Download Citation

Przemysław Kopański, Janusz Wesserling, and Jan Mulawka "Computer implementation of a chosen version of strong belief logic", Proc. SPIE 10808, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2018, 108081M (1 October 2018); https://doi.org/10.1117/12.2500605

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available