Rakendusliku tehismõistuse uurimisrühm
TalTech prioriteetne teadussuund
Klassifikaator (Frascati)
Uurimisrühma juht
Uurimisrühma liige
Doktorant
Võtmesõna
mudelipõhine masinõpe
automatiseeritud inimlaadne arutlus
ontoloogiapõhine arutlus
soovitussüsteemid
loogikapõhised tarkvarasüsteemid
keeruliste süsteemide modelleerimine ja simulatsioonid
Ülevaade
Rakendusliku tehismõistuse grupp keskendub oma uurimistöös tehismõistuse meetoditele, arendades ja rakendades neid erinevates valdkondades. Keskendutakse peamiselt masinõppe, ontoloogiapõhise arutluse, automaatse teoreemitõestamise, teadmuse loomise jt tehismõistuse meetodite juurutamisele tööstuse ja avaliku sektori rakendustes. Lisaks tegeldakse uuringutega loomuliku keele mõistmise ja automatiseeritud inimlaadse arutluse valdkondades.Uurimistöö mitmete dekaadide vältel on loodud mitmeid rakendusi, mis võimaldavad tehismõistuse tehnikaid rakendada. Praegusel ajal on neist kasutusel või arendusjärgus järgmised:• CoCoViLa – visuaalne mudelipõhine automaatset programmisünteesi pakkuv tarkvaraarenduskeskkond - http://cocovila.github.io/• WhiteDB – kiire NoSQL andmebaasiohjur - http://whitedb.org/• GKC – arutlusvahend tööks (väga) suurtel teadmusbaasidel - https://github.com/tammet/gkcKäesoleval ajal on grupi keskseteks teemadeks tehismõistuse meetodite rakendamine ruumiandmeanalüüsil, masinõppe rakendamine e-kaubanduse ja avaliku sektori riskihalduses ning loomulikul keelel baseeruvate suhtlussüsteemide arendus.
Tähtsamad tulemused
2023. aastal:Ehitati eksperimentaalsüsteem tavamõtlemise automatiseerimiseks, eesmärgiga uurida ja katsetada võimalusi masinõppesüsteemide – eeskätt suurte keelemudelite (LLM) – integreerimiseks otsingupõhiste reegli- ja loogikasüsteemidega, ning loonud selle jaoks algoritmid loogikajärelduste süsteemi laiendamiseks erandite ja tõenäosustega. Lisaks sellele osalesime skaleeruvate plokiahelate ehitamisele suunatud uurimistöös koostöös AS GuardTime-ga,ning mitmetes küberkaitsealastes uurimistöödes. Osalesime toodete digipassi väljatöötamise HORIZON europrojektis CIRPASS, 2024. a järkub tegevusjätkuprojektis CIRPASS-2. Digipassi eesmärk on suuremahulise ringmajanduse toetamine.
Järv, P.; Tammet, T.; Verrev, M.; Draheim, D. (2023). Large-scale commonsense knowledge for default logic reasoning. SN Computer Science, 4 (550), 14 pp. DOI: 10.1007/s42979-023-01963-2
Tammet, T.; Järv, P.; Verrev, M.; Draheim, D. (2023). An experimental pipeline for automated reasoning in natural language (short paper). In: Pientka, Brigitte; Tinelli, Cesare (Ed.). Automated Deduction –CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings. (509−521). Cham: Springer. (Lecture Notes in Computer Science; 14132). DOI: 10.1007/978-3-031-38499-8_29
Seotud projektid
Seotud struktuuriüksus
- Draheim, D., Krimmer, R., Tammet, T. On state-level architecture of digital government ecosystems : from ICT-driven to data-centric // Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII. : Springer, 2021. p. 165–195. (Lecture notes in computer science ; 12670).
https://doi.org/10.1007/978-3-662-63519-3_8 - Dreyling III, R.M., Jackson, E., Tammet, T., Labanava, A., Pappel, I. Social, legal, and technical considerations for machine learning and artificial intelligence systems in government // Proceedings of the 23rd International Conference on Enterprise Information Systems ; vol. 1. : SciTePress, 2021. p. 701-708.
https://doi.org/10.5220/0010452907010708 - Tammet, T., Sutcliffe, G. Combining JSON-LD with first order logic // Proceedings - 2021 IEEE 15th International Conference on Semantic Computing, ICSC 2021. New York : IEEE, 2021. p. 256 - 261.
https://doi.org/10.1109/ICSC50631.2021.00051 - Buldas, A., Draheim, D., Gault, M., Laanoja, R., Nagumo, T., Saarepera, M., Shah, S. A., Simm, J., Steiner, J., Tammet, T., Truu, A. An ultra-scalable blockchain platform for universal asset tokenization : design and implementation // IEEE Access (2022) vol. 10, p. 77284-77322 : ill.
https://doi.org/10.1109/ACCESS.2022.3192837 - Koschel, A., Bertram, M., Bischof, R., Schulze, K., Schaaf, M., Astrova, I. A look at service meshes // 12th International Conference on Information, Intelligence, Systems & Applications (IISA), 12-14 July 2021 : proceedings. : IEEE, 2021. art. 9555536, 8 p.
https://doi.org/10.1109/IISA52424.2021.9555536 - Tammet, T., Draheim, D., Järv, P. GK : Implementing full first order default logic for commonsense reasoning (system description) // Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022 : proceedings. Cham : Springer, 2022. p. 300-309. (Lecture notes in computer science ; 13385).
https://doi.org/10.1007/978-3-031-10769-6_18 - Koschel, A., Bertram, M., Bischof, R., Schulze, K., Schaaf, M., Astrova, I. Cloud computing: serverless // 12th International Conference on Information, Intelligence, Systems & Applications (IISA), 12-14 July 2021 : proceedings. : IEEE, 2021. art. 21201275, 7 p. : ill.
https://doi.org/10.1109/IISA52424.2021.9555534 - Astrova, I., Koschel, A., Wellermann, N., Klostermeyer, P. Performance benchmarking of NewSQL databases with Yahoo cloud serving benchmark // Proceedings of the Future Technologies Conference (FTC) 2020 ; vol. 2. : Springer, 2021. p. 271-281. (Advances in Intelligent Systems and Computing ; 1290).
https://doi.org/10.1007/978-3-030-63089-8_17 - Tammet, T., Draheim, D., Järv, P. Confidences for commonsense reasoning. // Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021 : proceedings. Cham : Springer, 2021. p. 507–524. (Lecture notes in artificial intelligence ; 12699).
https://doi.org/10.1007/978-3-030-79876-5_29 - Spichakova, M., Haav, H-M. Using machine learning for automated assessment of misclassification of goods for fraud detection // Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings. Cham : Springer, 2020. p. 144-158. (Communications in computer and information science ; 1243).
https://doi.org/10.1007/978-3-030-57672-1_12 - Järv, P., Tammet, T., Verrev, M., Draheim, D. Knowledge integration for commonsense reasoning with default logic // Proceedings of the 14th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - KEOD 2022, October 24-26, 2022, in Valletta, Malta ; Vol. 1. : SciTePress, p. 148-155.
https://doi.org/10.5220/0000165700003335 - Spichakova, M., Haav, H-M. Application of machine learning for assessment of HS code correctness // Baltic journal of modern computing (2020) vol. 8, 4, p. 698-718.
https://doi.org/10.22364/bjmc.2020.8.4.13 - Astrova, I. How the Anti-TrustRank algorithm can help to protect the reputation of financial institutions // Research Challenges in Information Science : 14th International Conference, RCIS 2020, Limassol, Cyprus, September 23-25, 2020 : Proceedings. Cham : Springer, 2020. p. 503-508. (Lecture Notes in Business Information Processing ; 385).
https://doi.org/10.1007/978-3-030-50316-1_30 - Sinimaa, M., Spichakova, M., Belikov, J., Petlenkov, E. Feature engineering of Weather Data for Short-Term Energy Consumption Forecast // 2021 IEEE Madrid PowerTech. : IEEE, 2021. 6 p..
https://doi.org/10.1109/PowerTech46648.2021.9494920 - Perbandt, C. von, Tyca, M., Koschel, A., Astrova, I. Development support for intelligent systems : test, evaluation, and analysis of microservices // Intelligent systems and applications : proceedings of the 2021 Intelligent Systems Conference (IntelliSys). Volume 1. Cham, Switzerland : Springer, 2022. p. 857-875. (Lecture notes in networks and systems ; 294).
https://doi.org/10.1007/978-3-030-82193-7_58 - Koschel, A., Astrova, I., Alsleben, S-T., Bellok, J., Meyer, N., Meyer, S. Evaluating time series database management systems for insurance company // 2022 13th International Conference on Information, Intelligence, Systems and Applications (IISA) : proceedings. : IEEE, 2022. 6 p. : ill.
https://doi.org/10.1109/IISA56318.2022.9904360 - Draheim, D., Tammet, T. From sensors to Dempster-Shafer theory and back : the axiom of ambiguous sensor correctness and its applications // Database and Expert Systems Applications : 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020 : Proceedings, Part I. Cham : Springer Nature, 2020. p. 3-19. (Lecture Notes in Computer Science ; 12391).
https://doi.org/10.1007/978-3-030-59003-1_1 - Astrova, I., Koschel, A., Lee, S.L. Using market basket analysis to find semantic duplicates in ontology // Computational Science and Its Applications – ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1–4, 2020 : Proceedings, Part IV. Cham : Springer, 2020. p. 197-211. (Lecture notes in computer science ; 12252).
https://doi.org/10.1007/978-3-030-58811-3_14 - Robal, T., Haav, H-M., Penjam, J., Matulevičius, R. Preface // Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings. Cham : Springer Nature, 2020. p. v-vi. (Communications in computer and information science ; 1243).
https://doi.org/10.1007/978-3-030-57672-1 - Dreyling III, R.M., Tammet, T., Pappel, I. Artificial intelligence use in e-Government services : a systematic interdisciplinary literature review // Future Data and Security Engineering : Big Data, Security and Privacy, Smart City and Industry 4.0 Applications : 9th International Conference, FDSE 2022, Ho Chi Minh City, Vietnam, November 23-25, 2022 : proceedings. Singapore : Springer Nature, 2022. p. 547-559. (Communications in computer and information science ; 1688).
https://doi.org/10.1007/978-981-19-8069-5_37 - Astrova, I., Koschel, A., Schaaf, M., Klassen, S., Jdiya, K. Serverless, FaaS and why organizations need them // Intelligent decision technologies (2021) vol. 15, 4, p. 825-838.
https://doi.org/10.3233/IDT-210194 - Koschel, A., Astrova, I., Bartels, M., Helmers, M., Lyko, M. On testing microservice systems // Proceedings of the Future Technologies Conference (FTC) 2020 ; vol. 3. : Springer, 2021. p. 597–609. (Advances in Intelligent Systems and Computing ; 1290).
https://doi.org/10.1007/978-3-030-63092-8_40 - Luberg, A., Pindis, J., Tammet, T. Sights, titles and tags: mining a worldwide photo database for sightseeing // 10th International Conference on Web Intelligence, Mining and Semantics (WIMS 2020) & 5th International Conference on Real-time Intelligent Systems (RTIS 2020) : 30 June - 3 July 2020, Biarritz, France : proceedings. Danvers : ACM, 2020. p. 149-158 : ill.
https://doi.org/10.1145/3405962.3405987 - Tammet, T., Draheim, D., Järv, P., Verrev, M. First order logic and commonsense reasoning : a path less travelled // ICLP Workshops 2022 : Proceedings of the International Conference on Logic Programming 2022 Workshops, co-located with the 38th International Conference on Logic Programming, ICLP 2022. : CEUR-WS, 2022. art. 182197. (CEUR Workshop Proceedings ; 3193).
https://ceur-ws.org/Vol-3193/short5GDE.pdf - Maigre, R., Haav, H-M., Lillemets, R., Julge, K., Anton, G. A method of comparative spatial analysis of a digitized (LiDAR) point cloud and the corresponding GIS database // Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings. Cham : Springer Nature, 2020. p. 219-232 : ill. (Communications in computer and information science ; 1243).
https://doi.org/10.1007/978-3-030-57672-1_17 - Grossschmidt, G., Harf, M. Model-based simulation of a hydraulic closed-loop rotary transmission with automatic control // International journal of fluid power (2021) vol. 22, 1, 42 p. : ill.
https://doi.org/10.13052/ijfp1439-9776.2212 - Lange M., Koschel A., Astrova I. Dealing with data streams: Complex event processing vs. data stream mining // Computational Science and Its Applications – ICCSA 2020 : 20th International Conference, Cagliari, Italy, July 1–4, 2020 : Proceedings, Part IV. Cham : Springer, 2020. p. 3-14. (Lecture notes in computer science ; 12252).
https://doi.org/10.1007/978-3-030-58811-3_1 - Astrova, I., Koschel, A., Lee, S.L. How the apriori algorithm can help to find semantic duplicates in ontology // Knowledge-Based Software Engineering: 2020 : Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26, 2020. Cham : Springer, 2020. p. 178-191. (Learning and analytics in intelligent systems ; 19).
https://doi.org/10.1007/978-3-030-53949-8_16 - Harf, M., Grossschmidt, G. Model-based simulation of a hydraulic open-loop rotary transmission with automatic regulation of hydraulic motor (Part 1: Modelling) // ESM '2018 : The 2018 European Simulation and Modelling Conference, Modelling and Simulation : October 24-26, 2018, NH Gent Belfort, Ghent, Belgium : [Proceedings]. Ghent : EUROSIS-ETI, 2018. p. 63−68.
https://www.eurosis.org/cms/files/proceedings/ESM/ESM2018contents.pdf - Harf, M., Grossschmidt, G. Model-based simulation of a hydraulic open-loop rotary transmission with automatic regulation of hydraulic motor (Part 2: Simulation) // ESM '2018 : The 2018 European Simulation and Modelling Conference, Modelling and Simulation : October 24-26, 2018, NH Gent Belfort, Ghent, Belgium : [Proceedings]. Ghent : EUROSIS-ETI, 2018. p. 69-73.
https://www.eurosis.org/cms/files/ESM2018FINPROG.pdf - Matesanz, P., Buchner, D., Forderer, A., Astrova, I. ScaLib : Scalable Library System based on Google App Engine // 2018 9th International Conference on Information, Intelligence, Systems and Applications (IISA 2018) : Zakynthos, Greece, 23-25 July 2018. Danvers : IEEE, 2018. p.317-322 : ill.
http://doi.org/10.1109/IISA.2018.8633629 - Tomingas, K., Järv, P., Tammet, T. Computing data lineage and business semantics for data warehouse // Knowledge Discovery, Knowledge Engineering and Knowledge Management :8th International Joint Conference, IC3K 2016, Porto, Portugal, November 9–11, 2016 : Revised Selected Papers. Cham : Springer Nature, 2019. p. 101-124. (Communications in computer and information science ; 914).
https://doi.org/10.1007/978-3-319-99701-8_5 - Koschel, A., Heine, F., Astrova, I. Harnessing cloud scalability to hadoop clusters // Information Systems 15th European, Mediterranean, and Middle Eastern Conference, EMCIS 2018 : Limassol, Cyprus, October 4–5, 2018 : proceedings. Cham : Springer Nature, 2019. p. 59-71. (Lecture notes in business information processing ; 341).
https://doi.org/10.1007/978-3-030-11395-7_6 - Astrova, I., Koschel, A., Kobert, S. et al. Evaluating RuleCore as event processing network model // Proceedings of the 15th International Conference on Web Information Systems and Technologies, WEBIST 2019, Vienna, Austria, September 18-20, 2019. Vol. 1. [S.l.] : SciTePress, 2019. p. 297–300 : ill.
https://doi.org/10.5220/0008192302970300 - Maigre, R., Haav, H.-M. Domain ontology for expressing knowledge of variants of thermally modified wood products // Databases and Information Systems : 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018 : proceedings. Cham : Springer, 2018. p. 161-171. (Communications in computer and information science ; 838).
https://doi.org/10.1007/978-3-319-97571-9_14 - Astrova, I., Koschel, A., Eickemeyer, C., Kersten, J., Offel, N. DBaaS comparison : Amazon vs. Microsoft // International Conference on Information Society (i-Society 2017). Piscataway : IEEE, 2017. p. 15-21.
http://doi.org/10.23919/i-Society.2017.8354663 - Koschel, A., Blankschyn, M., Schulze, K., Schöner, D., Astrova, I., Astrov, I. RESTfulness of APIs in the wild // 2019 IEEE World Congress on Services : IEEE SERVICES 2019, 8–13 July, 2019 Milan, Italy : proceedings. : IEEE, 2019. art. 8817208 ; p. 382-383 : ill.
https://doi.org/10.1109/SERVICES.2019.00114 - Koschel A., Astrova I., Kobert S. et al. On requirements for event processing network models using business event modeling notation // Intelligent Computing : Proceedings of the 2018 Computing Conference. Volume 1, Intelligent Computing. Cham : Springer, 2019. p. 756-762. (Advances in intelligent systems and computing ; 858).
https://doi.org/10.1007/978-3-030-01174-1_57 - Koschel, A., Astrova, I., Blankschyn, M. et al. Evaluating the RESTfulness of "APIs from the Rough" // Proceedings of the 15th International Conference on Web Information Systems and Technologies, WEBIST 2019, Vienna, Austria, September 18-20, 2019. Vol. 1. [S.l.] : SciTePress, 2019. p. 281-288.
https://doi.org/10.5220/0008166802810288 - Astrova, I., Koschel, A., Heine, F., Kalja, A. Moving Hadoop to the Cloud for Big Data Analytics // Databases and information systems X : selected papers from the thirteenth International Baltic Conference, DB&IS 2018. Amsterdam : IOS Press, 2019. p. 195-209. (Frontiers in artificial intelligence and applications ; 315).
https://doi.org/10.3233/978-1-61499-941-6-195 https://www.ester.ee/record=b5203991*est - Grossschmidt, G., Harf, M. Model-based simulation of hydraulic hoses in an intelligent environment // International journal of fluid power (2018) vol. 19, 1, p. 27-41 : ill.
https://doi.org/10.1080/14399776.2017.1374140 - Koschel, A., Heine, F., Astrova, I, Astrova, I. A private cloud for data mining education // 2018 Sixth International Conference on Enterprise Systems : ES 2018 : 1–2 October 2018, Limassol, Cyprus : proceedings. Danvers : IEEE, 2018. p. 129-133 : ill.
http://doi.org/10.1109/ES.2018.00027 - Astrova, I., Koschel, A., Heine, F., Kalja, A. Scalable Hadoop-based infrastructure for big data analytics // Databases and Information Systems : 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018 : proceedings. Cham : Springer, 2018. p. 233-242. (Communications in computer and information science ; 838).
https://doi.org/10.1007/978-3-319-97571-9_19 - Haav, H.-M. A comparative study of approaches of ontology driven software development // Informatica (2018) vol. 29, 3, p. 439–466 : ill.
https://doi.org/10.15388/Informatica.2018.175 - Spitšakova, M., Belikov, J., Nõu, K., Petlenkov, E. Feature engineering for short-term forecast of energy consumption // Proceedings of 2019 IEEE PES : Innovative Smart Grid Technologies Europe : (ISGT-Europe), Bucharest Romania, 29 September - 2 October, 2019. Danvers : IEEE, 2019. 5 p. : ill.
https://doi.org/10.1109/ISGTEurope.2019.8905698 - Astrova, I., Koschel, A., Eickemeyer, C., Offel, N. Comparison of DBaaS Architectures // 2018 9th International Conference on Information, Intelligence, Systems and Applications (IISA 2018) : Zakynthos, Greece, 23-25 July 2018. Danvers : IEEE, 2018. p. 1-5 : ill.
https://doi.org/10.1109/IISA.2018.8633590 - Haav, H.-M., Maigre, R. A semantic model for product configuration in timber industry // Databases and information systems X : selected papers from the thirteenth International Baltic Conference, DB&IS 2018. Amsterdam : IOS Press, 2019. p. 143-158. (Frontiers in artificial intelligence and applications ; 315).
https://doi.org/10.3233/978-1-61499-941-6-143 https://www.ester.ee/record=b5203991*est - Järv, P. Predictability limits in session-based next item recommendation // RecSys '19: Thirteenth ACM Conference on Recommender Systems, Copenhagen Denmark, September, 2019. New York : ACM, 2019. p. 146–150.
https://doi.org/10.1145/3298689.3346990 - Koschel, A., Astrova, I., Dötterl, J. Making the move to microservice architecture // International Conference on Information Society (i-Society 2017). Piscataway : IEEE, 2017. p. 74-79 : ill.
http://doi.org/10.23919/i-Society.2017.8354675 - Järv, P., Tammet, T., Tall, M. Hierarchical regions of interest // 2018 IEEE 19th International Conference on Mobile Data Management : MDM 2018, 26–28 June 2018, Aalborg University, Denmark : proceedings. Danvers : IEEE, 2018. p. 86-95.
https://doi.org/10.1109/MDM.2018.00025 - Tammet, T. GKC: A reasoning system for large knowledge bases // Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings. Cham : Springer Nature, 2019. p. 538-549. (Lecture notes in computer science ; 11716).
https://doi.org/10.1007/978-3-030-29436-6_32 - Khalil, S.M., Bahsi, H., Henry Ochieng’ Dola, Korõtko, T., McLaughlin, K., Kotkas, V. Threat modeling of cyber-physical systems - a case study of a microgrid system // Computers & Security (2023) vol. 125, art. 102950, 16 p. : ill.
https://doi.org/10.1016/j.cose.2022.102950 - Lips, S., Tsap, V., Bharosa, N., Krimmer, R., Tammet, T., Draheim, D. Management of national eID infrastructure as a state-critical asset and public-private partnership : learning from the case of Estonia // Information Systems Frontiers (2023) vol. 25, 6, p.2439-2456.
https://doi.org/10.1007/s10796-022-10363-5 - Grunewald, A., Lange, M., Tran, K. C., Koschel, A., Astrova, I. A case for modern build automation for intelligent systems // Intelligent Systems and Applications : proceedings of the 2022 Intelligent Systems Conference (IntelliSys). Volume 1. Cham, Switzerland : Springer, 2023. p. 789-799. (Lecture notes in networks and systems ; 542).
https://doi.org/10.1007/978-3-031-16072-1_56 - Puudist, E. S., Luberg, A., Aus, K. Work-in-progress : exploring psychological and behavioural differences between university IT student segments formed based on dropout time and academic performance // Learning in the Age of Digital and Green Transition : Proceedings of the 25th International Conference on Interactive Collaborative Learning (ICL2022), Volume 2. Cham : Springer, 2023. p. 590-596. (Lecture Notes in Networks and Systems ; 634).
https://doi.org/10.1007/978-3-031-26190-9_62 - Lange, M., Tran, K.C., Grunewald, A., Koschel, A., Pakosch, A., Astrova, I. Modern build automation for an insurance company tool selection // Procedia computer science (2023) vol. 219, p. 736-743 : ill.
https://doi.org/10.1016/j.procs.2023.01.346