Figaro ist eine probabilistische Programmiersprache, die die Entwicklung sehr umfangreicher probabilistischer Modelle unterstützt und Argumentationsalgorithmen bereitstellt, die auf Modelle angewendet werden können, um nützliche Schlussfolgerungen aus Beweisen zu ziehen. Sowohl die Modelldarstellung als auch die Entwicklung von Argumentationsalgorithmen können anspruchsvolle Aufgaben sein.
Figaro ermöglicht es, probabilistische Modelle mithilfe der Leistungsfähigkeit von Programmiersprachen auszudrücken und gibt dem Modellierer die ausdrucksstarken Werkzeuge zur Erstellung einer Vielzahl von Modellen an die Hand. Figaro verfügt über eine Reihe integrierter Argumentationsalgorithmen, die automatisch auf neue Modelle angewendet werden können. Darüber hinaus sind Figaro-Modelle Datenstrukturen in der Programmiersprache Scala, die mit Java interoperabel ist und direkt in jedem Scala- oder Java-Programm erstellt, manipuliert und verwendet werden kann.
Figaro ist kostenlos und wird unter einer Open-Source-Lizenz veröffentlicht. Weitere Informationen finden Sie in den Figaro-Versionshinweisen und im Figaro-Tutorial.