Diaria: an integrated inference engine

Caraça-Valente Hernández, Juan Pedro, Gómez-Pérez, A. ORCID: https://orcid.org/0000-0002-3037-0331, Juristo Juzgado, Natalia ORCID: https://orcid.org/0000-0002-2465-7141 and Morant Ramón, José Luis ORCID: https://orcid.org/0000-0003-1420-3063 (1992). Diaria: an integrated inference engine. In: "Panel´92", Jul 1992, Las Palmas de Gran Canaria, España. pp. 248-254.


Title: Diaria: an integrated inference engine
Item Type: Presentation at Congress or Conference (Article)
Event Title: Panel´92
Event Dates: Jul 1992
Event Location: Las Palmas de Gran Canaria, España
Title of Book: Panel '92: actas: XVIII Conferencia Latinoamericana de Informática
Date: 1992
Volume: 1
Freetext Keywords: Reasoning models, deduction, induction, abduction, retroduction, hybrid systems
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of CON_INT_01.pdf] PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (219kB)


To date all inference engines have been based on modus ponens which is, of course, a deductive inference rule. However, when making inferences, human beings do not only use modus ponens or any other deductive inference rule, they also employ inductive, abductive and deductive inference rules, as required by the circumstances. In this paper, after having studied the different kinds of inference in AI: deductive, inductive, abductive and retroductive, we present a design of an inference engine which incorporates three of these kinds of inference and uses each of them when most appropriate, depending on the data, information and knowledge with which it is supplied at any time. Thus we have a true data-driven inference system.

More information

Item ID: 72484
DC Identifier: https://oa.upm.es/72484/
OAI Identifier: oai:oa.upm.es:72484
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 30 Jan 2023 12:03
Last Modified: 30 Jan 2023 12:03
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM