Presentation	1995/5/25 An Efficient Search Method of Consistent State Transition Path in Diagnosis Using Historical Data Kazuo Hashimoto, Kazunori Matsumoto, Sadao Obana,
PDF Download Page	PDF download Page Link
Abstract(in Japanese)	(See Japanese page)
Abstract(in English)	Expert systems for process control or network management are required the ability to reason about the past events with log information. This paper formally defines a logic for diagnosis on the history of state change of a finite state machine (FSA), and proposes an efficient algorithm to search possible paths of FSA's state change.
Keyword(in Japanese)	(See Japanese page)
Keyword(in English)	log / diagnosis / temporal reasoning / path search / expert system
Paper #
Date of Issue

Conference Information
Committee	AI
Conference Date	1995/5/25(1days)
Place (in Japanese)	(See Japanese page)
Place (in English)
Topics (in Japanese)	(See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To	Artificial Intelligence and Knowledge-Based Processing (AI)
Language	JPN
Title (in Japanese)	(See Japanese page)
Sub Title (in Japanese)	(See Japanese page)
Title (in English)	An Efficient Search Method of Consistent State Transition Path in Diagnosis Using Historical Data
Sub Title (in English)
Keyword(1)	log
Keyword(2)	diagnosis
Keyword(3)	temporal reasoning
Keyword(4)	path search
Keyword(5)	expert system
1st Author's Name	Kazuo Hashimoto
1st Author's Affiliation	KDD R&D Laboratories()
2nd Author's Name	Kazunori Matsumoto
2nd Author's Affiliation	KDD R&D Laboratories
3rd Author's Name	Sadao Obana
3rd Author's Affiliation	KDD R&D Laboratories
Date	1995/5/25
Paper #
Volume (vol)	vol.95
Number (no)	75
Page	pp.pp.-
#Pages	8
Date of Issue