SciELO - Scientific Electronic Library Online

 
vol.32 número2Ht-index for empirical evaluation of the sampled graph-based Discrete Pulse TransformDefeasibility applied to Forrester's paradox índice de autoresíndice de assuntospesquisa de artigos
Home Pagelista alfabética de periódicos  

Serviços Personalizados

Artigo

Indicadores

Links relacionados

  • Em processo de indexaçãoCitado por Google
  • Em processo de indexaçãoSimilares em Google

Compartilhar


South African Computer Journal

versão On-line ISSN 2313-7835
versão impressa ISSN 1015-7999

Resumo

MORRIS, Matthew; ROSS, Tala  e  MEYER, Thomas. Algorithmic definitions for KLM-style defeasible disjunctive Datalog. SACJ [online]. 2020, vol.32, n.2, pp.141-160. ISSN 2313-7835.  http://dx.doi.org/10.18489/sacj.v32i2.846.

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.CATEGORIES: Theory of computation ~ Automated reasoning Theory of computation ~ Logic and databases Computing methodologies ~ Nonmonotonic, default reasoning and belief revision

Palavras-chave : knowledge representation and reasoning; defeasible reasoning; KLM approach; Rational Closure; Relevant Closure; Datalog.

        · texto em Inglês     · Inglês ( pdf )

 

Creative Commons License Todo o conteúdo deste periódico, exceto onde está identificado, está licenciado sob uma Licença Creative Commons