![Hiroyuki Kido PhD](https://profiles-cardiff.imgix.net/attachments/1586?w=200&h=200&auto=format&crop=faces&fit=crop&q=90")
Dr Hiroyuki Kido
(e/fe)
PhD
Timau a rolau for Hiroyuki Kido
Darlithydd
Trosolwyg
Rwy'n ddarlithydd yn yr Ysgol Cyfrifiadureg a Gwybodeg ym Mhrifysgol Caerdydd. Rydw i wedi bod yn astudio deallusrwydd artiffisial ers tua 2002 pan ddes i ar draws y llyfr enwog, Deallusrwydd Artiffisial: Dull Modern, yn llyfrgell fy mhrifysgol i. Ar hyn o bryd rwy'n gweithio ar draws rhesymeg, dysgu peirianyddol a niwrowyddoniaeth. Mae gen i gefndir addysgol mewn tair prifysgol a phrofiad ymchwil mewn diwydiant, sefydliad cenedlaethol a thair prifysgol ar draws Japan, Tsieina a'r DU.
Cyhoeddiad
2025
- Kido, H. 2025. Beyond the generative paradigm: Foundations for computational abstraction. null (10.5281/zenodo.18061264)
- Kido, H. 2025. A data-transparent probabilistic model of temporal propositional abstraction. Presented at: Twelfth Annual Conference on Advances in Cognitive Systems Atlanta, Georgia, USA 13-15 October 2025. , pp.193-212.
- Kido, H. 2025. Inference of abstraction for grounded predicate logic. Presented at: Twelfth Annual Conference on Advances in Cognitive Systems Atlanta, Georgia, USA 13-15 October 2025. , pp.213-232.
- Kido, H. 2025. Inference of abstraction for human-like probabilistic reasoning. Presented at: 4th Advanced Course and Symposium on Artificial Intelligence & Neuroscience (ACAIN) Tuscany, Italy 22-25 September 2024. Published in: Nicosia, G. et al., Machine Learning, Optimization, and Data Science. Lecture Notes in Computer Science Vol. 15510. Springer Cham. , pp.116-131. (10.1007/978-3-031-82487-6_9)
- Kido, H. 2025. Inference of abstraction for human-like logical reasoning. Presented at: 4th Advanced Course and Symposium on Artificial Intelligence & Neuroscience (ACAIN) Tuscany, Italy 22-25 September 2024. Published in: Nicosia, G. et al., Machine Learning, Optimization, and Data Science. Vol. 15510.Lecture Notes in Computer Science Springer. , pp.191-206. (10.1007/978-3-031-82487-6_14)
2022
- Kido, H. and Liao, B. 2022. A Bayesian approach to forward and inverse abstract argumentation problems. Journal of Applied Non-Classical Logics Volume , pp.273-304. (10.1080/11663081.2022.2144830)
- Baroni, P. , Cerutti, F. and Giacomin, M. 2022. A generalized notion of consistency with applications to formal argumentation. In: Toni, et al., Computational Models of Argument. Vol. 353, Frontiers in Artificial Intelligence and Applications IOS Press. , pp.56-67. (10.3233/FAIA220141)
- Kido, H. 2022. Generative logic models for data-based symbolic reasoning. Presented at: 8th International Workshop on Artificial Intelligence and Cognition (AIC 2022) Örebro University 15-17 June 2022.
2018
- Kido, H. 2018. Bayesian model selection in statistical construction of justification. Presented at: Sixteenth International Conference on Principles of Knowledge Representation and Reasoning Tempe, Arizona (USA) 27 October - 2 November 2018. Published in: Thielscher, M. , Toni, F. and Wolter, F. eds. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference (KR2018). Palo Alto, California: Association for the Advancement of Artificial Intelligence. , pp.647-648.
2017
- Kido, H. and Okamoto, K. 2017. A Bayesian approach to argument-based reasoning for attack estimation. Presented at: 26th International Joint Conference on Artificial Intelligence Melbourne, Australia 19-25 August 2017. Published in: Sierra, C. ed. IJCAI'17: Proceedings of the 26th International Joint Conference on Artificial Intelligence. AAAI. , pp.249-255.
- Kido, H. and Okamoto, K. 2017. Balancing between cognitive and semantic acceptability of arguments. Presented at: 10th International Conference on Knowledge Science, Engineering and Management Melbourne, Australia 19-20 Aug 2017. Published in: Li, G. et al., Knowledge Science, Engineering and Management. Vol. 10412.Springer Verlag. , pp.160-173. (10.1007/978-3-319-63558-3_14)
- Kido, H. , Ohsawa, Y. and Nitta, K. 2017. Paretian argumentation frameworks for Pareto optimal arguments. Journal of Logic and Computation 27 (1), pp.213-225. (10.1093/logcom/exv012)
2016
- Kido, H. and Cerutti, F. 2016. Formal reconciliatory dialogue based on shift from forward to backward deliberation. Argument and Computation 6 (3), pp.292-309. (10.1080/19462166.2016.1145139)
Adrannau llyfrau
- Baroni, P. , Cerutti, F. and Giacomin, M. 2022. A generalized notion of consistency with applications to formal argumentation. In: Toni, et al., Computational Models of Argument. Vol. 353, Frontiers in Artificial Intelligence and Applications IOS Press. , pp.56-67. (10.3233/FAIA220141)
Cynadleddau
- Kido, H. 2025. A data-transparent probabilistic model of temporal propositional abstraction. Presented at: Twelfth Annual Conference on Advances in Cognitive Systems Atlanta, Georgia, USA 13-15 October 2025. , pp.193-212.
- Kido, H. 2025. Inference of abstraction for grounded predicate logic. Presented at: Twelfth Annual Conference on Advances in Cognitive Systems Atlanta, Georgia, USA 13-15 October 2025. , pp.213-232.
- Kido, H. 2025. Inference of abstraction for human-like probabilistic reasoning. Presented at: 4th Advanced Course and Symposium on Artificial Intelligence & Neuroscience (ACAIN) Tuscany, Italy 22-25 September 2024. Published in: Nicosia, G. et al., Machine Learning, Optimization, and Data Science. Lecture Notes in Computer Science Vol. 15510. Springer Cham. , pp.116-131. (10.1007/978-3-031-82487-6_9)
- Kido, H. 2025. Inference of abstraction for human-like logical reasoning. Presented at: 4th Advanced Course and Symposium on Artificial Intelligence & Neuroscience (ACAIN) Tuscany, Italy 22-25 September 2024. Published in: Nicosia, G. et al., Machine Learning, Optimization, and Data Science. Vol. 15510.Lecture Notes in Computer Science Springer. , pp.191-206. (10.1007/978-3-031-82487-6_14)
- Kido, H. 2022. Generative logic models for data-based symbolic reasoning. Presented at: 8th International Workshop on Artificial Intelligence and Cognition (AIC 2022) Örebro University 15-17 June 2022.
- Kido, H. 2018. Bayesian model selection in statistical construction of justification. Presented at: Sixteenth International Conference on Principles of Knowledge Representation and Reasoning Tempe, Arizona (USA) 27 October - 2 November 2018. Published in: Thielscher, M. , Toni, F. and Wolter, F. eds. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference (KR2018). Palo Alto, California: Association for the Advancement of Artificial Intelligence. , pp.647-648.
- Kido, H. and Okamoto, K. 2017. A Bayesian approach to argument-based reasoning for attack estimation. Presented at: 26th International Joint Conference on Artificial Intelligence Melbourne, Australia 19-25 August 2017. Published in: Sierra, C. ed. IJCAI'17: Proceedings of the 26th International Joint Conference on Artificial Intelligence. AAAI. , pp.249-255.
- Kido, H. and Okamoto, K. 2017. Balancing between cognitive and semantic acceptability of arguments. Presented at: 10th International Conference on Knowledge Science, Engineering and Management Melbourne, Australia 19-20 Aug 2017. Published in: Li, G. et al., Knowledge Science, Engineering and Management. Vol. 10412.Springer Verlag. , pp.160-173. (10.1007/978-3-319-63558-3_14)
Erthyglau
- Kido, H. 2025. Beyond the generative paradigm: Foundations for computational abstraction. null (10.5281/zenodo.18061264)
- Kido, H. and Liao, B. 2022. A Bayesian approach to forward and inverse abstract argumentation problems. Journal of Applied Non-Classical Logics Volume , pp.273-304. (10.1080/11663081.2022.2144830)
- Kido, H. , Ohsawa, Y. and Nitta, K. 2017. Paretian argumentation frameworks for Pareto optimal arguments. Journal of Logic and Computation 27 (1), pp.213-225. (10.1093/logcom/exv012)
- Kido, H. and Cerutti, F. 2016. Formal reconciliatory dialogue based on shift from forward to backward deliberation. Argument and Computation 6 (3), pp.292-309. (10.1080/19462166.2016.1145139)
Ymchwil
Mae gen i ddiddordeb mewn sut mae'r ymennydd yn prosesu rhesymu, yn enwedig mewn ystyr rhesymegol. Rwy'n astudio modelau cyfrifiadurol biolegol credadwy o resymu. Mae Mumford yn awgrymu bodolaeth theori o'r fath:
Yn gryno, fy nghred yw bod theori patrwm yn cynnwys germau theori meddwl gyffredinol ei hun, un sy'n gwrthwynebu dadansoddiad derbyniol o feddwl yn nhermau rhesymeg. ... Mae tebygrwydd rhyfeddol strwythur pob rhan o'r cortecs dynol i'w gilydd ac y cortecs dynol â cortecs y mamaliaid mwyaf cyntefig yn awgrymu bod egwyddor cyffredinol cymharol syml yn rheoli ei weithrediad, hyd yn oed mewn meddwl cymhleth a dwfn. (David Mumford, Theori Patrymau: Persbectif Uno, 1994)
Does neb yn dal i wybod sut mae rhesymu yn gweithredu yn ein hymennydd. Mae fy ngwaith yn cael ysbrydoliaeth o resymeg ffurfiol ac anffurfiol, dysgu peiriannau a niwrowyddoniaeth. Mae fy ngwaith yn wahanol i ddulliau nodweddiadol o resymeg a dysgu peiriannau, gan fod gen i fwy o ddiddordeb mewn theori biolegol credadwy. Mae fy ngwaith hefyd yn wahanol i niwrowyddoniaeth, gan fy mod yn chwilio am fodel cyfrifiadurol.
Addysgu
Ar hyn o bryd rwy'n addysgu ac yn arwain y modiwlau canlynol.
- CM3112 (Deallusrwydd Artiffisial)
- CMT215 (Rhesymu Awtomataidd)
- CM2501 (Blwyddyn Astudio Dramor)
Rwy'n Gymrawd yr Academi Addysg Uwch (FHEA).
Bywgraffiad
Prif brosiectau (Prif Ymchwilydd)
- 2018 - 2022: Modelau Cynhyrchiol Bayesian Seiliedig ar Ddadleuon ar gyfer Mwyngloddio Dadleuon, Ymchwil Wyddonol C,
Grantiau-mewn-Cymorth ar gyfer Ymchwil Wyddonol <KAKENHI> - 2015 - 2019: Astudiaethau gwrthdaro sy'n seiliedig ar ddadleuon sy'n cael eu gyrru gan ddata, Ymchwil Wyddonol B
(Meysydd Ymchwil Cynhyrchiol "Astudiaethau Gwrthdaro"), Grantiau-mewn-Cymorth ar gyfer Ymchwil Wyddonol <KAKENHI>
Gwobrau
- Gwobr papur gorau JSAI (Cymdeithas Deallusrwydd Artiffisial Japan) 2012
Profiad
- Darlithydd, Ysgol Cyfrifiadureg a Gwybodeg, Prifysgol Caerdydd, DU
- Ymchwilydd cyswllt nodedig, Sefydliad Rhesymeg a Gwybyddiaeth, Prifysgol Sun Yat-sen, Tsieina
- Jokyo (cyswllt ymchwil / athro cynorthwyol) ac ymchwilydd prosiect, Ysgol Peirianneg,
Prifysgol Tokyo, Japan - Ymchwilydd ôl-ddoethurol, Sefydliad Cenedlaethol Gwyddoniaeth a Thechnoleg Diwydiannol Uwch, Japan
- Gweithiwr amser llawn, Canolfan Ymchwil a Datblygu Technoleg Gwybodaeth, Mitsubishi Electric Co, Ltd, Tokyo, Japan
Addysg
- PhD mewn deallusrwydd cyfrifiadurol a gwyddor systemau, Sefydliad Technoleg Tokyo
(Sefydliad Gwyddoniaeth Tokyo ers 2024), Japan - MSc mewn cyfrifiadureg, Prifysgol Hokkaido, Japan
- BSc mewn peirianneg gwybodaeth, Prifysgol Niigata, Japan
Contact Details
Themâu ymchwil
Arbenigeddau
- Deallusrwydd artiffisial