Logic of argumentation

The logic of argumentation (LA) is a formalised description of the ways in which humans reason and argue about propositions. It is used, for example, in computer artificial intelligence systems in the fields of medical diagnosis and prognosis, and research chemistry.

Origin of term

Krause et al.[1] appear to have been the first authors to use the term "logic of argumentation" in a paper about their model for using argumentation for qualitative reasoning under uncertainty, although the approach had been used earlier in prototype computer applications to support medical diagnosis.[2][3] Their ideas have been developed further,[4][5] and used in applications for predicting chemical toxicity and xenobiotic metabolism, for example.[6][7]

Implementations

In LA, arguments for and arguments against a proposition are distinct; an argument for a proposition contributes nothing to the case against it, and vice versa. Among other things, this means that LA can support contradiction – proof that an argument is true and that it is false. Arguments supporting the case for and arguments supporting the case against are aggregated separately, leading to a single assessment of confidence in the case for and a single assessment of confidence in the case against. Then the two are resolved to provide a single measure of confidence in the proposition.

In most implementations of LA the default aggregated value is equal to the strongest value in the set of arguments for or against the proposition. Having more than one argument in agreement does not automatically increase confidence because it cannot be assumed that the arguments are independent when reasoning under uncertainty. If there is evidence that arguments are independent and there is a case for increased confidence when they agree, this is sometimes expressed in additional rules of the form "If A and B then ...".

The process of aggregation and resolution can be represented as follows:

T = Resolve[Max{For(Ca,x, Cb,y, ...)}, Max{Against(Ca,x, Cb,y, ...)}]

where T is the overall assessment of confidence in a proposition; Resolve[] is a function which returns the single confidence value which is the resolution of any pair of values; For and Against are the sets of arguments supporting and opposing the proposition, respectively; Ca,x, Cb,y, ..., are the confidence values for those arguments; Max{...} is a function which returns the strongest member of the set upon which it operates (For or Against).

Arguments may assign confidence to propositions that themselves influence confidence in other arguments, and one rule may be undercut by another. A computer implementation can recognize these interrelationships to construct reasoning trees automatically.

See also

References

  1. ^ Paul J. Krause, Simon Ambler, Morten Elvang-Gøransson, and John Fox, A Logic of Argumentation for Reasoning Under Uncertainty, Computational Intelligence, 1995, 11(1), 113-131.
  2. ^ Morten Elvang-Gøransson, Paul J. Krause, and John Fox, Dialectic Reasoning with Inconsistent Information. in Uncertainty in Artificial Intelligence: Proceedings of the Ninth Conference, eds. D. Heckerman and A. Mamdani, Morgan Kaufmann, San Francisco, 1993, pp. 114-121.
  3. ^ John Fox, David W. Glasspool, and Jonathan Bury, Quantitative and Qualitative Approaches to Reasoning under Uncertainty in Medical Decision Making, in 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001 Cascais, Portugal, July 2001, Proceedings, eds. S. Quaglini, P. Barahone, and S. Andreassen, Springer, Berlin, 2001, pp 272-282.
  4. ^ Philip N. Judson and Jonathan D. Vessey, A Comprehensive Approach to Argumentation, J. Chem. Inf. Comput. Sci., 2003, 43, 1356-1363.
  5. ^ Leila Amgoud and Henri Prade, Towards a Logic of Argumentation, Lecture Notes in Comput. Sci., 2012, 7520, 558-565.
  6. ^ Philip N. Judson; Carol A. Marchant; Jonathan D. Vessey. Using Argumentation for Absolute Reasoning about the Potential Toxicity of Chemicals. Journal of Chemical Information and Computer Science, 2003, 43, 1364-1370.
  7. ^ William G. Button, Philip N. Judson, Anthony Long, and Jonathan D. Vessey. Using Absolute and Relative Reasoning in the Prediction of the Potential Metabolism of Xenobiotics, J. Chem. Inf. Comput. Sci., 2003, 43, 1371-1377.

Read other articles:

Peta menunjukan lokasi Buhi Buhi adalah munisipalitas yang terletak di provinsi Camarines Sur, Filipina. Pada tahun 2015, munisipalitas ini memiliki populasi sebesar 77.143 jiwa. Pembagian wilayah Secara politis Buhi terbagi menjadi 38 barangay, yaitu: Antipolo Burocbusoc Cabatuan Cagmaslog Amlongan (Del Rosario) De La Fe Divino Rostro Ipil (Fatima) Gabas Ibayugan Igbac Iraya (Del Rosario) Labawon (Santa Teresita) De Los Angeles (Los Angeles) Monte Calvario Namurabod Sagrada Familia Salvacion...

 

