Algorithm for Extraction Common Properties of Objects Described in the Predicate Calculus Language with Several Predicate Symbols

In artificial intelligence problems, connected with the study of complex structured objects which are described in the terms of properties of their elements and relationships between these elements, it is convenient to use predicate calculus formulas, more precisely elementary conjunctions of atomic...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Programming and computer software Jg. 50; H. Suppl 1; S. S1 - S9
Hauptverfasser:	Kosovskaya, T. M., Zhou, J.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Moscow Pleiades Publishing 01.10.2024 Springer Nature B.V
Schlagworte:	Algorithms Artificial Intelligence Complex variables Complexity Computer Science Isomorphism Object recognition Operating Systems Predicate calculus Software Engineering Software Engineering/Programming and Operating Systems Symbols Variables maximal common subformula isomorphism of elementary conjunctions of predicate formulas unifier of predicate formulas
ISSN:	0361-7688, 1608-3261
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!