GLORIA

GEOMAR Library Ocean Research Information Access

X

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Algorithmic definitions for KLM-style defeasible disjunctive Datalog
    South African Institute of Computer Scientists and Information Technologists ; 2020
    In:  South African Computer Journal Vol. 32, No. 2 ( 2020-12-08)
    Details
    In: South African Computer Journal, South African Institute of Computer Scientists and Information Technologists, Vol. 32, No. 2 ( 2020-12-08)
    Abstract: Datalog is a declarative logic programming language that uses classical logical reasoning as its basic form of reasoning. Defeasible reasoning is a form of non-classical reasoning that is able to deal with exceptions to general assertions in a formal manner. The KLM approach to defeasible reasoning is an axiomatic approach based on the concept of plausible inference. Since Datalog uses classical reasoning, it is currently not able to handle defeasible implications and exceptions. We aim to extend the expressivity of Datalog by incorporating KLM-style defeasible reasoning into classical Datalog. We present a systematic approach for extending the KLM properties and a well-known form of defeasible entailment: Rational Closure. We conclude by exploring Datalog extensions of less conservative forms of defeasible entailment: Relevant and Lexicographic Closure. We provide algorithmic definitions for these forms of defeasible entailment and prove that the definitions are LM-rational.
    Type of Medium: Online Resource
    ISSN: 2313-7835 , 1015-7999
    URL: Article
    DOI: 10.18489/sacj.v32i2.846
    Language: Unknown
    Publisher: South African Institute of Computer Scientists and Information Technologists
    Publication Date: 2020
    detail.hit.zdb_id: 2121137-1
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
  • 2
    Online Resource
    Online Resource
    Defeasibility applied to Forrester’s paradox
    South African Institute of Computer Scientists and Information Technologists ; 2020
    In:  South African Computer Journal Vol. 32, No. 2 ( 2020-12-08)
    Details
    In: South African Computer Journal, South African Institute of Computer Scientists and Information Technologists, Vol. 32, No. 2 ( 2020-12-08)
    Abstract: Deontic logic is a logic often used to formalise scenarios in the legal domain. Within the legal domain there are many exceptions and conflicting obligations. This motivates the enrichment of deontic logic with not only the notion of defeasibility, which allows for reasoning about exceptions, but a stronger notion of typicality that is based on defeasibility. KLM-style defeasible reasoning is a logic system that employs defeasibility while Propositional Typicality Logic (PTL) is a logic that does the same for the notion of typicality. Deontic paradoxes are often used to examine logic systems as the paradoxes provide undesirable results even if the scenarios seem intuitive. Forrester’s paradox is one of the most famous of these paradoxes. This paper shows that KLM-style defeasible reasoning and PTL can be used to represent and reason with Forrester’s paradox in such a way as to block undesirable conclusions without completely sacrificing desirable deontic properties.
    Type of Medium: Online Resource
    ISSN: 2313-7835 , 1015-7999
    URL: Article
    DOI: 10.18489/sacj.v32i2.848
    Language: Unknown
    Publisher: South African Institute of Computer Scientists and Information Technologists
    Publication Date: 2020
    detail.hit.zdb_id: 2121137-1
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
  • 3
    Online Resource
    Online Resource
    Briton, Boer, and Yankee: The United States and South Africa, 1870-1914
    JSTOR ; 1981
    In:  The International Journal of African Historical Studies Vol. 14, No. 2 ( 1981), p. 357-
    Details
    In: The International Journal of African Historical Studies, JSTOR, Vol. 14, No. 2 ( 1981), p. 357-
    Type of Medium: Online Resource
    ISSN: 0361-7882
    URL: Article
    DOI: 10.2307/218058
    Language: Unknown
    Publisher: JSTOR
    Publication Date: 1981
    detail.hit.zdb_id: 2063944-2
    SSG: 8
    SSG: 6,31
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
  • 4
    Online Resource
    Online Resource
    DDLV: A System for rational preferential reasoning for datalog
    South African Institute of Computer Scientists and Information Technologists ; 2020
    In:  South African Computer Journal Vol. 32, No. 2 ( 2020-12-08)
    Details
    In: South African Computer Journal, South African Institute of Computer Scientists and Information Technologists, Vol. 32, No. 2 ( 2020-12-08)
    Abstract: Datalog is a powerful language that can be used to represent explicit knowledge and compute inferences in knowledge bases. Datalog cannot, however, represent or reason about contradictory rules. This is a limitation as contradictions are often present in domains that contain exceptions. In this paper, we extend Datalog to represent contradictory and defeasible information. We define an approach to efficiently reason about contradictory information in Datalog and show that it satisfies the KLM requirements for a rational consequence relation. We introduce DDLV, a defeasible Datalog reasoning system that implements this approach. Finally, we evaluate the performance of DDLV.
    Type of Medium: Online Resource
    ISSN: 2313-7835 , 1015-7999
    URL: Article
    DOI: 10.18489/sacj.v32i2.850
    Language: Unknown
    Publisher: South African Institute of Computer Scientists and Information Technologists
    Publication Date: 2020
    detail.hit.zdb_id: 2121137-1
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
  • 5
    Online Resource
    Online Resource
    Reviews
    Brill ; 1994
    In:  Journal of Religion in Africa Vol. 24, No. 1-4 ( 1994), p. 266-292
    Details
    In: Journal of Religion in Africa, Brill, Vol. 24, No. 1-4 ( 1994), p. 266-292
    Type of Medium: Online Resource
    ISSN: 0022-4200 , 1570-0666
    URL: Article
    DOI: 10.1163/157006694X00147
    Language: Unknown
    Publisher: Brill
    Publication Date: 1994
    detail.hit.zdb_id: 2066633-0
    SSG: 0
    SSG: 6,31
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
  • 6
    Online Resource
    Online Resource
    Globalization and Identity: Dialectics of Flow and Closure
    JSTOR ; 2001
    In:  Journal of Religion in Africa Vol. 31, No. 4 ( 2001-11), p. 487-
    Details
    In: Journal of Religion in Africa, JSTOR, Vol. 31, No. 4 ( 2001-11), p. 487-
    Type of Medium: Online Resource
    ISSN: 0022-4200
    URL: Article
    DOI: 10.2307/1581473
    Language: Unknown
    Publisher: JSTOR
    Publication Date: 2001
    detail.hit.zdb_id: 2066633-0
    SSG: 0
    SSG: 6,31
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
    Online Resource
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...