Találati lista | Tudóstér

001-es BibID:	BIBFORM070080
Első szerző:	Kádek Tamás (programtervező matematikus)
Cím:	On (in)validity of Aristotle's syllogisms relying on rough sets / Tamás Kádek, Tamás Mihálydeák
Dátum:	2015
Megjegyzések:	The authors investigate the properties of first-order logic having its semantics based on a generalized (partial) approximation of sets. The goal of the investigation in this article is to compare the classical first-order semantics with a partial and lower approximation-based one. The idea is that lower approximation represents the reliable knowledge, so the reasoning used by the lower approximation may be valid or may be valid with some limitations. First, the authors show an experimental result which confute the previous supposition and the result of an algorithm which generates refutations for some well-known valid arguments: the 12 syllogisms of Aristotle. We think that these syllogisms represent the most common usage of categorical statements. A language with single-level quantification is constructed, as syllogisms can be formalized using this language. Based on the experimental results, the authors suggest some modifications of the semantics if the goal is to approximate the classical case.
ISBN:	978-83-60810-78-1
Tárgyszavak:	Műszaki tudományok Informatikai tudományok tanulmány, értekezés Rough set Partial logic Partial semantics
Megjelenés:	Proceedings of the LQMR 2015 Workshop / eds. Tomasz Lechowski, Przemysaw Wałęga; Michał Zawidzki. - p. 35-40. -
További szerzők:	Mihálydeák Tamás Sándor (1955-) (filozófus, matematikus)
Internet cím:	Szerző által megadott URL DOI Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon: