A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling

Communication Dans Un Congrès Année : 2018

(1) , (1) , (2)

1 (LIRMM — Campus Saint Priest – 860 rue de St Priest – 34095 Montpellier - France) 388182

LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (161 rue Ada - 34095 Montpellier - France) 181
- UM - Université de Montpellier : UMR5506 (163 rue Auguste Broussonnet - 34090 Montpellier - France) 410122
- CNRS - Centre National de la Recherche Scientifique : UMR5506 (France) 441569
CRISAM - Inria Sophia Antipolis - Méditerranée (2004 route des Lucioles BP 93 06902 Sophia Antipolis - France) 34586
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) 300009

"> GRAPHIK - Graphs for Inferences on Knowledge
2 (Campus de la Gaillarde 2, place Pierre Viala 34 060 Montpellier Cédex 02 - FRANCE - France) 456167

Cirad - Centre de Coopération Internationale en Recherche Agronomique pour le Développement : UMR62-2011 (Siège 42, rue Scheffer 75116 Paris - France) 11574
INRA - Institut National de la Recherche Agronomique : UMR1208 (France) 92114
UM2 - Université Montpellier 2 - Sciences et Techniques (Place Eugène Bataillon - 34095 Montpellier cedex 5 - France) 92690
Montpellier SupAgro - Centre international d'études supérieures en sciences agronomiques (2, place Pierre Viala - 34060 Montpellier Cedex 02 - France) 92699
UM - Université de Montpellier (163 rue Auguste Broussonnet - 34090 Montpellier - France) 410122
Montpellier SupAgro - Institut national d’études supérieures agronomiques de Montpellier (2, place Viala 34060 Montpellier Cédex 2 - France) 474617

"> UMR IATE - Ingénierie des Agro-polymères et Technologies Émergentes

Abdelraouf Hecham

Fonction : Auteur
PersonId : 8919
IdHAL : hecham

Graphs for Inferences on Knowledge

Madalina Croitoru

Fonction : Auteur
PersonId : 742676
IdHAL : madalina-croitoru
ORCID : 0000-0001-5456-7684
IdRef : 175044694

Graphs for Inferences on Knowledge

Pierre Bisquert

Fonction : Auteur
PersonId : 4330
IdHAL : pierre-bisquert
ORCID : 0000-0001-9418-5330
IdRef : 181030284

Ingénierie des Agro-polymères et Technologies Émergentes

Résumé

In this paper we are interested in the task of a data engineer choosing what tool to use to perform defeasible reasoning with a first order logic knowledge base. To this end we propose the first benchmark in the literature that allows one to classify first order defeasible reasoning tools based on their semantics, expressiveness and performance.

Domaines

Informatique [cs] Intelligence artificielle [cs.AI]

Fichier principal

rr-bench-raouf.pdf (438.17 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

Abdelraouf Hecham : Connectez-vous pour contacter le contributeur

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01894747

Soumis le : vendredi 12 octobre 2018-17:54:25

Dernière modification le : jeudi 14 novembre 2024-16:18:04

Archivage à long terme le : dimanche 13 janvier 2019-15:39:55

Dates et versions

lirmm-01894747 , version 1 (12-10-2018)

Identifiants

HAL Id : lirmm-01894747 , version 1
DOI : 10.1007/978-3-319-99906-7_6

Citer

Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert. A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling. RuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.81-97, ⟨10.1007/978-3-319-99906-7_6⟩. ⟨lirmm-01894747⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CIRAD CNRS INRIA INRA IATE GRAPHIK LIRMM INRIA2 MIPS BA UNIV-MONTPELLIER INSTITUT-AGRO-MONTPELLIER INRAE INRAEOCCITANIEMONTPELLIER

243 Consultations

356 Téléchargements