Current location - Education and Training Encyclopedia - Graduation thesis - Who has anything about the translation of "knowledge representation"?
Who has anything about the translation of "knowledge representation"?
What is the representative of knowledge? 92 Landauer Davis Howard Schlobe MIT Laboratory Ai Ai He Laboratory Symbolic Company Szolovits Peter College Computer Science Laboratory as a newspaper 92R Davis, HShrobe, SzolovitsP. What is the representative of knowledge? Ai Magazine (1)14:17-33, 1993. There is a better version of PostScript format. Although abstract knowledge is the most familiar concept for delegates, in a sense, love, but what is the most fundamental problem?

-There are few direct answers. The newspaper lobbied representatives of a certain variety many times. Other newspapers have different views on property distribution, and some focus on important concept conferences in the industry. In this article, we go back to the basic problems and deal with them directly. We believe that the five important roles understood by the best answer are completely different, representing the differences in various regions and sometimes conflicting with each other. We think there should be a distribution of property. Considering all these five main functions, it provides useful views and reveals some controversial research and practice, which can be active in this field. 92. What is the representative of knowledge from the perspective of vocabulary? Role 1: Korea is an agent, which means that wrong inference is an inevitable role. 2. Korea is a group of ontological commitments, and the commitments accumulated from the initial selected commitments are layered. 3. Korea is not a data structure. 3. Korea is a complete theoretical knowledge. Is reasoning clever? Intelligent reasoning: logical reasoning thinks this is due to psychology? Answer format and content inference, suggestion? Function 4: Classification society is the medium and efficient calculation function 5: Classification society is the research and practice of middle-class people expressing their influence. The spirit of practice: the distinctive spiritual representation should be indulged rather than overcome. Research: representativeness and inference are interrelated results. Research: Research with negotiated results: Debate on the consequences of formal homosexuality. What are the purposes of these five characters studying the Korean issue? Representative introduction. We believe that this concept is best understood as five unique functions, but in the play, every key task at hand: the knowledge register is the most fundamental substitute, and the thing that replaces it itself is used to let an entity decide the consequences of thinking, rather than taking action, that is, reasoning about the world, rather than taking action. This is a set of ontological promises, that is, to answer such a question: under what conditions do I think the world should be like? It is a complete theoretical reasoning intelligence, which is embodied in three aspects: (1) the basic concept of employment' intelligent reasoning';

(2) representatives of a series of judgments and sanctions;

(3) Deterministic reasoning shows that this is a practical and effective computing tool, that is, computing environment and realization idea. This is a practical efficiency guide, which provides convenience for organizing posts and facilitating information recommendation and judgment. It is a human expression, that is, the language we speak, which has different beneficial effects on world affairs. To understand and know your role, first of all, each different role needs a little representativeness;

Every interesting clue has such different characteristics that we need a representative. Second, we believe that useful roles will provide a framework and various viewpoints. The basic spirit of our proposal, "one", means that we can understand how to capture the views of each role and mainly reveal similarities and differences. Thirdly, we think that some of the previous differences are beneficial, which means that these five roles should be properly considered when they are separated. This once again proves the scope and logic of our early anatomical debate. Finally, we think this way expresses the consequences of research and practice. Research, this view provides a fundamental field to answer questions directly. It also implies that the representative struggle of quite a few people-capturing and representing colorful nature-has been paid enough attention to in this case. We think this view also reminds us that improving the spiritual consciousness of practitioners is an important source of motivation. Two points from the perspective of nouns and terms are helpful for our introduction. First of all, we use reasoning in a general sense to refer to obtaining new expressions from old expressions. When it comes to clarity, we seldom talk about logical reasoning, such as sound. Second, give them the same name as * * *. We mean to be familiar with the technical knowledge represented by basic logical allocation tools, rules, time limits, semantic web, etc. It is also necessary to clearly explain whether a multi-level knowledge statement language is generally established, and typical technical knowledge is at the bottom. Hayes's strict liquid [12] is divided into concepts and other spaces, such as the same level. Languages such as Portal, Face, and Square first command logic at the next more primitive (and lower-level) level. For example, in (S 1, S2), the expression space S 1 is contained in 1957. This view is very useful because it is a technology that we can discuss and analyze, mainly in South Korea. For the primitive level, it represents the foundation of Korean language, making it all-oriented. Perhaps the most fundamental question is, what is the concept of representing knowledge? We think the answer is the five basic role-playing we are most familiar with. My role: one is that Korea represents any entity, and I also hope that the reasons in the world are important to meet. Factual reasoning is a process, followed by internal affairs, and the most wanted reason is only abroad. Take the program (or individual) as an example, the reason may be like physical sprocket, processing bar, etc. But this kind of thing only exists outside. This is the basic principle and function of an inevitable phenomenon, which is manifested as follows: it functions as a mother inference machine, a superfluous thing, and it exists all over the world. Action and negotiated action replace the real thing, that is, directly replace the world. People think that this is the first time that we have replaced action in the world, and we can't or don't want to (but) take action. (1) View the agent's statement. There must be some form of communication to appoint an agent and its necessity in the world;

Letters are symbols of semiotics. The second question is honesty: how to get close to the real mother? What attribute was originally unclear, but was ignored? Fidelity is generally impossible to be perfect, both in practice and in principle. In principle, it is impossible, because everything except itself must be different (such as its position). On the contrary, only the purpose of an object itself can be fully and accurately reflected. Other opinions are wrong;

They may also include a simplified imaginary cultural relic. Two people negotiated with the agent who expounded this point. First, it seems to be the same invisible object, its tangible object, such as wheeled fishing gear. As a subject, statement is an abstract concept, such as behavior, process, belief, cause and effect, category and so on. So that they can describe an entity, and its statement about the reason may be correct. Second, of course, there are formal internal machines and loyalty perfection: mathematical entities, if accurate, are unrealistic and inevitable agents because of formal objections and because almost all reasoning tasks are faced with natural objects (that is, formal objects encountered in the real world) that need to be solved. Being a surrogate mother is two incorrect and important conclusions, and it is an inevitable agent who will not leave the inevitable consequences. One consequence is to describe the natural world, because of negligence, at least some effective and infinitely complex nature should be deleted.

The briefing will not only introduce that there are no cultural relics in the world in China at present, but more importantly, all the extensive reasoning is correct, the independent way of thinking and the independent distribution and use of nature. We can't save reasonable reasoning: if there are mistakes, some conclusions of the world model will be incorrect, no matter how careful we are. Better representatives can't save us: nothing can lead to mistakes in all negotiations. The meaning of error is, of course.

In fact, many representatives of art are a good choice. Finding a specific task can minimize (or even eliminate) processing errors. But inevitably, the agent can at least provide a guarantee that any entity will make mistakes in essence for any reason: if the time is too long, the reason is roughly enough to guarantee the mistakes. Only by rational use of free reasoning and judgment can we not make mistakes;

It can only guarantee not to interfere with the root cause, error. Because a lot of reasoning is bound to be wrong. The inference of inferring other models with one-step imperfection is that it can provide more gains (such as efficiency) for errors, not from the overall accurate error, but from the possibility of a balance problem. We believe that we should not accept the reasons casually, but advocate that we should evaluate the relative costs and benefits of seeking truth from facts because of the inevitability of mistakes or even reasonable reasons. Use imperfect reasoning and methods. Role 2: Korea is a set of ontological commitments. If everyone thinks that all viewpoints are completely close to reality, and each approximation deals with some things and ignores others, then it is inevitable to make a series of decisions about how we look at the world and how we look at the world by choosing representatives. (2) Commitment takes effect. Strong glasses determine that we can see that some areas of the world will become the focus of attention at the expense of other parts.

The most important thing is that Korea is an ontological commitment. This is inevitable because it is not necessarily expressed. This is a wise choice, because it can provide an opportunity for all parties to pay attention to what we think is important in the world. An important part of the agglomeration effect is what kind of representative is put forward. Because it is the most complicated thing in nature, we (and our reasoning machine) need to guide the world to pay attention to those neglected things. Representative glasses can provide such guidance: how to tell the United States that what they have made us face may be complicated and not detailed. Therefore, the promise of ontology can represent one of the most important contributions, providing work with a long history and striving to build ontology due to various task fields. Including the early work is full of liquid 12, the calculation part of the model is widely used to represent electronic circuits (such as 3), as well as ontology time, belief and even the program itself. Every time we see some fields brought by this method, such as the calculation part of the model, it means that we should combine circuit components and their relationships, as well as real-time information flow. This is a useful point of view. But this is not the only way. Another strict and rewarding device: the signal here propagates at a certain speed and objects (such as resistance), which were originally considered as an inseparable part, but an I /O behavior may have been regarded as an extended medium for electromagnetic wave flow. Ontology can of course be written in various languages and symbols (such as logic, cookies, etc. );

Basic information is not a form, but the content of language, that is, a set of ideas as a way of thinking about the world. In short, it is important to combine ideas and components, whether they choose to write or assert. We promise to make a choice. One or the other is full of sharply different opinions and can put forward the current task. Considering the differences, the factors considered in the selection are the same as those of the electrical equipment. As a second example, the angle of medical diagnosis rules (such as mycin) looks very different * * * The same as the task scope (such as internal medicine). Mycin believes that the World Medical Association should contact the actual symptoms of diseases, and internal medicine should look at a set of models, especially typical diseases, and must target this case. Taking internal medicine as an example from the earliest choice also shows great commitment, even though technology, logic and rules and regulations are all configured in the inevitable familiarity with paleontology. Every point of view is embodied in such a thing, and it is important in the world. For example, logic involves (rarely) trying to make all entities and relations in the world conform to the fundamental interests of the two peoples. Based on the viewpoint of rule system, it is believed that the value of objects in the world is three times, and reasonable reasoning rules make them have typical thinking objects in the United States. The most important thing to deal with is each of your own opinions and suggestions. Conversely, there is no condition to easily see those that are ignored. Of course, this is not guaranteed to be correct, because anything may prove to be relevant later. But this work is unprincipled-every point represents the world-so all we can do is a good start, I believe. The existing technology provides a set of guesses about what to represent and when not to participate. So they choose anything that involves some innate commitment: this choice has great influence. Our ideas and working methods are the reference for us to look at the world. Representatives who are committed to different levels of accumulation, they are committed to the representative technology and accumulation of ontology level. They made more commitments at different levels, because we used the scope of scientific and technological work to provide an example for the structure of internal medicine. At the most basic level, we determine the time limit, default and classification level of thinking mode in diagnosis. But what is the prototype and how should we classify the organization? The early system description [2 1] shows that the answer to these questions is the current task, which provides a second-level commitment: the basic system of internal medicine in the knowledge base consists of two basic types: entity and disease manifestation:: .42 This also includes A. 。

.

Graded disease organizations are mainly concentrated in organ systems. At the high level, the prototypes of such "liver diseases" and "kidney diseases" hope to capture typical diseases (such as "typical" diseases), and they will organize a classified index of the surrounding organ systems. This is a wise choice, but obviously there is no only way to apply kindness to the task;

Therefore, the other layer is the innate commitment. The third layer (the last layer in this case) is a set of choices. Instantiation: will this disease, including high-level branches, appear? Ontology problem, even at this level, can be basically the same. For example, consider which of the following diseases need to be considered (for example, the country needs to solve abnormalities): alcoholism, homosexuality, and chronic fatigue syndrome. Ontologic's commitment is quite obvious and very important here. This is often a controversial field, which is independent in itself. All technical representatives must make similar decisions. Because of everyone's supply, there is only one song to guess how to look at the world: it provides a way, but just look at the idea of' Tinstantiate'. The box shows the prototype, but what you don't want to learn tells us that it is designed for the prototype, and the thinking rules put forward reasonable inferences, but the single' T' reasonable inference tells us that we are participating. The same logic tells us that there are individuals and relationships in the world, but there are no specific personal relationships. Use. For a specific world outlook, first select technical representatives, and then select the conditions for accumulating how to look at the world. Tip: South Korea is not a structured data point out. At every level, even the selection of the header (such as selection box or rule) is the representative of the ongoing process, not the data structure. What stands for language is meaningful [13], that is, something with a corresponding relationship. Things in the outside world This, in turn, is restricted by letters. For example, the semantic web represents a graphic data structure. They are different entities, even if one of them is used to achieve other consistency, it is precisely because of the semiotics of the network. This semiotics will show that it limits the network topology: the network aims to explain family members because we know whether they can have a cycle to contact their parents. Charts (such as data structures) have no such restrictions and can be arbitrary. Moreover, each representative must specify letters in some data structures of the machine, and express attributes with letters and some restrictions in the world. Role 3: Korea is a complete theoretical knowledge, and the third reason is that it represents intelligent reasoning as a complete theory. Probably because this role was originally conceived as a typical representative, indicating some people's wise eyes or opinions, because it means wisdom. A theory has two different meanings: (1) stands for generally including only a part or an opinion, and the motivation to believe it; (2) Revelation or belief is only a complex and multifaceted phenomenon. Representative theoretical knowledge often implies reasoning, but it can be seen that its research includes three parts: (1) Basic conceptual intelligence of posts.

(2) representatives of a series of judgments and sanctions;

(3) Clear inference. It is suggested that attention should be paid to inference if inference is allowed. Guidance is necessary because this set of arguments is often used to eat indiscriminately.

Yan told us what to think of the first three studies and why to make suggestions. These contents can also be regarded as answers to three basic questions: (1) What is reason and wisdom? (2) Is there anything we can infer? (3) Do we know what we should infer? The answer is to represent the core spirit,' mentality;

Our position on these issues speaks volumes. First of all, our first content examines two completely different concepts of intelligent reasoning, discusses the views on love, these concepts and their basic assumptions, and puts forward some other important aspects. What is the truth of cleverness? It is important to determine intelligent building reasoning. Because young people are a subject relative to AI, a thorough understanding of sexual knowledge often comes from work in other fields. Five-mathematical logic, psychology, physiology, statistics and economics-inspire five differences. What is the concept of intelligent reasoning (table 1)? There is a view that, starting from the historical mathematical logic, it is assumed that there are various forms of intelligent reasoning and calculation, and the deduction is general;

This typical modern view is logician. Second, rooted in psychological work, reasoning is regarded as human behavior characteristics, which leads to a lot of work and a system based on a lot of knowledge of problem solvers. The third method, rooted in loose biology, thinks that the key is the mechanical structure of reasoning and realizes it, so it is a unique reasoning stimulus/response behavior. At the same time, a large number of interconnected simple processes have emerged. Researchers are currently studying the routes of several generations of connectionism. The fourth method increases the uncertainty of the logical concept from probability theory, thus producing truth, and the theorem of causality is a clever method of probability theory. Fifth, from the further increase of economics, some value orientations, thus, the theory of adhering to principles in the cause of intelligent reasoning has been determined. 92 Mathematical Biology Psychology Statistical Economics Aristotle Logic Descartes Boolean James Laplacian pareto Frege Bernoulli Friedman Bien Oheb lashley BayesGoedelBruner Jose Post Mielert Voski, Neville Letvin Kahneman, Simon Simon's Von Church system, inheriting mcculloch, PittsRaiffa Davis Heubel, WeiselPutman Robinson writing logical causal connectionism rational Prolog Korean broadcasting system, grid agents, expressing opinions, intelligent reasoning and the origin of intelligence 92. The first two views on historical development discuss the basic nature of intelligent reasoning in different concepts, and will show the consequences of deep disagreement mentality. Intelligent reasoning: the traditional view that logic and psychology should first consider, as the mysterious reasoning intelligence of mathematical logic, has its historical origin. Aristotle's efforts and accumulated catalogue try to determine that it should be convincing. (3) Descartes' analytic geometry still shows Euclid's work, which is obviously a problem worthy of attention. Pure thinking (lines are zero width, and all kinds of perfection can only be achieved by God) can actually combine algebra with formal calculation, which God can do. By then,

At this time, there is a clear and specific point of view, because in God's Euclid' and it can't be captured by algebraic geometry, so some variants (or any) of this short-lived thing can be called the calculation of thought and concrete logical inference. 19th century, which laid the foundation of Boolean positive position calculation method.

The later work of Peano and Frege provided a new foundation for the upstream formation of modern stones. Davis's work, Putman's and Robinson's last step in the 20th century made it easier to provide enough proof theorems for the first time. The intellectual development of modern children includes many efforts. The first is represented by logic, some reasoning engines of various projects. And a lot of work has put forward a clear agenda for logical reasoning operations, such as Prolog. This clearly shows that the development route allocation method is based on the nature of cultivation and intelligent reasoning. Here are, for example, the basic premise of historical development, that is, the intelligent reasoning method in logical reasoning;

Everything is a mistake or a season. This is the logic that the allies believe in "logic", which also means, first, to improve the general deduction. These two simple things are an important part of the collapse, and the intelligence of basic logical reasoning: it refers to the wisdom of logical reasoning, which takes logic as the first priority. The second important part is full-time belief, which is an intelligent reasoning process that can capture formal explanation and formal explanation. Especially in terms of streamlining. But different views can also talk about intelligence. A completely different view is that Buddhist AI is influenced by traditional psychology. This tradition is rooted in Herb, Bruner, Miller and Neville Simon &; Breaking the requirements of stimulus/response opinions and behaviorism, human problem-solving behavior can be regarded as a complex psychological structure such as goals and plans. Modern manifestations include the general working mechanism as a production system, based on increasing intelligent reasoning and knowledge, so as to obtain the reasoning of human experts. Comparing the differences between these two traditions shows great influence. Reasoning with a person or other intelligence. In traditional intelligent logicians' reasoning, it is regarded as a kind of calculation, which deduces the most important logic in general. On the basis of tradition, it adopts the psychological characteristics of intelligent reasoning, especially the interest in various human behaviors. So formal determination is based on mathematical calculation, while for those traditional psychological phenomena, it is based on the experience of nature. Therefore, there are two different basic assumptions. The phenomena here are basically caught. The second aspect is to consider the answers to these questions. Sex is the traditional music that every logician asks for advice, and the language is accurate. Looking for mathematical language encounters (sometimes physics). The comparison of traditional psychology shows that intelligence is not only a natural phenomenon, but also a complex natural phenomenon: it may be intelligence in the long-term evolution of the complex system of human anatomy and physiology itself. So it is possible to collect a large number of intelligence projects. Fundamentally speaking, a concise introduction is not entirely possible. Some useful results, because on this fundamental issue, different positions understand each tradition. First of all, it shows that any choice of those traditional modern products-that is.

The representative of any technology represents the bottom of the table-that is, we choose the representative above: we also use the same concept to choose the essence of reasoning wisdom. Second, these concepts are different in important ways: we try to capture phenomena with different basic concepts, and different concepts have deep-seated differences and various goals of research work, and we try to create intelligent programs. Simply put, different concepts lead to different intelligent reasoning goals and successful definitions. And create different works of art. Finally, these differences are rarely expressed. This, in turn, enables people to choose representativeness (for example, it is difficult to judge the nature of German-English FOPC and propose a framework-based system), but the real problem is that we believe that the basic information of different viewpoints, the understanding of different positions and the appropriate arrangement of analyzing problems are supported. The second part is the representative of the theory that "the reason of smart sanctions is its inference, that is, choose appropriate inference and draw a conclusion". The traditional definition comes from traditional formal logic, but only from reasonable reasoning is reasoning (that is, it contains a little logic, and the provisions of each mode are also the end of axiomatic mode). This answer has some important advantages, including satisfying intuition (it is reasonable and will not introduce mistakes) and clarity (we know we are sure). It can be officially proved that we have accumulated a lot of experience at the beginning. We also discussed several logical inferences that did not include qualifications and kidnapping. This mainly takes into account the requirements of developed countries: to have a good motivation to "theoretical basis of the model" [19], such as defining the minimum standard model. A basic component of this requirement is the logician method: although willing to draw conclusions, such a series of conclusions of some small models (not really in every model) still think that the theoretical model calculation is concrete and clear. Other representatives discussed other definitions: the penalty of probabilistic reasoning system (such as 20) stipulates the inference of probability theory, while reasonable staff (such as [7]) depends on the economic rationality of the concept. In the system based on technical common sense and rules, speculators and experts put forward and speculate. It may not be a real sound or any model. Encouraged by the delegates, a good game may lead to incorrect conclusions, expectations, or debts. These two kinds of psychology are the same as the traditional experts who recognize human behavior inference, rather than an abstract formal reference model. The answer format and content, these examples show that different specific methods of post licensing have different contents and forms. For example, in logical norms, how to provide answers in terms of theoretical and mathematical models and other viewpoints is often much more accurate. The theoretical framework, such as how to define human behavior, is only about two different contents, and its style also has different opinions. Explore the above inference wisely. The definition of human repetitive behavior is appropriate. Because the theory of visual intelligence reasoning is a unique behavior of human beings, in order to explain that the theory of this behavior is faced with a complex empirical phenomenon, which can never be specific and accurate at a rough moment, the approximate answer is a theoretical framework. Then, whether it is informal specific punishment or empirical inference, the result must be ideological wisdom and work (such as work), which is not easy to be inaccurate.

The basic concept of intelligent reasoning determines different working methods, and different answers represent different key answers. Here is the legitimacy that is widely recognized, and various specific punishment methods are derived: the theoretical model can be clear and powerful, but it is not the only feasible language of the formal system. It is still relatively broad, not only a formal definition, but also a clear answer. Choosing the right vocabulary depends on the basic concept of intelligent behavior at a formal level. These conclusions show that. Although the judgment of the United States tells us that everything can be concluded as follows, it is a great deficiency that restricts it. Any reason to try to automate the system, I don't know, my inference is just according to the approval, and I will be selected soon. Therefore, we must show that the above inference can be put forward according to law, and we need some signs to infer, which is an appropriate judgment. That is, smart. This sign is judged by a series of hints. Seeing that the necessity of specific suggestions is a specific allocation, we should also talk about how to be wise. But also a kind of theoretical knowledge and intelligent reasoning. It is usually reasonable, and the theory provides an observation of human behavior. Minsky's original theoretical framework is discussed. For example, it provides an obvious example and suggests a set of inferences. In view of this, a set of 17 documents are imported from the original work: this is a local theoretical thinking: whenever he meets a new situation (or an idea changes greatly), he chooses a memory structure called a frame;

