Medieval Disputationes de obligationibus as formal dialogue systems
Formal dialogue systems model rule-based interaction between agents and as such have multiple applications in multi-agent systems and AI more generally. Their conceptual roots are in formal theories of natural argumentation, of which Hamblin’s formal systems of argumentation in Hamblin (Fallacies. M...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Dokumenttyp: | Article (Journal) |
| Sprache: | Englisch |
| Veröffentlicht: |
2013
|
| In: |
Argumentation
Year: 2013, Jahrgang: 27, Heft: 2, Pages: 143-166 |
| ISSN: | 1572-8374 |
| DOI: | 10.1007/s10503-012-9266-7 |
| Online-Zugang: | Verlag, lizenzpflichtig, Volltext: https://doi.org/10.1007/s10503-012-9266-7
|
| Verfasserangaben: | Sara L. Uckelman |
MARC
| LEADER | 00000caa a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 1742731430 | ||
| 003 | DE-627 | ||
| 005 | 20240408193216.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 201214s2013 xx |||||o 00| ||eng c | ||
| 024 | 7 | |a 10.1007/s10503-012-9266-7 |2 doi | |
| 035 | |a (DE-627)1742731430 | ||
| 035 | |a (DE-599)KXP1742731430 | ||
| 035 | |a (OCoLC)1341383687 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rda | ||
| 041 | |a eng | ||
| 084 | |a 10 |2 sdnb | ||
| 100 | 1 | |a Uckelman, Sara L. |d 1982- |e VerfasserIn |0 (DE-588)1066940959 |0 (DE-627)818091673 |0 (DE-576)426293444 |4 aut | |
| 245 | 1 | 0 | |a Medieval Disputationes de obligationibus as formal dialogue systems |c Sara L. Uckelman |
| 264 | 1 | |c 2013 | |
| 300 | |a 24 | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 500 | |a Gesehen am 14.12.2020 | ||
| 500 | |a Published online: 17 March 2012 | ||
| 520 | |a Formal dialogue systems model rule-based interaction between agents and as such have multiple applications in multi-agent systems and AI more generally. Their conceptual roots are in formal theories of natural argumentation, of which Hamblin’s formal systems of argumentation in Hamblin (Fallacies. Methuen, London, 1970, Theoria 37:130-135, 1971) are some of the earliest examples. Hamblin cites the medieval theory of obligationes as inspiration for his development of formal argumentation. In an obligatio, two agents, the Opponent and the Respondent, engage in an alternating-move dialogue, where the Respondent’s actions are governed by certain rules, and the goal of the dialogue is establishing the consistency of a proposition. We implement obligationes in the formal dialogue system framework of Prakken (Knowl Eng Rev 21(2):163-188, 2006) using Dynamic Epistemic Logic (van Ditmarsch et al. in Dynamic epistemic logic, Synthese Library Series. Springer, Berlin, 2007). The result is a new type of inter-agent dialogue, for consistency-checking, and analyzing obligationes in this way also sheds light on interpretational and historical questions concerning their use and purpose in medieval academia. | ||
| 773 | 0 | 8 | |i Enthalten in |t Argumentation |d Dordrecht [u.a.] : Springer Science + Business Media B.V., 1987 |g 27(2013), 2, Seite 143-166 |h Online-Ressource |w (DE-627)300184549 |w (DE-600)1481509-6 |w (DE-576)121190544 |x 1572-8374 |7 nnas |a Medieval Disputationes de obligationibus as formal dialogue systems |
| 773 | 1 | 8 | |g volume:27 |g year:2013 |g number:2 |g pages:143-166 |g extent:24 |a Medieval Disputationes de obligationibus as formal dialogue systems |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Uckelman, Sara L., 1982 - |t Medieval Disputationes de obligationibus as formal dialogue systems |d 2013 |w (DE-627)1742731872 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s10503-012-9266-7 |x Verlag |x Resolving-System |z lizenzpflichtig |3 Volltext |
| 951 | |a AR | ||
| 992 | |a 20201214 | ||
| 993 | |a Article | ||
| 994 | |a 2013 | ||
| 998 | |g 1066940959 |a Uckelman, Sara L. |m 1066940959:Uckelman, Sara L. |d 700000 |d 719000 |e 700000PU1066940959 |e 719000PU1066940959 |k 0/700000/ |k 1/700000/719000/ |p 1 |x j |y j | ||
| 999 | |a KXP-PPN1742731430 |e 3825380815 | ||
| BIB | |a Y | ||
| SER | |a journal | ||
| JSO | |a {"person":[{"display":"Uckelman, Sara L.","roleDisplay":"VerfasserIn","role":"aut","family":"Uckelman","given":"Sara L."}],"title":[{"title_sort":"Medieval Disputationes de obligationibus as formal dialogue systems","title":"Medieval Disputationes de obligationibus as formal dialogue systems"}],"note":["Gesehen am 14.12.2020","Published online: 17 March 2012"],"type":{"bibl":"article-journal","media":"Online-Ressource"},"language":["eng"],"recId":"1742731430","name":{"displayForm":["Sara L. Uckelman"]},"origin":[{"dateIssuedDisp":"2013","dateIssuedKey":"2013"}],"id":{"eki":["1742731430"],"doi":["10.1007/s10503-012-9266-7"]},"physDesc":[{"extent":"24 S."}],"relHost":[{"origin":[{"dateIssuedDisp":"1987-","publisher":"Springer Science + Business Media B.V. ; Kluwer","dateIssuedKey":"1987","publisherPlace":"Dordrecht [u.a.] ; Dordrecht [u.a.]"}],"id":{"issn":["1572-8374"],"zdb":["1481509-6"],"eki":["300184549"]},"physDesc":[{"extent":"Online-Ressource"}],"title":[{"subtitle":"an international journal on reasoning","title":"Argumentation","title_sort":"Argumentation"}],"pubHistory":["1.1987 -"],"part":{"issue":"2","pages":"143-166","year":"2013","extent":"24","text":"27(2013), 2, Seite 143-166","volume":"27"},"note":["Gesehen am 28.11.05"],"type":{"bibl":"periodical","media":"Online-Ressource"},"disp":"Medieval Disputationes de obligationibus as formal dialogue systemsArgumentation","recId":"300184549","language":["eng"]}]} | ||
| SRT | |a UCKELMANSAMEDIEVALDI2013 | ||