Intensional First-Order Logic
In diesem Buch werden die Eigenschaften von konservativen Erweiterungen der Logik erster Ordnung (FOL) zur neuen Intensionalen Logik erster Ordnung (IFOL) vorgestellt.
Diese Erweiterung ermöglicht die Verwendung intensionaler Semantiken für Konzepte und damit neue und intelligentere IT-Systeme. Insofern sie konservativ ist, bewahrt sie Softwareanwendungen und stellt einen grundlegenden Fortschritt gegenüber den aktuellen RDB-Datenbanken, Big Data mit NewSQL, Constraint-Datenbanken, P2P-Systemen und Semantic Web-Anwendungen dar.
Darüber hinaus kann die vielwertige Version von IFOL KI-Anwendungen unterstützen, die auf vielwertigen Logiken basieren.
| ISBN: | 9783110994940 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Hardcover |
Derzeit verfügbar, auf Lager.