Remember, structural adjustment needs details to adapt to the changing reality. There was a time when [important] circumstances stipulated, such as in the living room or the child's birthday. The first sentence explains the truth and represents the other party: this is a knowledge employment document, but first of all, it is also a theoretical thinking. This theory has aroused the enlightenment to human intelligent reasoning, that is, how to make people deal with such simple common-sense reasoning, which seems to be difficult to capture.

The scientific reasoning style is completed. Arguments of a similar nature can be recommended to represent most other technologies. For example, the original form of Nets Semantic suggested two-way communication through the network, the definition of mutual inspiration and the ability of words to express human wisdom, in order to find concepts with obviously different connections between people. Knowledge-based rule systems can infer recommendations and be inferred by observing human experts. The logic is the opposite. I took the lowest position on this issue. I only provide theories to support my inference, trying to remain silent on this issue and infer suggestions. The motivation to remain silent on this issue is the general reasoning mechanism and the words in the form of statements (that is, independent of use). The logician method includes the basic goal: "Logicians strive to make the reasoning process unified and domain independent, and express all knowledge (even if they know how to use it) as rigid." 19 negotiation, but these goals cannot infer any specific suggestions for two reasons. First, if the reasoning process is universally unified (that is, all problems are solved in the same way), it must remain neutral. In this paper, it is proposed that any particular branch inference tries to pick out a possible suitable situation, but this is fatal and bad, because any inference strategy (unit preference, a set of support, etc. ) is generally appropriate. Second, if the language of a country must be stated, there must be clear facts, but no reasons are given. It (the use of freedom of speech is the special representative of the declaration). Therefore, the inference engine can recommend any inference T (otherwise it will lose universality and unity) and the language of fact statement can't recommend any inference (because the news loses its declarative nature). (4) The general desire and use of freedom of speech, so that you can make suggestions from elected representatives. But if you can't suggest your own representative, you should, because the substitution-search without guidance-is untenable. To some extent, this is also a deliberate method of virtue logicians: to prevent judgments from selection, so the opportunity for users to do so is that information is a clear representative, not a representative embedded in the suggestion mechanism (for example, a rule-based system or Prolog).

This is an unacceptable goal in the efforts to provide users with clear strategies and methods to guide the system.

Third, common methods: tell users that they have made the system, let their users do the right thing, and establish special-purpose reasoning strategies.

How to "this system is to let users recommend a series of conclusions in the same written statement (sentence) to express the facts about the world in language (such as Du [9]).

The theorem, law and lemma selected in "The right thing to lead a system is to let users do it" supply the system.

For example, the current deadline is not only a system, but also provides a simplified way to become a step in the long chain, which actually makes the system take a "big step" in a certain direction (that is, the direction, we need a deadline).

A category can be inferred indirectly from carefully selected facts and lemmas user recommendations.

The specific strategy of "special purpose inference" strategic building control is to directly enter the theorem machine.

This can provide many useful practical standards and speed up the operation efficiency.

All these practices have advantages and disadvantages.

According to the statement, first of all, this strategy conforms to the logical spirit of the logician method, namely:

Unified understanding, clear expression, statement expression.

But this is often a problem in practice: the fact that the design of language expression is not necessarily rigid shows that it is an important feature information reasoning strategy.

A well-chosen lemma is at best indirectly encoding information to guide supply.

Finally, some special mechanisms, as well as a powerful reasoning strategy and procedures, are kept in the dark, while the independent goals originally in the field of structure are clearly inferred and declared.

The good news is that it is reasonable to remain silent on this issue, especially the recommendation conclusion. Logic provides a certain degree of universality and possible information, and provides clear suggestions.

What is more gratifying is that the task now is to guide the system so that users do not provide assistance for concepts and practices. As a result, the practice of defeating goals at some critical moments is the first driving force.

Role 4: Korea is an efficient computing tool, ranging from purely mechanical and instrumental reasons (and even more controversial human beings) to computer programs.

In short, we must use calculation and distribution.

Results Operational efficiency inevitably questioned the concept of central office.

This has long been recognized, which at least implies the representative.