Abstract
Basic methodological assumptions of methods which belong to symbolic Artificial Intelligence are presented in this chapter.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
For example, knowledge is defined in the form of graphs, logic formulas, symbolic rules, etc. Methods of symbolic AI are developed on the basis of logic, theory of formal languages, various areas of discrete mathematics, etc.
- 2.
For example, operations in the form of inference rules in logic, productions in the theory of formal languages, etc.
- 3.
A heuristic algorithm is an algorithm which can generate an accepted solution of a problem although we cannot formally prove the adequacy of the algorithm w.r.t. the problem. The term heuristics was introduced by the outstanding mathematician George Pólya. Newell attended lectures delivered by Pólya at Stanford University.
- 4.
The Object-Oriented paradigm is, nowadays, the second standard approach.
- 5.
In Latin imperativus means commanded.
- 6.
We declare required properties of a solution of a problem.
- 7.
This paradigm is also used nowadays beyond AI. For example, such programming languages as SQL and HTML are also based on the declarative paradigm.
- 8.
A more detailed description of the functional approach is included in Sect. 6.5.
- 9.
In such a situation we say that the system has matched a certain fact (facts) stored in the working memory to the rule.
- 10.
Gilbert Ryle—a professor of philosophy at Oxford University, one of the most eminent representatives of analytic philosophy, the editor of the prestigious journal Mind.
- 11.
The Chomsky theory is presented in the next section.
- 12.
A normalization of a semantic representation is necessary if it is to be performed automatically, because all sentences which have the same meaning, e.g., John has lent a book to Mary., Mary has borrowed a book from John. should have the same representation.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Flasiński, M. (2016). Symbolic Artificial Intelligence. In: Introduction to Artificial Intelligence. Springer, Cham. https://doi.org/10.1007/978-3-319-40022-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-40022-8_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-40020-4
Online ISBN: 978-3-319-40022-8
eBook Packages: Computer ScienceComputer Science (R0)