2023
DOI: 10.3390/electronics12020256
|View full text |Cite
|
Sign up to set email alerts
|

GEAR: A General Inference Engine for Automated MultiStrategy Reasoning

Abstract: The pervasive use of AI today caused an urgent need for human-compliant AI approaches and solutions that can explain their behavior and decisions in human-understandable terms, especially in critical domains, so as to enforce trustworthiness and support accountability. The symbolic/logic approach to AI supports this need because it aims at reproducing human reasoning mechanisms. While much research has been carried out on single inference strategies, an overall approach to combine them is still missing. This p… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
3
0

Year Published

2023
2023
2024
2024

Publication Types

Select...
2
1
1
1

Relationship

1
4

Authors

Journals

citations
Cited by 6 publications
(3 citation statements)
references
References 49 publications
0
3
0
Order By: Relevance
“…In particular, our framework uses GEAR (an acronym for 'General Engine for Automated Reasoning') [72], a logical inference engine capable of MultiStrategy Reasoning, i.e., of integrating and bringing to cooperation several inference strategies in order to cope with the several complexities posed by real-world tasks and problems. The current prototype includes the following strategies: Deduction aims at making explicit knowledge that is implicit in the available knowledge but is a necessary consequence thereof.…”
Section: Automated Multistrategy Reasoning For Traffic Interpretationmentioning
confidence: 99%
“…In particular, our framework uses GEAR (an acronym for 'General Engine for Automated Reasoning') [72], a logical inference engine capable of MultiStrategy Reasoning, i.e., of integrating and bringing to cooperation several inference strategies in order to cope with the several complexities posed by real-world tasks and problems. The current prototype includes the following strategies: Deduction aims at making explicit knowledge that is implicit in the available knowledge but is a necessary consequence thereof.…”
Section: Automated Multistrategy Reasoning For Traffic Interpretationmentioning
confidence: 99%
“…The Neo4j libraries for graph manipulation, querying, and mining; • Advanced MultiStrategy Reasoning tools that combine different inference strategies to tackle more complex problems and closely simulate human reasoning (e.g., as provided by GEAR [2]); • Standard SW representation techniques and reasoning tools to be interoperable with the existing SW world.…”
mentioning
confidence: 99%
“…Pattern Mining based on automated reasoning, which provides more expressive power than LPG-based query languages such as Cypher. For this, GraphBRAIN is connected to the GEAR [2] Multistrategy Reasoning engine, currently providing deduction, abduction, abstraction, induction, probabilistic, and similarity-based inferences.…”
mentioning
confidence: 99%