Share Email Print
cover

Proceedings Paper • new

Computer implementation of a chosen version of strong belief logic
Author(s): Przemysław Kopański; Janusz Wesserling; Jan Mulawka
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper 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.

Paper Details

Date Published: 1 October 2018
PDF: 12 pages
Proc. SPIE 10808, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2018, 108081M (1 October 2018); doi: 10.1117/12.2500605
Show Author Affiliations
Przemysław Kopański, Warsaw Univ. of Technology (Poland)
Janusz Wesserling, Cardinal Stefan Wyszyński Univ. (Poland)
Jan Mulawka, Warsaw Univ. of Technology (Poland)


Published in SPIE Proceedings Vol. 10808:
Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2018
Ryszard S. Romaniuk; Maciej Linczuk, Editor(s)

© SPIE. Terms of Use
Back to Top