• Research initiation concerning new methods for knowledge representation and mathematical models for knowledge bases and their implementations.

1. Elements of universal algebra: partial-algebra, sigma-algebra, morphisms of universal algebras, closure of a subset in a partial algebra, Peano-algebra
2. Algebra of the binary relations: the product operation and its restrictions; saturated and non-saturated sets of binary relations
3. Labelled graphs and their representation
4. Labelled stratified graphs (LSGs): definition and examples
5. The existence of labelled stratified graphs, algorithm to build such structures
6. Environments for labelled stratified graphs; mapping generating environments
7. Algebraic properties of environments: partial order between environments, semilattices of environments, the existence of the greatest environment
8. Algebraic properties of labelled stratified graphs: partial order,semilattices of LSGs, the existence of the greatest LSG
9. The uniqueness of a LSG with respect to the product operation
10. Reasoning models obtained by means of a LSG
11. Applications of the LSGs in image synthesis
12. Applications of the LSGs in problem solving
13. Applications of the LSGs in attribute graphs
14. Using a LSG structure to introduce the concept of knowledge bases with output (KBO)
15. The answer function in a KBO
16. Intuitive aspects concerning the semantic computation in a KBO
17. Formal aspects of the deduction in a KBO
18. Applications of KBOs in communicating semantics

1. Semantic schemas: definition and examples
2. Interpretation of a semantic schemas
3. Formal derivations in a semantic schemas
4. Semantic schemas extend semantic networks
5. The least upper bound of two semantic schemas
6. The greatest lower bound of two semantic schemas
7. Distributed knowledge by semantic schemas
8. Transfer of Knowledge based on semantic schemas

1. Algebra of the binary relations
2. Knowledge base with extended inheritance
3. Value of an attribut
4. Example of computations
5. The answer mapping
6. Factorization of a knowledge base with extended inheritance

• Knowledge bases I3503
  
• Databases
  Code: I2301

1. N.Tandareanu: - Labeled Stratified Graphs and their Applications to Knowledge Representation, Course Notes, 2006 (file pdf)
2. N.Tandareanu: - Knowledge Representation by Semantic Schemas, Course Notes, 2006 (file pdf)
3. N.Tandareanu: - Lecture Notes on Universal Algebra,
   Basic Concepts of Peano Algebras and Lattices, Research Report in Artificial Intelligence, Nr.301, Research Center for Articial Intelligence, University of Craiova, Universitaria Publishing House, 2006 (file pdf)
4. N. Tandareanu, M. Ghindeanu: - Properties of derivations in a Semantic Schema, Annals of University of Craiova, Mathematics and Computer Science Series, 2006 (to appear) (file pdf)
5. N.Tandareanu: - Semantic Schemas: The Least Upper Bound of Two Interpretations, 10th World Multiconference on Systemics, Cybernetics and Informatics (WMSCI 2006), Orlando, USA, July 16-19, 2006 (to appear)
6. N.Tandareanu: - The Use of Structured Elements to Obtain Interpretations for Semantic Schemas, 10th World Multiconference on Systemics, Cybernetics and Informatics (WMSCI 2006), Orlando, USA, July 16-19, 2006 (to appear)
7. N.Tandareanu: - The Greatest Lower Bound of Two Semantic Schemas, 3rd International Conference on Cybernetics and Information Technologies, Systems and Applications (CITSA 2006), Orlando, USA,July 20-23, 2006 (to appear)
8. N.Tandareanu: - Transfer of knowledge via semantic schemas, 9th World Multi-Conference on Systemics, Cybernetics and Informatics (WMSCI 2005), Orlando, USA, July 10-13, Vol. IV, p.70-75, 2005
9. N.Tandareanu, M.Ghindeanu: A three-level distributed knowledge system based on semantic schemas, 16th International Workshop on Database and Expert Systems Applications, Proceedings of DEXA'05 (TAKMA2005), Copenhagen, p.423-427, 2005
10. N.Tandareanu: - An Overview of Stratified Graphs and Their Applications, Research Notes in Artificial Intelligence and Digital Communications, Vol.105, 5th International Conference on Artificial Intelligence and Digital Communications, 2005, p.111-120 (file pdf)
11. N.Tandareanu: - Distinguished Representatives for Equivalent Labelled Stratified Graphs and Applications, Discrete Applied Mathematics, Vol. 144, p.183-208, 2004
12. N.Tandareanu: - Knowledge Representation by Labeled Stratified Graphs, The 8th World Multi-Conference on Systemics, Cybernetics and Informatics, July 18-21, 2004, Orlando, Florida, USA, Vol. V: Computer Science and Engineering, p.345-350, 2004
13. N.Tandareanu: - Semantic Schemas and Applications in Logical representation of Knowledge, Proceedings of the 10th International Conference on Cybernetics and Information Technologies, Systems and Applications (CITSA2004), July 21-25, Orlando, Florida, USA, Vol.III, 82-87, 2004
14. N.Tandareanu: - Semantic Schemas extend Semantic Networks, Research Notes in Artificial Intelligence and Digital Communications, Vol.104, 4th International Conference on Artificial Intelligence and Digital Communications, Craiova, June 2004, p.8-15 (file pdf)
15. N.Tandareanu: - Collaborations between distinguished representatives for labelled stratified graphs, Annals of the University of Craiova, Mathematics and Computer Science Series, Vol. 30(2), 2003, p.184-192 (file pdf)
16. N.Tandareanu:- Intuitive aspects of the semantic computations in KBO, Research Notes in Artificial Intelligence and Digital Communications, Vol.101, RCAI 1^st Conference on Artificial Intelligence and DigitalCommunications, Craiova, p.1-8, 2001
17. N.Tandareanu- Proving the existence of Labelled Stratified Graphs, Annals of the University of Craiova, Mathematics and Computer Science Series, Vol. XXVII, 2000, 81-92, (file pdf)
18. N.Tandareanu- Knowledge Bases with Output, Knowledge and Information Systems, 2(2000), 4, 438-460

1. Course Notes 1: Universal algebras.
2. Course Notes 2: Stratified graphs.
3. Course Notes 3: Semantic schemas.

Last update: Sept. 2010