26 citations · 54 across the 30 of their papers we have counts for
5 papers · 2 filters
Measuring reasoning capabilities of ChatGPT
Adrian Groza
I shall quantify the logical faults generated by ChatGPT when applied to reasoning tasks. For experiments, I use the 144 puzzles from the library \url{https://users.utcluj.ro/~agro…
Forest Mixing: investigating the impact of multiple search trees and a shared refinements pool on ontology learning
Marco Pop-Mihali, Adrian Groza
We aim at development white-box machine learning algorithms. We focus here on algorithms for learning axioms in description logic. We extend the Class Expression Learning for Ontol…
Formalising Natural Language Quantifiers for Human-Robot Interactions
Stefan Morar, Adrian Groza, Mihai Pomarlan
We present a method for formalising quantifiers in natural language in the context of human-robot interactions. The solution is based on first-order logic extended with capabilitie…
Ontology engineering with Large Language Models
Patricia Mateiu, Adrian Groza
We tackle the task of enriching ontologies by automatically translating natural language sentences into Description Logic. Since Large Language Models (LLMs) are the best tools for…
Solving probability puzzles with logic toolkit
Adrian Groza
The proposed approach is to formalise the probabilistic puzzle in equational FOL. Two formalisations are needed: one theory for all models of the given puzzle, and a second theory…