Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

4

ECAI
2004
Springer

favoriteEmaildiscussreport

122views Artificial Intelligence» more ECAI 2004»

Extending Defeasible Logic and Defeasible Prolog

13 years 10 months ago

Extending Defeasible Logic and Defeasible Prolog

Download www.helsinki.fi

Abstract. Defeasible logic (DL) promotes enthymemic, argumentative reasoning on incomplete set of premisses retracted on the presence of contrary information. Defeasible Prolog (d-Prolog) is a Prolog metainterpreter to implement DL. We give proof conditions for the even-if clauses of DL with the pre-emption of defeaters to prevent rules from rebutting more speciﬁc rules, implemented in d-Prolog.

Ahti-Veikko Pietarinen

Real-time Traffic

Argumentative Reasoning | Artificial Intelligence | Defeasible Logic | Defeasible Prolog | ECAI 2004 |

claim paper

Related Content

» Defeasible Logic on an Embedded Microcontroller

» Extending a Defeasible Reasoner with Modal and Deontic Logic Operators

» Defeasible Description Logics

» On the Problem of Computing Ambiguity Propagation and WellFounded Semantics in Defeasible ...

» A Semantic Web Based Architecture for eContracts in Defeasible Logic

» A characterization of collective conflict for defeasible argumentation

» Defeasible Argumentation Support for an Extended BDI Architecture

» A Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics

» Preferential defeasibility utility in defeasible logic programming

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	ECAI
Authors	Ahti-Veikko Pietarinen

Comments (0)