Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
An introduction to inductive logic programming and learning language in logic
Learning language in logic
Towards a standard upper ontology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition
Inducing grammars from sparse data sets: a survey of algorithms and results
The Journal of Machine Learning Research
Unification Grammars and Off-Line Parsability
Journal of Logic, Language and Information
The macro implementation of SNOBOL4;: A case study of machine-independent software development
The macro implementation of SNOBOL4;: A case study of machine-independent software development
Hi-index | 0.00 |
First Order String Calculus (FOSC), introduced in this paper, is a generalization of First Order Predicate Calculus (FOPC). The generalization step consists in treating the unrestricted strings, which may contain variable symbols and a nesting structure, similarly to the predicate symbols in FOPC. As a logic programming technology, FOSC, combined with a string unification algorithm and the resolution principle, eliminates the need to invent logical atoms. An important aspect of the technology is the possibility to apply a matching of the text patterns immediately in logical reasoning. In this way the semantics of a text can be defined by string examples, which only demonstrate the concepts, rather than by a previously formalized mathematical knowledge. The advantages of avoiding this previous formalization are demonstrated. We investigate the knowledge representation aspects, the algorithmic properties, the brain simulation aspects, and the application aspects of FOSC theories in comparison with those of FOPC theories. FOSC is applied as a formal basis of logic programming language Sampletalk, introduced in our earlier publications.