Theories and proofs in fault diagnosis
| dc.citation.epage | 194 | en_US |
| dc.citation.spage | 181 | en_US |
| dc.contributor.author | Çiçekli, İlyas | en_US |
| dc.coverage.spatial | Sozopol, Bulgaria | |
| dc.date.accessioned | 2016-02-08T11:59:00Z | |
| dc.date.available | 2016-02-08T11:59:00Z | |
| dc.date.issued | 1998-09 | en_US |
| dc.department | Department of Computer Engineering | en_US |
| dc.description | Date of Conference: 21-23 September, 1998 | |
| dc.description | Conference name: 8th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA’98 | |
| dc.description.abstract | This paper illustrates how theories (contexts), fail branches, and the ability to control the construction of proofs in MetaProlog play an important role in the expression of the fault diagnosis problem. These facilities of MetaProlog make it easier to represent digital circuits and the fault diagnosis algorithm on them. MetaProlog theories are used both in the representation of digital circuits and in the implementation of the fault diagnosis algorithm. Fail branches and the ability to control their construction play a key role during the construction of hypothesises to explain the fault in a given faulty circuit. | en_US |
| dc.description.provenance | Made available in DSpace on 2016-02-08T11:59:00Z (GMT). No. of bitstreams: 1 bilkent-research-paper.pdf: 70227 bytes, checksum: 26e812c6f5156f83f0e77b261a471b5a (MD5) Previous issue date: 1998 | en |
| dc.identifier.doi | 10.1007/BFb0057444 | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.uri | http://hdl.handle.net/11693/27661 | |
| dc.language.iso | English | en_US |
| dc.publisher | Springer | en_US |
| dc.relation.isversionof | https://doi.org/10.1007/BFb0057444 | |
| dc.source.title | AIMSA: International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA’98 | en_US |
| dc.subject | Diagnosis algorithms | en_US |
| dc.subject | Fault diagnosis problem | en_US |
| dc.subject | Faulty circuits | en_US |
| dc.subject | Artificial intelligence | en_US |
| dc.subject | Learning algorithms | en_US |
| dc.title | Theories and proofs in fault diagnosis | en_US |
| dc.type | Conference Paper | en_US |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Theories and proofs in fault diagnosis.pdf
- Size:
- 771.05 KB
- Format:
- Adobe Portable Document Format
- Description:
- Full printable version