| ชื่อเรื่อง | : | Extension of logical structures by safe extension of specialisation systems |
| นักวิจัย | : | Akama, Kiyoshi , Ekawit Nantajeewarawat |
| คำค้น | : | Logical structures , Specialisation systems , Knowledge representation , Equivalent transformation , Extended atomic formulas , Common interrelations , Atoms substitutions |
| หน่วยงาน | : | สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2551 |
| อ้างอิง | : | International journal of automation and control. 2,2-3 (2008) pp. 340-364 , 1740-7516 , http://dspace.library.tu.ac.th/handle/3517/5489 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | A specialisation system provides an axiomatic structure for studying the common interrelations between various forms of extended atomic formulas and specialisation operations on them. We show how to generate a logical structure from a specialisation system and introduce the concept of safe extension of a logical structure as a process of extending the space of logical formulas while preserving their logical meanings. We establish a sufficient condition for safe extension of a logical structure based on safe extension of its underlying specialisation system. Under this condition, a logical structure generated from a safe extension of a specialisation system is always a safe extension of that generated directly from the source specialisation system. The work extends a foundation for developing a computation theory based on the equivalent transformation principle. |
| บรรณานุกรม | : |
Akama, Kiyoshi , Ekawit Nantajeewarawat . (2551). Extension of logical structures by safe extension of specialisation systems.
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Akama, Kiyoshi , Ekawit Nantajeewarawat . 2551. "Extension of logical structures by safe extension of specialisation systems".
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ . Akama, Kiyoshi , Ekawit Nantajeewarawat . "Extension of logical structures by safe extension of specialisation systems."
กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ , 2551. Print. Akama, Kiyoshi , Ekawit Nantajeewarawat . Extension of logical structures by safe extension of specialisation systems. กรุงเทพมหานคร : สถาบันวิจัยและให้คำปรึกษาแห่ง มหาวิทยาลัยธรรมศาสตร์ ; 2551.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
