CCL

Összesen 5 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM099169
035-os BibID:(WoS)000654007400010 (Scopus)85107432982
Első szerző:Kádek Tamás (programtervező matematikus)
Cím:Dealing with uncertainty: A rough-set-based approach with the background of classical logic / Kádek Tamás, Mihálydeák Tamás
Dátum:2021
ISSN:1787-5021 1787-6117
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény hazai lapban
folyóiratcikk
Megjelenés:Annales Mathematicae et Informaticae. - 53 (2021), p. 157-168. -
További szerzők:Mihálydeák Tamás Sándor (1955-) (filozófus, matematikus)
Pályázati támogatás:EFOP-3.6.3-VEKOP-16-2017-00002
EFOP
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

2.

001-es BibID:BIBFORM070118
Első szerző:Kádek Tamás (programtervező matematikus)
Cím:Some unexpected properties of partial propositional logic based on partial approximation space / Tamás Kádek, Tamás Mihálydeák
Dátum:2014
Megjegyzések:Rough set theory can be considered as the foundation of various kinds of deductive reasoning. In this paper, the authors do some logical investigations about the possibility of using partial approximation of sets as semantics of a three-valued partial logic which use one-argument predicate parameters without quantification. As a consequence of using the lower and upper approximation of sets, approximative functors appear in object language. Functors and three-valued semantics give a real possibility to investigate how to alter valid logical laws.
ISBN:978 615 5297 18 2
Tárgyszavak:Természettudományok Matematika- és számítástudományok előadáskivonat
approximation of sets
rough set
partial logic
partial semantics
Megjelenés:Proceedings of the 9th International Conference on Applied Informatics January 29 - Februar 1, 2014. Eger, Hungary Volume I. [elektronikus dokumentum] / eds. Emőd Kovács, Gábor Kusper, Roland Kunkli, Tibor Tómács. - p. 51-58. -
További szerzők:Mihálydeák Tamás Sándor (1955-) (filozófus, matematikus)
Pályázati támogatás:TÁMOP-4.2.2.C-11/1/KONV-2012-0001
TÁMOP
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

3.

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ó:

4.

001-es BibID:BIBFORM070081
Első szerző:Kádek Tamás (programtervező matematikus)
Cím:Az életlen halmazok elméletének néhány lehetséges alkalmazása a mesterséges intelligenciában / Kádek Tamás, Mihálydeák Tamás
Dátum:2015
ISSN:1842-4546
Megjegyzések:Az általánosított (parciális) halmazközelítésen alapuló életlenhalmaz-elmélet számos alkalmazási lehetőséggel kecsegtet, a többértékű (értékréses) logikai rendszerek elméleti alapjaitól egészen az életlen klaszterezésig. A mesterséges intelligencia állapottér szemléletű megközelítése szükségszerűen megköveteli a halmazelméleti és a gráfelméleti hátteret. Így magától értetődőnek tűnik a kérdés, hogyan használható fel az életlen halmazok elméletének egy-egy eredménye az állapottérre építkező megoldáskereső algoritmusok világában. Cikkünkben két lehetőséget járunk körbe. Egyfelől megvizsgáljuk a halmazközelítésen alapuló logikai rendszerek használatának lehetőségét az állapottér gerincét adó formuladefiníciókban, másfelől kísérletet teszünk parciális állapothalmazon alapuló megoldáskereső algoritmus alkalmazására egy gyakorlati példán keresztül.
Tárgyszavak:Műszaki tudományok Informatikai tudományok előadáskivonat
mesterséges intelligencia
életlen halmazok
Megjelenés:ENELKO 2015 XVI. Nemzetközi Energetika-Elektrotechnika Konferencia, SzámOkt 2015 XXV. Nemzetközi Számítástechnika és Oktatás Konferencia, Arad, 2015. október 8-11 / szerk. Biró Károly-Ágoston, Sebestyén-Pál György. - p. 251-256. -
További szerzők:Mihálydeák Tamás Sándor (1955-) (filozófus, matematikus)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

5.

001-es BibID:BIBFORM070078
Első szerző:Kádek Tamás (programtervező matematikus)
Cím:Some fundamental laws of partial first-order logic based on set approximations / Tamás Kádek, Tamás Mihálydeák
Dátum:2014
ISSN:0302-9743
Megjegyzések:The authors show that a very general framework of set approximation can be the set-theoretical base of semantics of a partial first-order logic. The most general problem is what happens if in the semantics of first-order logic one uses the approximations of sets as semantic values of predicate parameters instead of sets given by their total interpretation in order to determine the truth values of formulas? The authors show some unexpected properties connected with logical constants directly. The goal of the investigation is to show the possible connections between the result of different approximative and exact evaluation of formulas - or the lack of them. At the end, the authors present the practical example, in which we can see the discussed behavior of approximation.
ISBN:978-3-319-08643-9 978-3-319-08644-6
Tárgyszavak:Műszaki tudományok Informatikai tudományok tanulmány, értekezés
approximation of sets
rough set
partial logic
partial semantics
Megjelenés:Rough Sets and Current Trends in Soft Computing : 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings / eds. Cornelis, C., Kryszkiewicz, M., Slezak, D., Menasalvas Ruiz, E., Bello, R., Shang, L. - p. 47-58. -
További szerzők:Mihálydeák Tamás Sándor (1955-) (filozófus, matematikus)
Pályázati támogatás:TÁMOP-4.2.2.C-11/1/KONV-2012-0001
TÁMOP
Internet cím:DOI
Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1