Zehnte Internationale Konferenz "Artificial Intelligence and Symbolic Computation", Paris, Frankreich

Am 5. und 6. Juli 2010 findet in Paris, Frankreich, die Zehnte Internationale Konferenz "Artificial Intelligence and Symbolic Computation" statt.

Künstliche Intelligenz (KI) und Symbolische Mathematik (SC - Symbolic Computation) sind zwei unterschiedliche Sicht- und Herangehensweisen bei der Automatisierung von Problemlösungsmethoden. Beide basieren auf der Heuristik und auf mathematischen Algorithmen, wodurch die Ansätze ganz besonders für mathematische Problemlösungsmethoden von Interesse sind. Durch den gleichzeitigen Einsatz von Künstlicher Intelligenz und Symbolischer Mathematik eröffnet sich eine Fülle von Aufgabenstellungen, Ideen, theoretischen Erkenntnissen und Ergebnissen.

Zwar sind zunächst hochentwickelte Softwaretechnologien und Systemausführungen erforderlich, aber wegen der Leistungssteigerung dank der Kombination beider Problemlösungsmethoden wird ein breites Spektrum an Anwendungen ermöglicht.

Zu den auf der Konferenz behandelten Themen gehören:
- KI in der mathematischen Datenverarbeitung
- Computeralgebrasysteme und Computerbeweise
- Symmetrien bei KI-Problemen
- Anwendungen für die technische, die industrielle, die Ablauf- und die Planungsforschung
- Grundlagen und Komplexität der Symbolischen Mathematik
- Mathematische Modellierung von Multiagentensystemen
- Systemimplementierungen für die Symbolische Mathematik
- Programmiersprachen für die Symbolische Mathematik
- Symbolische Mathematik für Expertensysteme und maschinelles Lernen
- Symbolische Mathematik und Ontologien
- Logische und Symbolische Mathematik
- Fragen zu Implementierung und Leistung
- Intelligente Schnittstellen
- Symbolische Verfahren für die DokumentenanalyseWeitere Informationen unter:
http://cicm2010.cnam.fr/aisc/index.html(öffnet in neuem Fenster)