English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

When argumentation is conceived as a kind of process, typically a dialogue, for reasoning rationally with limited resources under conditions of incomplete and inconsistent information, arguers need heuristics for controlling the search for arguments to put foward, so as to move from stage to stage in the process in an efficient, goal-directed way. For this purpose, we have developed a formal model of abduction in argument evalution structures. An argument evaluation structure consists of the arguments of a stage, assumptions about audience and an assignment of proof standards to issues. A derivability relation is defined over argument evaluation structures for the literals 'in' a stage. Literals which are not derivable in a stage are 'out'. Abduction is defined as a relation between an argument evaluation structure and sets of literals, called 'positions', which, when the assumptions are revised to include the literals of the position, would make a goal literal in or ou t, depending of the standpoint of the agent. Soundness, minimiality, consistency and completeness properties of the abduction relation are proven. A heuristic cost function estimating how difficult it is to find or construct arguments pro a literal in the domain can be used to order positions and literals within positions. We compare our work to abduction in propositional logic, in particular the Assumption-Based Truth Maintenance System (ATMS)

Goal selection in argumentation processes - a formal model of abduction in argument evaluation structures