Algebraic Net Class Rewriting Systems, Syntax and Semantics for Knowledge Representation and Automated Problem Solving
The intention of the present study is to establish general framework for automated problem solving by approaching the task universal algebraically introducing knowledge as realizations of generalized free algebra based nets, graphs with gluing forms connecting in- and out-edges to nodes. Nets are ca...
Saved in:
| Main Author: | |
|---|---|
| Format: | Journal |
| Language: | en |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://ur.aeu.edu.my/540/1/Algebraic%20Net%20Class%20Rewriting%20Systems.pdf http://ur.aeu.edu.my/540/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1831336468659830784 |
|---|---|
| author | Tirri, Seppo Ilari |
| author_facet | Tirri, Seppo Ilari |
| author_sort | Tirri, Seppo Ilari |
| building | AEU Library |
| collection | Institutional Repository |
| content_provider | Asia e University |
| content_source | AEU University Repository |
| continent | Asia |
| country | Malaysia |
| description | The intention of the present study is to establish general framework for automated problem solving by approaching the task universal algebraically introducing knowledge as realizations of generalized free algebra based nets, graphs with gluing forms connecting in- and out-edges to nodes. Nets are caused to undergo transformations in conceptual level by type wise differentiated intervening net rewriting systems dispersing problems to abstract parts, matching being determined by substitution relations. Achieved sets of conceptual nets constitute congruent classes. New results are obtained within construction of problem solving systems where solution algorithms are derived parallel with other candidates applied to the same net classes. By applying parallel transducer paths consisting of net rewriting systems to net classes congruent quotient algebras are established and the manifested class rewriting comprises all solution candidates whenever produced nets are in anticipated languages liable to acceptance of net automata. |
| format | Journal |
| id | my-aeu-eprints.540 |
| institution | Asia e University |
| language | en |
| publishDate | 2013 |
| record_format | eprints |
| spelling | my-aeu-eprints.5402019-06-28T07:32:56Z http://ur.aeu.edu.my/540/ Algebraic Net Class Rewriting Systems, Syntax and Semantics for Knowledge Representation and Automated Problem Solving Tirri, Seppo Ilari T Technology (General) The intention of the present study is to establish general framework for automated problem solving by approaching the task universal algebraically introducing knowledge as realizations of generalized free algebra based nets, graphs with gluing forms connecting in- and out-edges to nodes. Nets are caused to undergo transformations in conceptual level by type wise differentiated intervening net rewriting systems dispersing problems to abstract parts, matching being determined by substitution relations. Achieved sets of conceptual nets constitute congruent classes. New results are obtained within construction of problem solving systems where solution algorithms are derived parallel with other candidates applied to the same net classes. By applying parallel transducer paths consisting of net rewriting systems to net classes congruent quotient algebras are established and the manifested class rewriting comprises all solution candidates whenever produced nets are in anticipated languages liable to acceptance of net automata. 2013 Journal PeerReviewed text en http://ur.aeu.edu.my/540/1/Algebraic%20Net%20Class%20Rewriting%20Systems.pdf Tirri, Seppo Ilari (2013) Algebraic Net Class Rewriting Systems, Syntax and Semantics for Knowledge Representation and Automated Problem Solving. arXiv preprint arXiv:1305.5637. |
| spellingShingle | T Technology (General) Tirri, Seppo Ilari Algebraic Net Class Rewriting Systems, Syntax and Semantics for Knowledge Representation and Automated Problem Solving |
| title | Algebraic Net Class Rewriting Systems, Syntax and Semantics for Knowledge Representation and Automated Problem Solving |
| title_full | Algebraic Net Class Rewriting Systems, Syntax and Semantics for Knowledge Representation and Automated Problem Solving |
| title_fullStr | Algebraic Net Class Rewriting Systems, Syntax and Semantics for Knowledge Representation and Automated Problem Solving |
| title_full_unstemmed | Algebraic Net Class Rewriting Systems, Syntax and Semantics for Knowledge Representation and Automated Problem Solving |
| title_short | Algebraic Net Class Rewriting Systems, Syntax and Semantics for Knowledge Representation and Automated Problem Solving |
| title_sort | algebraic net class rewriting systems, syntax and semantics for knowledge representation and automated problem solving |
| topic | T Technology (General) |
| url | http://ur.aeu.edu.my/540/1/Algebraic%20Net%20Class%20Rewriting%20Systems.pdf http://ur.aeu.edu.my/540/ |
| url_provider | http://ur.aeu.edu.my/ |