The knowledge representation mode and inference control strategy were analyzed according to the specialties of air-conditioning cooling/heating sources selection. The constructing idea and working procedure for knowle...The knowledge representation mode and inference control strategy were analyzed according to the specialties of air-conditioning cooling/heating sources selection. The constructing idea and working procedure for knowledge base and inference engine were proposed while the realization technique of the C language was discussed. An intelligent decision support system (IDSS) model based on such knowledge representation and inference mechanism was developed by domain engineers. The model was verified to have a small kernel and powerful capability in list processing and data driving, which was successfully used in the design of a cooling/heating sources system for a large-sized office building.展开更多
The expert system is a high-level technology.It is a sub-field of artificial intelligence.We demonstrated the character and software evaluation,carrying out an initial study of expert system.A good development expert ...The expert system is a high-level technology.It is a sub-field of artificial intelligence.We demonstrated the character and software evaluation,carrying out an initial study of expert system.A good development expert system was developed.展开更多
Abstract： It was discussed that the way to reflect the internal relations between judgment and identification, the two most fundamental ways of thinking or cognition operations, during the course of the semantic netw...Abstract： It was discussed that the way to reflect the internal relations between judgment and identification, the two most fundamental ways of thinking or cognition operations, during the course of the semantic network knowledge representation processing. A new extended Petri net is defined based on qualitative mapping, which strengths the expressive ability of the feature of thinking and the mode of action of brain. A model of semantic network knowledge representation based on new Petri net is given. Semantic network knowledge has a more efficient representation and reasoning mechanism. This model not only can reflect the characteristics of associative memory in semantic network knowledge representation, but also can use Petri net to express the criterion changes and its change law of recognition judgment, especially the cognitive operation of thinking based on extraction and integration of sensory characteristics to well express the thinking transition course from quantitative change to qualitative change of human cognition.展开更多
Sense-oriented reasoning （SOR） was analyzed by comparing the reasoning of tribal and modem societies on a specific subject, the conception and birth of a child. Tribal societies have beliefs, which are difficult to ...Sense-oriented reasoning （SOR） was analyzed by comparing the reasoning of tribal and modem societies on a specific subject, the conception and birth of a child. Tribal societies have beliefs, which are difficult to understand by modem societies. Their reasoning becomes understandable only when considering that their observations are limited to the macrocosm. Modem societies have access to the microcosm with a microscope, where different biological mechanisms for the conception of a child were discovered. Since the tribes＇ macroscopical observations were different, their conclusions became necessarily different. The inheritance problem can only be solved by genes at the microscopic level, to which tribal societies had no access. With observations limited to the macrocosm, tribes logically invoked invisible child-spirits of ancestors wanting to be reincarnated in children of the same tribe. Besides the different access to observation, the reasoning of both societies is similar and built around the investigation of a final sense. Reasoning progresses after a phase without any quest for sense through three progressive levels： （1） primary sense, （2） corrected sense, and （3） verified sense. In tribal societies, reasoning is interrupted at the primary sense level when it seems consistent with their general beliefs and traditions. This resembles coherentist theories of epistemic justification, in which justification is only a function of coherence between beliefs. Tribal societies realize the input problem of these theories, since they have no access to the microcosm and also illustrate the Gettier problem. Modem societies progress to the higher levels of corrected and verified sense reasoning, even if inconsistent with their prior beliefs. They initially imagined genes as a hypothetic missing link for inheritance, which relies on a start observation concerning the character of ancestors to the target observation, the similarity with the character of children. If the missing link is definitely verified, it shows a chain of justified beliefs between both observations, allowing the initially hypothetic missing link to be retrospectively considered as the real cause. The SOR of modem societies resembles the extemalist version of foundationalism of epistemic justification, in which the necessary non-inferential justification is represented by the target observation.展开更多
文摘The knowledge representation mode and inference control strategy were analyzed according to the specialties of air-conditioning cooling/heating sources selection. The constructing idea and working procedure for knowledge base and inference engine were proposed while the realization technique of the C language was discussed. An intelligent decision support system (IDSS) model based on such knowledge representation and inference mechanism was developed by domain engineers. The model was verified to have a small kernel and powerful capability in list processing and data driving, which was successfully used in the design of a cooling/heating sources system for a large-sized office building.
文摘The expert system is a high-level technology.It is a sub-field of artificial intelligence.We demonstrated the character and software evaluation,carrying out an initial study of expert system.A good development expert system was developed.
文摘Abstract： It was discussed that the way to reflect the internal relations between judgment and identification, the two most fundamental ways of thinking or cognition operations, during the course of the semantic network knowledge representation processing. A new extended Petri net is defined based on qualitative mapping, which strengths the expressive ability of the feature of thinking and the mode of action of brain. A model of semantic network knowledge representation based on new Petri net is given. Semantic network knowledge has a more efficient representation and reasoning mechanism. This model not only can reflect the characteristics of associative memory in semantic network knowledge representation, but also can use Petri net to express the criterion changes and its change law of recognition judgment, especially the cognitive operation of thinking based on extraction and integration of sensory characteristics to well express the thinking transition course from quantitative change to qualitative change of human cognition.
文摘Sense-oriented reasoning （SOR） was analyzed by comparing the reasoning of tribal and modem societies on a specific subject, the conception and birth of a child. Tribal societies have beliefs, which are difficult to understand by modem societies. Their reasoning becomes understandable only when considering that their observations are limited to the macrocosm. Modem societies have access to the microcosm with a microscope, where different biological mechanisms for the conception of a child were discovered. Since the tribes＇ macroscopical observations were different, their conclusions became necessarily different. The inheritance problem can only be solved by genes at the microscopic level, to which tribal societies had no access. With observations limited to the macrocosm, tribes logically invoked invisible child-spirits of ancestors wanting to be reincarnated in children of the same tribe. Besides the different access to observation, the reasoning of both societies is similar and built around the investigation of a final sense. Reasoning progresses after a phase without any quest for sense through three progressive levels： （1） primary sense, （2） corrected sense, and （3） verified sense. In tribal societies, reasoning is interrupted at the primary sense level when it seems consistent with their general beliefs and traditions. This resembles coherentist theories of epistemic justification, in which justification is only a function of coherence between beliefs. Tribal societies realize the input problem of these theories, since they have no access to the microcosm and also illustrate the Gettier problem. Modem societies progress to the higher levels of corrected and verified sense reasoning, even if inconsistent with their prior beliefs. They initially imagined genes as a hypothetic missing link for inheritance, which relies on a start observation concerning the character of ancestors to the target observation, the similarity with the character of children. If the missing link is definitely verified, it shows a chain of justified beliefs between both observations, allowing the initially hypothetic missing link to be retrospectively considered as the real cause. The SOR of modem societies resembles the extemalist version of foundationalism of epistemic justification, in which the necessary non-inferential justification is represented by the target observation.
