Eingang zum Volltext in SciDok


Report (Bericht) zugänglich unter
URN: urn:nbn:de:bsz:291-scidok-38958

Uncertainty-valued horn clauses

Hall, Victoria

Quelle: (1994) Kaiserslautern ; Saarbrücken : DFKI, 1994
Dokument 1.pdf (11.973 KB)

Bookmark bei Connotea Bookmark bei
SWD-Schlagwörter: Künstliche Intelligenz
Institut: DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
DDC-Sachgruppe: Informatik
Dokumentart: Report (Bericht)
Schriftenreihe: Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-0071]
Bandnummer: 94-03
Sprache: Englisch
Erstellungsjahr: 1994
Publikationsdatum: 08.07.2011
Kurzfassung auf Englisch: There are many forms of uncertainty, each usually again having more than one theoretical model. Therefore, a very flexible kind of uncertainty-valued Horn clauses is introduced in RELFUN in section 1. They have a head, several premises and an uncertainty factor, which represents the uncertainty of the clause. The premises are all "functional" in the sense that their returned value is again an uncertainty value. These premises and the uncertainty factor of an uncertainty rule become embedded into the arguments of a combination function when translating uncertainty clauses into footed clauses (non-ground, non-deterministic functions in RELFUN, which can then be compiled as usual). The combination function can be modified by the user. It may be a built-in or a user-defined function, either of which may be computed as the value of a higher-order function. In section 2, an application of uncertainty clauses to the uncertain concept of a "pet holder", according to German law, is described. This and another example are then fully demonstrated in appendix A. Finally, appendix B gives a listing of the complete uncertainty translator in LISP.
Lizenz: Standard-Veröffentlichungsvertrag

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English