Results 41 to 50 of about 1,501,850 (327)
A Method for Expanding Predicates and Rules in Automated Geometry Reasoning System
Mathematics, 2022 Predicates and rules are usually enclosed as built-in functions in automated geometry reasoning systems, meaning users cannot add any predicate or rule, thus resulting in a limited reasoning capability of the systems.
Yongsheng Rao +4 more
doaj +1 more source
α-Minimal Resolution Principle For A Lattice-Valued Logic [PDF]
International Journal of Computational Intelligence Systems, 2015 Based on the academic ideas of resolution-based automated reasoning and the previously established research work on binary α-resolution based automated reasoning schemes in the framework of lattice-valued logic with truth-values in a lattice ...
Hairui Jia, Yang Xu, Yi Liu, Jun Liu
doaj +1 more source
Legal linguistic templates and the tension between legal knowledge representation and reasoning
Frontiers in Artificial Intelligence, 2023 There is an inherent tension between knowledge representation and reasoning. For an optimal representation and validation, an expressive language should be used. For an optimal automated reasoning, a simple one is preferred.
Tomer Libal
doaj +1 more source
Time in Automated Legal Reasoning [PDF]
Information & Communications Technology Law, 1998 Abstract Despite the ubiquity of time and temporal references in legal texts, their formalization has often been either disregarded or addressed in an ad hoc manner. In this paper we address this issue from the standpoint of the research done on temporal representation and reasoning in AI.
Vila, Lluis, Yoshino, Hajime
openaire +3 more sources
Determination of 3-Ary -Resolution in Lattice-valued Propositional Logic LP(X) [PDF]
International Journal of Computational Intelligence Systems, 2013 One of key issues for -() ary resolution automated reasoning based on lattice-valued logic with truth-value in a lattice implication algebra is to investigate the -() ary resolution of some generalized literals.
Yi Liu, Hairui Jia, Yang Xu
doaj +1 more source
Frontiers in Artificial Intelligence, 2023 It is well-known that Artificial Intelligence (AI), and in particular Machine Learning (ML), is not effective without good data preparation, as also pointed out by the recent wave of data-centric AI.
Gianluca Cima +3 more
doaj +1 more source
Automated Reasoning for Explainable Artificial Intelligence
ARCADE@CADE, 2017 M. P. Bonacina
semanticscholar +2 more sources
Interoperability between biomedical ontologies through relation expansion, upper-level ontologies and automatic reasoning. [PDF]
PLoS ONE, 2011 Researchers design ontologies as a means to accurately annotate and integrate experimental data across heterogeneous and disparate data- and knowledge bases.
Robert Hoehndorf +5 more
doaj +1 more source
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods [PDF]
, 2012 Smart premise selection is essential when using automated reasoning as a tool for large-theory formal proof development. A good method for premise selection in complex mathematical libraries is the application of machine learning to large corpora of ...
A Grabowski +21 more
core +10 more sources