Elly-Heuss-Knapp-Gymnasium Heilbronn Schulform Gymnasium Schulnummer 04103950 Gründung 1831 Adresse Kraichgauplatz 17 Ort Heilbronn Land Baden-Württemberg Staat Deutschland Koordinaten 49° 8′ 43″ N, 9° 10′ 48″ O49.1453489.179914Koordinaten: 49° 8′ 43″ N, 9° 10′ 48″ O Schüler ca. 900 (2019)[1] Lehrkräfte über 80 (2019)[1] Leitung Christoph Zänglein Website www.ehkg-hn.de Das Elly-Heuss-Knapp-...

 

Cet article est une ébauche concernant un cours d’eau et la Marne. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Canal de Meaux à Chalifert Écluse et port de Chalifert (au centre, sur la Marne), et tunnel de Chalifert (en haut). Géographie Pays France Région Île-de-France Département Seine-et-Marne Coordonnées 48° 53′ 57″ N, 2° 46′ 10″ E Début Meaux Fin Chalif...

Representation of time used in computers System clock redirects here. Not to be confused with Clock generator, Clock signal, or Clock rate. Unix date command In computer science and computer programming, system time represents a computer system's notion of the passage of time. In this sense, time also includes the passing of days on the calendar. System time is measured by a system clock, which is typically implemented as a simple count of the number of ticks that have transpired since some a...

 

Стволовые клетки Просвечивающая электронная микрофотография мезенхимальной стволовой клетки, показывающая типичные ультраструктурные характеристики  Медиафайлы на Викискладе Эта статья или раздел нуждается в переработке.Пожалуйста, улучшите статью в соответств�...

 

Cold water current in the Sea of Japan The North Korea Cold Current (NKCC) is a cold water oceanic current in the Sea of Japan (East Sea of Korea) that flows southward from near Vladivostok along the coastline of the eastern Korean Peninsula. It is a branch of the Liman Current from the Sea of Okhotsk and has a flow rate of about a half knot. The NKCC meets the northward flowing East Korean Warm Current at latitude 37–38° N, causing the flow to separate from the peninsula.[1] ...

Mohamed Kalil Traoré Nazionalità  Guinea Calcio Ruolo Attaccante Squadra  Stade Beaucairois CarrieraSquadre di club1 2020-2021 Kamsar? (?)2021-2022 Hapoel Tel Aviv17 (0)2023- Stade Beaucairois11 (0)Nazionale 2021- Guinea6 (0) 1 I due numeri indicano le presenze e le reti segnate, per le sole partite di campionato.Il simbolo → indica un trasferimento in prestito. Statistiche aggiornate al 21 agosto 2023 Modifica dati su Wikidata · Manuale Mohamed Kalil T...

 

Сибирский горный козёл Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:СинапсидыКла�...

 

AnberlinGli Anberlin prima di una sessione d'autografi a Phoenix nel 2007 Paese d'origine Stati Uniti GenereRock alternativo[1]Christian rockIndie rock[1] Periodo di attività musicale2001 – 2014[1] EtichettaTooth & Nail RecordsUniversal Records Album pubblicati8 Studio7 Raccolte1 Sito ufficiale Modifica dati su Wikidata · Manuale Gli Anberlin sono stati un gruppo alternative rock[1] formatosi nel 2001 a Winter Haven, Florida...

Canadian junior ice hockey team Hamilton FincupsCityHamilton, OntarioLeagueOntario Major Junior Hockey LeagueOperated1974 (1974)–78ColoursBlue, white and goldFranchise history1946–1953Windsor Spitfires1953–1960Hamilton Tiger Cubs1960–1974Hamilton Red Wings1974–1978Hamilton/St. Catharines Fincups1978–1984Brantford Alexanders1984–1988Hamilton Steelhawks1988–1996Niagara Falls Thunder1996–presentErie OttersChampionshipsPlayoff championships1976 Memorial Cup Champions The Ha...

 

2020年夏季奥林匹克运动会波兰代表團波兰国旗IOC編碼POLNOC波蘭奧林匹克委員會網站olimpijski.pl(英文)(波兰文)2020年夏季奥林匹克运动会(東京)2021年7月23日至8月8日(受2019冠状病毒病疫情影响推迟,但仍保留原定名称)運動員206參賽項目24个大项旗手开幕式:帕维尔·科热尼奥夫斯基(游泳)和马娅·沃什乔夫斯卡(自行车)[1]闭幕式:卡罗利娜·纳亚(皮划艇)&#...

 

Russian pole vaulter In this name that follows Eastern Slavic naming customs, the patronymic is Aleksandrovna and the family name is Sidorova. Anzhelika SidorovaSidorova in 2021Personal informationNationalityRussianBorn (1991-06-28) 28 June 1991 (age 32)Moscow, RussiaHeight170 cm (5 ft 7 in)[1]Weight52 kg (115 lb)[1]SportCountryRussiaSportAthleticsEventPole vaultAchievements and titlesPersonal best(s)Outdoor: 5.01 m (2021)Indoor: 4.95...

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Maret 2023. PriscillaSutradaraSofia CoppolaProduser Sofia Coppola Youree Henley Lorenzo Mieli SkenarioSofia CoppolaBerdasarkanElvis and Meoleh Priscilla PresleySandra HarmonPemeran Cailee Spaeny Jacob Elordi SinematograferPhilippe Le SourdPenyuntingSarah FlackPerusa...

 

Not to be confused with 2023 UEFA Nations League final, the final match of the Nations League. 2023 UEFA Nations League FinalsFinaleronde UEFA Nations League 2023 (in Dutch)Tournament detailsHost countryNetherlandsDates14–18 JuneTeams4Venue(s)2 (in 2 host cities)Final positionsChampions Spain (1st title)Runners-up CroatiaThird place ItalyFourth place NetherlandsTournament statisticsMatches played4Goals scored14 (3.5 per match)Attendance126,319 (31,580...

 

City in Kherson Oblast, Ukraine Tsiurupynsk redirects here. For the nearby village also formerly known by that name, see Poima. You can help expand this article with text translated from the corresponding article in Ukrainian. (July 2022) Click [show] for important translation instructions. Machine translation, like DeepL or Google Translate, is a useful starting point for translations, but translators must revise errors as necessary and confirm that the translation is accurate, rather t...

Year in Russia ← 2019 2018 2017 2020 in Russia → 2021 2022 2023 Decades: 2000s 2010s 2020s See also: History of Russia Timeline of Russian history List of years in Russia Events in the year 2020 in the Russian Federation. Incumbents President: Vladimir Putin Prime Minister: Dmitry Medvedev (until January 16); Mikhail Mishustin (since January 16);[1] Andrey Belousov (acting: April 30 to May 19) Events President Putin visits coronavirus patients at the City Clinical Hospital...

 

Skyscraper in Detroit One Woodward AvenueGeneral informationStatusCompletedTypeOfficeArchitectural styleInternational StyleCompleted1962OwnerBedrock DetroitHeightRoof430 feet (130 m)Top floor345 ft (105 m)Technical detailsFloor count28Floor area447,725 sq ft (41,595.0 m2)[1]Design and constructionArchitect(s)Minoru YamasakiSmithGroupMichigan Consolidated Gas Company BuildingU.S. Historic districtContributing property Location1 Woodward AvenueDetroit, Mich...

 

علم جمهورية الكونغو الديمقراطية   ألوان أزرق سماوي أصفر أحمر  الاعتماد 20 فبراير 2006  الاختصاص جمهورية الكونغو الديمقراطية  تعديل مصدري - تعديل   علم جمهورية الكونغو الديمقراطية (بالفرنسية: drapeau de la république démocratique du Congo)‏ أعتمد علم جمهورية الكونغو الديمقراطية في 18...

هذه المقالة تحتاج للمزيد من الوصلات للمقالات الأخرى للمساعدة في ترابط مقالات الموسوعة. فضلًا ساعد في تحسين هذه المقالة بإضافة وصلات إلى المقالات المتعلقة بها الموجودة في النص الحالي. (فبراير 2023) هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة...

 

Canadian drama film by Clement virgo This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article may contain an excessive amount of intricate detail that may interest only a particular audience. Please help by spinning off or relocating any relevant information, and removing excessive detail that may be against Wikipedia's inclusion policy. (December 2017) (Learn how and when to remove t...