hub / github.com/carneades/carneades-4

github.com/carneades/carneades-4 @v4.3.1

repository ↗ · DeepWiki ↗ · release v4.3.1 ↗ · + Follow

439 symbols 1,214 edges 42 files 86 documented · 20%

What it actually does AI analysis from the code graph — generated when you open this

loading…

README

These are the source files of Version 4 of the Carneades argumentation system, written in the Go programming language.

This source code is subject to the terms of the Mozilla Public License, version 2.0 (MPL-2.0). If a copy of the MPL was not distributed with this software, it is also available online at http://mozilla.org/MPL/2.0/. For futher information about the MPL see http://www.mozilla.org/MPL/2.0/FAQ.html.

This version of Carneades consists of:

An implementation of a solver for Dung abstract argumentation frameworks, using grounded, complete, preferred and stable semantics. Argumentation Frameworks can be represented using the Trivial Graph Format. The computed extensions can be exported to DOT, GraphML and plain text.
An evaluator for structured arguments, based on a new version of the Carneades Argument Evaluation Structures (CAES) formal model of argument.
New features of version 4 of Carneades include:
- Support for cyclic argument graphs, cumulative arguments, issue-based information systems (IBIS) and multicriteria decision analysis.
- Argument graphs can be represented in AGXML, AIF, LKIF, CAF and YAML and exported to DOT, GraphML, PNG, SVG and YAML.
- User-definable argument weighing functions, for computing the relative weights of arguments based on their properties, such as the authority or effective date of the argumentation scheme applied, or the labels (in, out, undecided) of premises. The failure of a premise can weaken or even strengthen an argument without defeating it entirely.
- Automatic argument construction by applying argumentation schemes to assumptions, via an inference engine implemented using Constraint Handling Rules.

Carneades can visualize both Dung abstract argumentation frameworks and CAES argument graphs using DOT and GraphML. We recommend using the free yEd GraphML editor to view the GraphML files.

Please see the Carneades blog at https://carneades.github.io/ for announcements about the further development of this version.

See the INSTALL.md file in the same directory as this README for installation instructions.

Extension points exported contracts — how you extend this code

Rulebase (Interface)

A Rulebase is a set of constraint handling rules. https://en.wikipedia.org/wiki/Constraint_Handling_Rules The strings in [1 …

src/engine/caes/caes.go

Term (Interface)

(no doc) [2 implementers]

src/engine/terms/terms.go

WeighingFunction (FuncType)

(no doc)

src/engine/caes/caes.go

Core symbols most depended-on inside this repo

String

called by 108

src/engine/terms/terms.go

Tok2str

called by 38

src/engine/terms/parser.go

Type

called by 35

src/engine/terms/terms.go

ReadString

called by 30

src/engine/terms/parser.go

Contains

called by 26

src/engine/dung/dung.go

check

called by 22

src/test/commonFunction.go

called by 17

src/engine/caes/encoding/graphml/graphml.go

GetBinding

called by 14

src/engine/terms/terms.go

Shape

Function 246

Method 90

Struct 70

TypeAlias 30

Interface 2

FuncType 1

Languages

Go100%

Modules by API surface

src/engine/terms/terms.go66 symbols

src/engine/caes/encoding/yaml/yaml.go46 symbols

src/engine/caes/caes.go45 symbols

src/engine/dung/dung.go37 symbols

src/engine/dung/encoding/yaml/yaml.go30 symbols

src/engine/terms/terms_test.go21 symbols

src/engine/caes/weighing.go19 symbols

src/engine/terms/parser.go18 symbols

src/engine/validation/validation.go15 symbols

src/engine/caes/encoding/caf/caf.go15 symbols

src/engine/caes/encoding/graphml/graphml.go14 symbols

src/engine/caes/encoding/lkif/lkif.go13 symbols

For agents

$ claude mcp add carneades-4 \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

github.com/carneades/carneades-4 @v4.3.1

Extension points exported contracts — how you extend this code

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page