Truth maintenance in knowledge-based systems
Truth Maintenance Systems (TMS) have been applied in a wide range of domains, from diagnosing electric circuits to belief revision in agent systems. There also has been work on using the TMS in modern Knowledge-Based Systems such as intelligent agents and ontologies. This thesis investigates the app...
| Main Author: | |
|---|---|
| Format: | Thesis (University of Nottingham only) |
| Language: | English |
| Published: |
2014
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/28434/ |
| _version_ | 1848793569772437504 |
|---|---|
| author | Nguyen, Hai Hoang |
| author_facet | Nguyen, Hai Hoang |
| author_sort | Nguyen, Hai Hoang |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | Truth Maintenance Systems (TMS) have been applied in a wide range of domains, from diagnosing electric circuits to belief revision in agent systems. There also has been work on using the TMS in modern Knowledge-Based Systems such as intelligent agents and ontologies. This thesis investigates the applications of TMSs in such systems.
For intelligent agents, we use a “light-weight” TMS to support query caching in agent programs. The TMS keeps track of the dependencies between a query and the facts used to derive it so that when the agent updates its database, only affected queries are invalidated and removed from the cache. The TMS employed here is “light-weight” as it does not maintain all intermediate reasoning results. Therefore, it is able to reduce memory consumption and to improve performance in a dynamic setting such as in multi-agent systems.
For ontologies, this work extends the Assumption-based Truth Maintenance System (ATMS) to tackle the problem of axiom pinpointing and debugging in ontology-based systems with different levels of expressivity. Starting with finding all errors in auto-generated ontology mappings using a “classic” ATMS [23], we extend the ATMS to solve the axiom pinpointing problem in Description Logics-based Ontologies. We also attempt this approach to solve the axiom pinpointing problem in a more expressive upper ontology, SUMO, whose underlying logic is undecidable. |
| first_indexed | 2025-11-14T19:02:23Z |
| format | Thesis (University of Nottingham only) |
| id | nottingham-28434 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T19:02:23Z |
| publishDate | 2014 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-284342025-02-28T11:33:37Z https://eprints.nottingham.ac.uk/28434/ Truth maintenance in knowledge-based systems Nguyen, Hai Hoang Truth Maintenance Systems (TMS) have been applied in a wide range of domains, from diagnosing electric circuits to belief revision in agent systems. There also has been work on using the TMS in modern Knowledge-Based Systems such as intelligent agents and ontologies. This thesis investigates the applications of TMSs in such systems. For intelligent agents, we use a “light-weight” TMS to support query caching in agent programs. The TMS keeps track of the dependencies between a query and the facts used to derive it so that when the agent updates its database, only affected queries are invalidated and removed from the cache. The TMS employed here is “light-weight” as it does not maintain all intermediate reasoning results. Therefore, it is able to reduce memory consumption and to improve performance in a dynamic setting such as in multi-agent systems. For ontologies, this work extends the Assumption-based Truth Maintenance System (ATMS) to tackle the problem of axiom pinpointing and debugging in ontology-based systems with different levels of expressivity. Starting with finding all errors in auto-generated ontology mappings using a “classic” ATMS [23], we extend the ATMS to solve the axiom pinpointing problem in Description Logics-based Ontologies. We also attempt this approach to solve the axiom pinpointing problem in a more expressive upper ontology, SUMO, whose underlying logic is undecidable. 2014-07-15 Thesis (University of Nottingham only) NonPeerReviewed application/pdf en arr https://eprints.nottingham.ac.uk/28434/1/Thesis-hhn-corrected.pdf Nguyen, Hai Hoang (2014) Truth maintenance in knowledge-based systems. PhD thesis, University of Nottingham. truth maintenance systems knowledge-based systems expert systems computers tms assumption-based turth maintenance system |
| spellingShingle | truth maintenance systems knowledge-based systems expert systems computers tms assumption-based turth maintenance system Nguyen, Hai Hoang Truth maintenance in knowledge-based systems |
| title | Truth maintenance in knowledge-based systems |
| title_full | Truth maintenance in knowledge-based systems |
| title_fullStr | Truth maintenance in knowledge-based systems |
| title_full_unstemmed | Truth maintenance in knowledge-based systems |
| title_short | Truth maintenance in knowledge-based systems |
| title_sort | truth maintenance in knowledge-based systems |
| topic | truth maintenance systems knowledge-based systems expert systems computers tms assumption-based turth maintenance system |
| url | https://eprints.nottingham.ac.uk/28434/ |