SACM 2.4b1 RTF Avatar
  1. OMG Issue

SACM24 — Advanced Arguments

Open Closed All
  • Key: SACM24-77
  • Status: closed  
  • Source: MITRE ( Mr. Robert Martin)
  • Summary:

    SACM does not support argument types other than inductive. Many engineering and other disciplines make use of other types of arguments including: Strengths (of all kinds); InferenceTypes from deductive as well as inductive logic (including notation changes); Inferences from other potential logic type (e.g. Modal); Possible Truth values for deductive arguments; and Undecidability for truth arguments. Supporting these other types of arguments would expand the utility of SACM.
  • Reported: SACM 2.3b1 — Fri, 17 Apr 2026 18:37 GMT
  • Disposition: Resolved — SACM 2.4b1
  • Disposition Summary:

    Advanced Arguments

    Add non-normative strengths (of all kinds); InferenceTypes from deductive as well as inductive logic (including notation changes); Inferences from other potential logic type (e.g. Modal); Possible Truth values for deductive arguments; and Undecidability for truth arguments to Argument
  • Updated: Thu, 17 Sep 2026 01:18 GMT
  • Attachments: