Verteilte logikbasierte Argumentation

Inhaltlich unvernderte Neuauflage. Die Realisierung oder Nachahmung von Commonsense Reasoning ist einer der wichtigsten Forschungszweige innerhalb der Knstlichen Intelligenz. Logikbasierte Argumentation ist ein formaler Ansatz das menschliche Denken zu simulieren und komplexe Denkprozesse fr die Methoden der Informatik darzustellen. Ein Agent kann mitunter ber inkonsistentes Wissen verfgen und ein Weg diese Inkonsistenzen aufzulsen bietet ein Vergleich der Argumente fr und gegen die einzelnen Alternativen. Dabei spielen auch unsichere Regeln (Defeasible Rules) wie etwa "Vgel fliegen normalerweise" eine entscheidende Rolle. Das Thema dieses Buches ist es, logikbasierte Argumentation in einem Multiagentensystem zu realisieren. Neben Konzeption und Implementierung eines verteilten argumentationsfhigen Systems, illustriert ein Beispiel aus dem Rechtswesen die dargestellten Methoden. Dieses Buch richtet sich an Informatiker mit einem Interesse an Knstlicher 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 Mglichkeiten der Informatik suchen.