![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
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
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. eds. 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. pp. -.
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 Presented at 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 Presented at Li, G. et al. eds.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. eds. Computational Models of Argument., Vol. 353. Frontiers in Artificial Intelligence and Applications IOS Press, pp. 56-67., (10.3233/FAIA220141)
Cynadleddau
- 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. pp. -.
- 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 Presented at 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 Presented at Li, G. et al. eds.Knowledge Science, Engineering and Management, Vol. 10412. Springer Verlag pp. 160-173., (10.1007/978-3-319-63558-3_14)
Erthyglau
- 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)
- Baroni, P., Cerutti, F. and Giacomin, M. 2022. A generalized notion of consistency with applications to formal argumentation. In: Toni, . et al. eds. Computational Models of Argument., Vol. 353. Frontiers in Artificial Intelligence and Applications IOS Press, pp. 56-67., (10.3233/FAIA220141)
- 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. pp. -.
- 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 Presented at 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 Presented at Li, G. et al. eds.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)
- 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. Rwy'n astudio'n gyrsiol modelau cyfrifiannol credadwy biolegol o resymu. Mae Mumford yn awgrymu bodolaeth damcaniaeth o'r fath:
I grynhoi, fy nghred i yw bod damcaniaeth patrymau yn cynnwys germau damcaniaeth gyffredinol o feddwl ei hun, un sy'n sefyll yn erbyn y dadansoddiad a dderbynnir o feddwl o ran rhesymeg. ... Mae'r tebygrwydd rhyfeddol o strwythur pob rhan o'r cortecs dynol i'w gilydd ac o cortex dynol â chortecs y mamaliaid mwyaf cyntefig yn awgrymu bod pennaeth cyffredinol cymharol syml yn rheoli ei weithrediad, hyd yn oed mewn meddwl cymhleth a dwfn. (David Mumford, Damcaniaeth Patrwm: Safbwynt Uno, 1994)
Does neb yn gwybod o hyd sut mae rhesymu yn gweithio yn ein hymennydd. Mae fy ngwaith yn cael ei ysbrydoli gan ddulliau a dulliau a ddefnyddir mewn rhesymeg ffurfiol ac anffurfiol, dysgu peirianyddol a niwrowyddoniaeth. Mae fy ngwaith yn wahanol i resymeg a dysgu peirianyddol, gan fod gen i fwy o ddiddordeb mewn theori fiolegol gredadwy. Mae fy ngwaith hefyd yn wahanol i niwrosicnice, 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
Prosiectau (Prif Ymchwilydd)
- 2018 - 2022: Modelau Geneteg Bayesaidd Seiliedig ar Ddadl ar gyfer Cloddio Dadleuon, Ymchwil Gwyddonol C, Grantiau mewn Cymorth ar gyfer Ymchwil Gwyddonol <KAKENHI>
- 2015 - 2019: Astudiaethau Gwrthdaro sy'n Seiliedig ar Ddata sy'n Seiliedig ar Dadl, Ymchwil Gwyddonol B (Meysydd Ymchwil Cynhyrchiol "Astudiaethau Gwrthdaro"), Grantiau Cymorth ar gyfer Ymchwil Gwyddonol <KAKENHI>
Dyfarniadau
- JSAI (Gwobr Papur Gorau Cymdeithas Deallusrwydd Artiffisial Japan) 2012
Profiad
- Darlithydd, Ysgol Cyfrifiadureg a Gwybodeg, Prifysgol Caerdydd, UK
- ymchwilydd cyswllt nodedig, Sefydliad Logic a Gwybyddiaeth, Prifysgol Sun Yat-sen, Tsieina
- Jokyo (athro cyswllt ymchwil/cynorthwy-ydd) ac ymchwilydd prosiect, Ysgol Peirianneg, Prifysgol Tokyo, Japan
- Ymchwil ôl-ddoethurol, Sefydliad Cenedlaethol Gwyddoniaeth a Thechnoleg Diwydiannol Uwch, Japan
- gweithiwr llawn amser, Canolfan Ymchwil a Datblygu Technoleg Gwybodaeth, Mitsubishi Electric Co, Ltd., Tokyo, Japan
Addysg
- PhD mewn cudd-wybodaeth gyfrifiadurol a gwyddoniaeth systemau, Tokyo Sefydliad Technoleg, Japan
- MSc mewn cyfrifiadureg, Prifysgol Hokkaido, Japan
- BSc mewn peirianneg gwybodaeth, Prifysgol Niigata, Japan
Themâu ymchwil
Arbenigeddau
- Deallusrwydd artiffisial