Dit project gaat over het implementeren van een op logica gebaseerde, redeneerengine voor een agent. We zijn begonnen met de implementatie van de iff-proof procedures, door Kowalski en Fung, als een any-time algoritme geschreven in Prolog.
versiegeschiedenis
- Versie gloria-v.1.1.2 geplaatst op 2007-10-23
Verschillende oplossingen en updates - Versie gloria-v.1.1.2 geplaatst op 2007-10-23
Programmadetails
- Categorie: Netwerk & Internet > Andere
- Publisher: gloria.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: 1.1.2
- Platform: windows