@article{MTMT:34130762, title = {Kooperatív játékok információhiányos környezetben}, url = {https://m2.mtmt.hu/api/publication/34130762}, author = {Balázs, Patrícia}, doi = {10.35406/MI.2022.1.37}, journal-iso = {MESTERS INTELL}, journal = {MESTERSÉGES INTELLIGENCIA}, volume = {4}, unique-id = {34130762}, abstract = {Kutatásom során a Hanabi társasjátékkal foglalkoztam, amely egy tipikus kooperatív és dedukciós játék. Ennek segítségével azt elemeztem, hogy mennyire segíti a játék megnyerését a modális logika. Vizsgálataim során egy olyan alkalmazást készítettem, amelynek segítségével az emberek és a gépi ágensek együttműködve játszhatnak végig egy-egy játékmenetet. Az ágensek a meglévő ismereteikből következtetnek ki újabb állításokat a modális logika és az automatikus tételbizonyítás felhasználásával, a feltételezhető lehetőségek közül pedig eltérő valószínűségekkel próbálnak meg választani.}, year = {2022}, eissn = {2676-9611}, pages = {37-48} } @inproceedings{MTMT:32459710, title = {Mathability and exploring mathematical skills of programmers with exercises’ annotations}, url = {https://m2.mtmt.hu/api/publication/32459710}, author = {Balázs, Patrícia and Biró, Piroska and Kádek, Tamás and Kósa, Márk Szabolcs and Pánovics, János}, booktitle = {12th IEEE International Conference on Cognitive Infocommunications (CogInfoCom 2021)}, unique-id = {32459710}, abstract = {The Faculty of Informatics at the University of Debrecen has been using software (ProgCont) to automatically evaluate programming tasks for almost a decade. The data collected during this period has recently made it possible to carry out various pedagogical studies. These investigations are needed to improve the system’s feedback extending the fields where we can apply it: originally in competitions and later in classroom teaching or stand-alone preparation. Our previous studies have shown that enhancing the system’s feedback can play an essential role in this respect, for which we have developed an annotation technique. Our paper focuses our investigations on mathability, examining students’ performance in solving tasks that require mathematical skills, using the possibilities offered by annotations.}, year = {2021}, pages = {347-350}, orcid-numbers = {Biró, Piroska/0000-0001-5997-2515; Kádek, Tamás/0000-0003-1865-5251} } @CONFERENCE{MTMT:31638978, title = {Megoldáskereső algoritmusok programozása Racket nyelven}, url = {https://m2.mtmt.hu/api/publication/31638978}, author = {Balázs, Patrícia and Kósa, Márk Szabolcs and Pánovics, János}, booktitle = {XXI. Energetika-Elektrotechnika – ENELKO és XXX. Számítástechnika és Oktatás – SzámOkt Multi-konferencia}, unique-id = {31638978}, abstract = {A mesterséges intelligencia tudományterületéhez már megszületésétől kezdve szorosan kapcsolódtak a funkcionális programozási nyelvek. A Debreceni Egyetem Informatikai Karán az elmúlt években objektumorientált megközelítésben ismertettük a legfontosabb megoldáskereső algoritmusokat. Amióta megtörtént a programtervező informatikus BSc szak mintatantervének korszerűsítése, megjelent benne a Magas szintű programozási nyelvek 3 tárgy, amely kifejezetten a funkcionális paradigmán alapuló programozási nyelveket mutatja be. Cikkünkben azt mutatjuk be, hogy hogyan lehet az objektumorientált világban már megismert algoritmusokat tisztán funkcionális környezetben, jelesül Racket nyelven is implementálni.}, keywords = {megoldáskereső algoritmusok; funkcionális programozás; Racket programozási nyelv}, year = {2020}, pages = {46-52} }