Il framework Deductive ASPIC$^{\ominus}$ soddisfa tutti e cinque i postulati di razionalità
Un nuovo rapporto tecnico introduce Deductive ASPIC$^{\ominus}$, un framework di argomentazione strutturata che soddisfa tutti e cinque i postulati critici di razionalità—chiusura, consistenza diretta, consistenza indiretta, non interferenza e resistenza al crash—sotto semantica credula in presenza di undercuts. Framework precedenti come ASPIC$^{\ominus}$ e Deductive ASPIC$^{-}$ non riuscivano a soddisfare tutti i postulati simultaneamente. Deductive ASPIC$^{\ominus}$ integra le gen-rebuttals di ASPIC$^{\ominus}$ con i Joint Support Bipolar Argumentation Frameworks (JSBAFs) di Deductive ASPIC$^{-}$, incorporando preferenze. L'articolo dimostra che questo nuovo approccio raggiunge la piena conformità, affrontando una sfida chiave nell'argomentazione strutturata in stile ASPIC per l'intelligenza artificiale.
Fatti principali
- Deductive ASPIC$^{\ominus}$ soddisfa tutti e cinque i postulati di razionalità.
- I framework precedenti ASPIC$^{\ominus}$ e Deductive ASPIC$^{-}$ erano insufficienti.
- Il framework integra le gen-rebuttals di ASPIC$^{\ominus}$ con i JSBAFs di Deductive ASPIC$^{-}$.
- Include preferenze.
- La conformità è raggiunta sotto semantica credula (es. preferita).
- Il lavoro affronta gli undercuts nell'argomentazione strutturata.
- Il rapporto è un articolo tecnico su arXiv.
- L'ID arXiv è 2604.21515.
Entità
Istituzioni
- arXiv