Argumentation Theory - Artificial Intelligence

Artificial Intelligence

See also: Argument mapping

Efforts have been made within the field of artificial intelligence to perform and analyze the act of argumentation with computers. Argumentation has been used to provide a proof-theoretic semantics for non-monotonic logic, starting with the influential work of Dung (1995). Computational argumentation systems have found particular application in domains where formal logic and classical decision theory are unable to capture the richness of reasoning, domains such as law and medicine. In Elements of Argumentation, Philippe Besnard and Anthony Hunter introduce techniques for formalizing deductive argumentation in artificial intelligence, emphasizing emerging formalizations for practical argumentation. A comprehensive overview of this area can be found in a recent book edited by Iyad Rahwan and Guillermo R. Simari.

Within Computer Science, the ArgMAS workshop series (Argumentation in Multi-Agent Systems), the CMNA workshop series, and now the COMMA Conference, are regular annual events attracting participants from every continent. The journal Argument & Computation is dedicated to exploring the intersection between argumentation and computer science.

Read more about this topic:  Argumentation Theory

Famous quotes containing the words artificial and/or intelligence:

    Kings are not born: they are made by artificial hallucination.
    George Bernard Shaw (1856–1950)

    All the old supports going, gone, this man reaches out a hand to steady himself on a ledge of rough brick that is warm in the sun: his hand feeds him messages of solidity, but his mind messages of destruction, for this breathing substance, made of earth, will be a dance of atoms, he knows it, his intelligence tells him so: there will soon be war, he is in the middle of war, where he stands will be a waste, mounds of rubble, and this solid earthy substance will be a film of dust on ruins.
    Doris Lessing (b. 1919)