| Author | Vo Quoc Bao |
| Call Number | AIT Thesis no. CS-97-9 |
| Subject(s) | Conceptual structures (Information theory)
|
| Note | A thesis submitted in partial fulfillment of the requirement for the degree of Master of Science, School of Advanced Technologies |
| Publisher | Asian Institute of Technology |
| Abstract | The theory of Conceptual Graphs, which is a natural combination of the two most
successful knowledge representation schemes in AI and linguistics: logic and semantic networks,
plays an important role in the development of knowledge representation and reasoning systems.
Declarative Program theory lays a theoretical foundation for (declarative) representing of
knowledge with a set of basic axioms. The theory of Problem Solving by Equivalent
Transformations provides declarative representation schemes with a general and efficient
computational approach to problem solving. CG theory is formalized under the frameworks of DP
theory and equivalent transformations to develop a formalism of a comprehensive theory in
knowledge representation. The proposed theory has been proved to be powerful and extendible
with a neat and formal syntax system. The declarative and procedural semantics of the theory is
provided follow the general frameworks of DP theory and the theory of problem solving by
equivalent transformations. The proposed computational framework has also taken into account
advanced features of constraint-based reasoning which can be considered as one of the essential
techniques of problem solving in Artificial Intelligence. The ultimate goal of the research is to
construct a well-founded formalism for knowledge representation systems and applications.
|
| Year | 1997 |
| Type | Thesis |
| School | School of Advanced Technologies (SAT) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Vilas Wuwongse; |
| Examination Committee(s) | Phan Minh Dung ;Ghosh, Bikash Chandra; |
| Scholarship Donor(s) | The Government of New Zealand; |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology,1997 |