Výsledky vyhledávání
- 1.0583718 - ÚI 2025 RIV NL eng V - Výzkumná zpráva
Wiedermann, Jiří - van Leeuwen, J.
Artificial Intelligence as a Pathway to Our Future.
Utrecht: Utrecht University, 2024. 17 s. Technical Report, UU-PCS-2024-01.
Grant ostatní: AV ČR(CZ) StrategieAV21/1
Program: StrategieAV
Institucionální podpora: RVO:67985807
Klíčová slova: AI regulation * artificial wisdom * DIKW hierarchy * epistemic computation * generative AI * illusory intelligence * knowledge * large language models * 4E cognition
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://webspace.science.uu.nl/~leeuw112/techreps/UU-PCS-2024-01.pdf
Trvalý link: https://hdl.handle.net/11104/0351716 - 2.0583712 - ÚI 2024 RIV NL eng V - Výzkumná zpráva
Wiedermann, Jiří - van Leeuwen, J.
From Knowledge to Wisdom: The Power of Large Language Models in AI.
Utrecht: Utrecht University, 2023. 14 s. Technical Report, UU-PCS-2023-01.
Grant ostatní: AV ČR(CZ) StrategieAV21/26
Program: StrategieAV
Institucionální podpora: RVO:67985807
Klíčová slova: artificial wisdom * DIKW hierarchy * epistemic computation * generative AI * illusory intelligence * knowledge * large language models * 4E cognition
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://webspace.science.uu.nl/~leeuw112/techreps/UU-PCS-2023-01.pdf
Trvalý link: https://hdl.handle.net/11104/0351705 - 3.0579156 - FLÚ 2024 RIV CH eng E - Elektronický dokument
Kvasz, Ladislav
Symbolic Algebra as a Semiotic System.
[textový soubor]. - Cham: Springer, 2023, 533 KB
Institucionální podpora: RVO:67985955
Klíčová slova: logical power * expresive power * integrative power * pictorial form * epistemic subject * symbolic algebra
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-19071-2_65-1
Trvalý link: https://hdl.handle.net/11104/0348323 - 4.0579059 - FLÚ 2024 eng U - Uspořádání akce
Majer, Ondrej
CELIA workshop.
[Prague, 05.10.2023-07.10.2023, (W-EUR 18/12)]
Grant CEP: GA ČR(CZ) GF22-23022L
Institucionální podpora: RVO:67985955
Klíčová slova: epistemic logic * common knowledge * distributive knowledge * colaition logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: https://hdl.handle.net/11104/0347964 - 5.0579034 - FLÚ 2024 RIV DE eng J - Článek v odborném periodiku
Ferguson, Thomas
Subject-Matter and Intensional Operators II. Applications to the Theory of Topic-Sensitive Intentional Modals.
Journal of Philosophical Logic. Roč. 52, č. 6 (2023), s. 1673-1701. ISSN 0022-3611
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: subject-matter * topic-sensitive intentional modals * epistemic logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 1.5, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s10992-023-09722-7
Trvalý link: https://hdl.handle.net/11104/0348048 - 6.0573769 - ÚI 2024 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Sedlár, Igor
Epistemic Logics of Structured Intensional Groups.
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023). Oxford: Open Publishing Association, 2023 - (Verbrugge, R.), s. 113-130. Electronic Proceedings in Theoretical Computer Science, 379. ISSN 2075-2180.
[TARK 2023: Theoretical Aspects of Rationality and Knowledge /19./. Oxford (GB), 28.06.2023-30.06.2023]
Grant CEP: GA ČR(CZ) GF22-23022L
Institucionální podpora: RVO:67985807
Klíčová slova: epistemic logic * group knowledge * common knowledge * relational semantics * neighbourhood semantics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?TARK2023.11.pdf
Trvalý link: https://hdl.handle.net/11104/0344132Název souboru Staženo Velikost Komentář Verze Přístup 0573769-aoa.pdf 6 255.2 KB OA CC BY Vydavatelský postprint povolen
Vědecká data: ArXiv.org - 7.0573722 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor - Vigiani, P.
Relevant Reasoning and Implicit Beliefs.
Logic, Language, Information, and Computation. Cham: Springer, 2023 - (Hansen, H.; Scedrov, A.; de Queiroz, R.), s. 336-350. Lecture Notes in Computer Science, 13923. ISBN 978-3-031-39783-7.
[WoLLIC 2023: Workshop on Logic, Language, Information and Computation /29./. Halifax (CA), 11.07.2023-14.07.2023]
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Epistemic logic * explicit belief * implicit belief * knowledge representation * modal logic * relevant logic
Obor OECD: Pure mathematics
Trvalý link: https://hdl.handle.net/11104/0344103Název souboru Staženo Velikost Komentář Verze Přístup 0573722-acc.pdf 3 365.9 KB volně online Autorský postprint povolen
Vědecká data: Preprint at MathStat.dal.ca - 8.0572522 - FLÚ 2024 RIV GB eng J - Článek v odborném periodiku
Punčochář, Vít - Sedlár, Igor - Tedder, A.
Relevant epistemic logic with public announcements and common knowledge.
Journal of Logic and Computation. Roč. 33, č. 2 (2023), s. 436-461. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955 ; RVO:67985807
Klíčová slova: relevant logic * epistemic logic * public announcement * common knowledge * inquisitive logic
Obor OECD: Philosophy, History and Philosophy of science and technology; Pure mathematics (UIVT-O)
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1093/logcom/exac100
Trvalý link: https://hdl.handle.net/11104/0343465 - 9.0572117 - ÚI 2025 GB eng J - Článek v odborném periodiku
Ferenz, Nicholas
First-Order Relevant Reasoners in Classical Worlds.
Review of Symbolic Logic. Online 21 March 2023 (2024), č. článku PII S1755020323000096. ISSN 1755-0203. E-ISSN 1755-0211
Institucionální podpora: RVO:67985807
Klíčová slova: relevant logic * epistemic logic * non-Tarskian quantifiers * first-order epistemic logic
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
Trvalý link: https://hdl.handle.net/11104/0342944 - 10.0566801 - ÚI 2024 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor - Vigiani, P.
Relevant Reasoners in a Classical World.
Advances in Modal Logic. Volume 14. London: College Publications, 2022 - (Fernández-Duque, D.; Palmigiano, A.; Pinchinat, S.), s. 697-717, č. článku 196432. ISBN 978-1-84890-413-2.
[AIML 2022: Advances in Modal Logic. Rennes (FR), 22.08.2022-25.08.2022]
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: epistemic logic * logical omniscience * non-normal worlds * relevant logic
Obor OECD: Pure mathematics
https://www.collegepublications.co.uk/aiml/?00011
Trvalý link: https://hdl.handle.net/11104/0338087Název souboru Staženo Velikost Komentář Verze Přístup 0566801-apre-arxiv.pdf 1 293.3 KB https://arxiv.org/abs/2206.03109v1 Autorský preprint povolen