Show simple item record

dc.contributor.authorÇiçekli, İlyasen_US
dc.coverage.spatialSozopol, Bulgaria
dc.date.accessioned2016-02-08T11:59:00Z
dc.date.available2016-02-08T11:59:00Z
dc.date.issued1998-09en_US
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/11693/27661
dc.descriptionDate of Conference: 21-23 September, 1998
dc.descriptionConference name: 8th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA’98
dc.description.abstractThis 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.language.isoEnglishen_US
dc.source.titleAIMSA: International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA’98en_US
dc.relation.isversionofhttps://doi.org/10.1007/BFb0057444
dc.subjectDiagnosis algorithmsen_US
dc.subjectFault diagnosis problemen_US
dc.subjectFaulty circuitsen_US
dc.subjectArtificial intelligenceen_US
dc.subjectLearning algorithmsen_US
dc.titleTheories and proofs in fault diagnosisen_US
dc.typeConference Paperen_US
dc.departmentDepartment of Computer Engineeringen_US
dc.citation.spage181en_US
dc.citation.epage194en_US
dc.identifier.doi10.1007/BFb0057444
dc.publisherSpringeren_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record