Verteilte logikbasierte Argumentation

Inhaltlich unveränderte Neuauflage. Die Realisierung oder Nachahmung von Commonsense Reasoning ist einer der wichtigsten Forschungszweige innerhalb der Künstlichen Intelligenz. Logikbasierte Argumentation ist ein formaler Ansatz das menschliche Denken zu simulieren und komplexe Denkprozesse für die Methoden der Informatik darzustellen. Ein Agent kann mitunter über inkonsistentes Wissen verfügen und ein Weg diese Inkonsistenzen aufzulösen bietet ein Vergleich der Argumente für und gegen die einzelnen Alternativen. Dabei spielen auch unsichere Regeln (Defeasible Rules) wie etwa "Vögel fliegen normalerweise" eine entscheidende Rolle. Das Thema dieses Buches ist es, logikbasierte Argumentation in einem Multiagentensystem zu realisieren. Neben Konzeption und Implementierung eines verteilten argumentationsfähigen Systems, illustriert ein Beispiel aus dem Rechtswesen die dargestellten Methoden. Dieses Buch richtet sich an Informatiker mit einem Interesse an Künstlicher Intelligenz und inbesondere an Methoden des Commonsense Reasoning, sowie an Wissenschaftler des Rechstwesens und anderer sozial- und geisteswissenschaftlicher Disziplinen, die einen Einblick in die Methoden und Möglichkeiten der Informatik suchen.