Výsledky vyhledávání
- 1.0564526 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Validating Non-trivial Semantic Properties of Autonomous Robots.
Philosophy and Theory of Artificial Intelligence 2021 Conference Proceedings. Cham: Springer, 2022 - (Magnani, L.), s. 91-104. Studies in Applied Philosophy, Epistemology and Rational Ethic, 63. ISBN 978-3-031-09152-0.
[PTAI 2021: Conference on Philosophy and Theory of Artificial Intelligence /4./. Gothenburg (SE), 27.09.2021-28.09.2021]
Grant ostatní: AV ČR(CZ) StrategieAV21/1
Program: StrategieAV
Institucionální podpora: RVO:67985807
Klíčová slova: Autonomous robots * Cyber-physical systems * Ethics of AI Semantic properties * Rice’s theorem * Robot modelling * Turing machines * Verification
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: https://hdl.handle.net/11104/0336186 - 2.0535464 - ÚI 2022 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Towards Minimally Conscious Cyber-Physical Systems: A Manifesto.
SOFSEM 2021: Theory and Practice of Computer Science. Cham: Springer, 2021 - (Bureš, T.; Dondi, R.; Gamper, J.; Guerrini, G.; Jurdziński, T.; Pahl, C.; Sikora, F.; Wong, P.), s. 43-55. Lecture Notes in Computer Science, 12607. ISBN 978-3-030-67730-5. ISSN 0302-9743.
[SOFSEM 2021: International Conference on Current Trends in Theory and Practice of Computer Science /47./. Bolzano-Bozen / online (IT), 25.01.2021-29.01.2021]
Grant ostatní: AV ČR(CZ) StrategieAV21/1
Program: StrategieAV
Institucionální podpora: RVO:67985807
Klíčová slova: Automata theory * Cyber-physical systems * Design philosophy * Industry 4.0 * Minimal machine consciousness * SACA loop * Self-control
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://link.springer.com/book/10.1007/978-3-030-67731-2#toc
Trvalý link: http://hdl.handle.net/11104/0313481 - 3.0511457 - ÚI 2020 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Finite State Machines with Feedback: An Architecture Supporting Minimal Machine Consciousness.
Computing with Foresight and Industry. Cham: Springer, 2019 - (Manea, F.; Martin, B.; Paulusma, D.; Primiero, G.), s. 286-297. Lecture Notes in Computer Science, 11558. ISBN 978-3-030-22995-5. ISSN 0302-9743.
[CiE 2019: Conference on Computability in Europe /19./. Durham (GB), 15.07.2019-19.07.2019]
Grant ostatní: AV ČR(CZ) StrategieAV21/1
Program: StrategieAV
Institucionální podpora: RVO:67985807
Klíčová slova: finite state machines * machine consciousness * self-knowledge * self-monitoring * self-awareness * qualia
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0301728 - 4.0505255 - ÚI 2020 RIV SK cze C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří
Inteligentní infrastruktury: požehnání, nebo prokletí?
[Intelligent Infrastructures - a Blessing or a Curse?]
Kognícia a umelý život 2019. Bratislava: Univerzita Komenského v Bratislave, 2019 - (Farkaš, I.; Takáč, M.; Gergeľ, P.; Tomko, M.), s. 137-140. ISBN 978-80-223-4720-4.
[Kognícia a umelý život 2019. Bratislava (SK), 29.05.2019-31.05.2019]
Grant ostatní: AV ČR(CZ) StrategieAV21/1
Program: StrategieAV
Institucionální podpora: RVO:67985807
Klíčová slova: intelligent infrastructures * internet of things * preferential systems * recommendation systems * credit systems * intelligent markets
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0296737Název souboru Staženo Velikost Komentář Verze Přístup 0505255-a.pdf 3 1.7 MB Vydavatelský postprint vyžádat - 5.0494153 - ÚI 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Epistemic Computation and Artificial Intelligence.
Philosophy and Theory of Artificial Intelligence 2017. Cham: Springer, 2018 - (Müller, V.), s. 215-224. Studies in Applied Philosophy, Epistemology and Rational Ethics, 44. ISBN 978-3-319-96447-8. ISSN 2192-6255.
[PT-AI 2017. Conference on Philosophy and Theory of Artificial Intelligence /3./. Leeds (GB), 04.11.2017-05.11.2017]
Grant ostatní: GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: computation * epistemic theory * proof * derivation * artificial intelligence * cognitive functions * accountability * creativity
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0287408 - 6.0477257 - ÚI 2018 RIV AT eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Non-Classical Turing Machines: Extending the Notion of Computation.
Ninth Workshop on Non-Classical Models of Automata and Applications. Wien: Österreichische Computer Gesellschaft, 2017 - (Freund, R.; Mráz, F.; Průša, D.), s. 29-40. ISBN 978-3-903035-18-8.
[NCMA 2017. Workshop on Non-Classical Models of Automata and Applications /9./. Prague (CZ), 17.08.2017-18.08.2017]
Grant ostatní: GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: Turing machines * interaction * evolution * non-uniformity * interactive Turing machines with advice * red-green Turing machines * relativistic Turing machines
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0273640Název souboru Staženo Velikost Komentář Verze Přístup a0477257.pdf 6 801.1 KB Vydavatelský postprint vyžádat - 7.0475613 - ÚI 2018 RIV SK cze C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří
Nový pohled na výpočty a umělá inteligence.
[A new view of computations and artificial intelligence.]
Kognícia a umelý život 2017. Bratislava: Univerzita Komenského, 2017 - (Farkaš, I.; Takáč, M.; Rybár, J.; Gergeľ, P.), s. 190-193. ISBN 978-80-223-4346-6.
[Kognícia a umelý život /17./. Trenčianske Teplice (SK), 31.05.2017-02.06.2017]
Grant ostatní: GA ČR(CZ) GA15-04960S; AV ČR(CZ) StrategieAV21/1
Program: StrategieAV
Institucionální podpora: RVO:67985807
Klíčová slova: computations * knowledge theory * cognitive functions * accountability * self-awareness * introspection * knowledge understanding * free will * creativity
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0272286Název souboru Staženo Velikost Komentář Verze Přístup a0475613.pdf 3 1.6 MB Vydavatelský postprint vyžádat - 8.0474350 - ÚI 2018 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Understanding and Controlling Artificial General Intelligent Systems.
Proceedings of AISB Annual Convention 2017. London: AISB, 2017 - (Bryson, J.; De Vos, M.; Padget, J.), s. 356-363. ISBN 978-1-908187-81-9.
[AISB 2017. Bath (GB), 18.04.2017-22.04.2017]
Grant ostatní: GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: artificial intelligence * epistemic computation * artificial general intelligence (AGI) * self-improving epistemic theories * controlling AGI systems
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://aisb2017.cs.bath.ac.uk/proceedings.html
Trvalý link: http://hdl.handle.net/11104/0271429Název souboru Staženo Velikost Komentář Verze Přístup a0474350.pdf 1 1.3 MB Vydavatelský postprint vyžádat - 9.0461472 - ÚI 2017 RIV CZ cze C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří
Znalostní meze (super)inteligentních systémů.
[Epistemic Limits of (Super)intelligent Systems.]
Kognice a umělý život XVI. Praha: ČVUT, 2016 - (Vavrečka, M.; Bečev, O.; Hoffmann, M.; Štěpánová, K.), s. 165-167. ISBN 978-80-01-05915-9.
[Kognice a umělý život /16./. Telč (CZ), 01.06.2016-03.06.2016]
Grant ostatní: GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: znalost * inteligence * inteligentní systém * znalostní teorie * knowledge * intelligence * intelligent system * epistemic theory
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0261117Název souboru Staženo Velikost Komentář Verze Přístup a0461472.pdf 2 213.6 KB Vydavatelský postprint vyžádat 0461472.pdf 4 628.8 KB Autorský preprint povolen - 10.0446636 - ÚI 2016 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Wiedermann, Jiří - van Leeuwen, J.
Towards a Computational Theory of Epistemic Creativity.
41st Annual Convention of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB 2015). London: Society for the Study of Artificial Intelligence & Simulation of Behaviour, 2015, s. 235-242. ISBN 978-1-5108-0386-2.
[AISB Symposium on Computing and Philosophy: The Significance of Metaphor and Other Figurative Modes of Expression and Thought /8./. Canterbury (GB), 20.04.2015-22.04.2015]
Grant ostatní: GA ČR(CZ) GA15-04960S
Institucionální podpora: RVO:67985807
Klíčová slova: epistemology * creativity * knowledge * computation
Kód oboru RIV: IN - Informatika
https://www.cs.kent.ac.uk/events/2015/AISB2015/proceedings.html
Trvalý link: http://hdl.handle.net/11104/0249718Název souboru Staženo Velikost Komentář Verze Přístup 0446636.pdf 5 772.3 KB Autorský preprint povolen a0446636.pdf 1 178.2 KB Vydavatelský postprint vyžádat