W zależności od ilości danych do przetworzenia generowanie pliku może się wydłużyć.

Jeśli generowanie trwa zbyt długo można ograniczyć dane np. zmniejszając zakres lat.

Artykuł

Pobierz BibTeX

Tytuł

Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation

Autorzy

[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] pracownik

Rok publikacji

2014

Opublikowano w

ACM Transactions on Computational Logic

Rocznik: 2014 | Tom: vol. 15 | Numer: iss. 4

Typ artykułu

artykuł naukowy

Język publikacji

angielski

Słowa kluczowe
EN
  • abduction
  • synthetic tableau method
  • multicriteria
  • dominance relation
  • optimization
Streszczenie

EN In this article, results of the automation of an abductive procedure are reported. This work is a continuation of our earlier research [Komosinski et al. 2012], where a general scheme of the procedure has been proposed. Here, a more advanced system developed to generate and evaluate abductive hypotheses is introduced. Abductive hypotheses have been generated by the implementation of the synthetic tableau method. Prior to the evaluation, the set of hypotheses has undergone several reduction phases. To assess usefulness of abductive hypotheses in the reduced set, several criteria have been employed. The evaluation of efficiency of the hypotheses has been provided by the multicriteria dominance relation. To comprehend the abductive procedure and the evaluation process more extensively, analyses have been conducted on a number of artificially generated abductive problems.

Strony (od-do)

28-1 - 28-20

DOI

10.1145/2629669

URL

https://dl.acm.org/doi/10.1145/2629669

Uwagi

Article Number: 28

Punktacja Ministerstwa / czasopismo

40

Impact Factor

0,618

Ta strona używa plików Cookies, w celu zapamiętania uwierzytelnionej sesji użytkownika. Aby dowiedzieć się więcej przeczytaj o plikach Cookies i Polityce Prywatności.