It can be derived from and through the resolution inference rule.

Z tego mogą czerpać i przez zasadę uchwały wniosku.

These inference rules are written with a list of sequents above and below a line.

Te zasady wniosku są napisane z listą z sequents wyżej i poniżej linia.

We can write this in the form of an inference rule:

Możemy pisać to w formie zasady wniosku:

This shows how inference rule Substitution is used within hints.

To widowiska jak zasada wniosku Zastępowanie jest używane w aluzjach.

This can be formalized using inference rules, what we do in the left column of the following table.

To mogą być sformalizowane używające zasady wniosku, co robimy w lewej kolumnie następującego stołu.

It can also be used to implement any logic that is specified by means of inference rules.

To również może być użyte by realizować jakąkolwiek logikę czyli może określić za pomocą zasad wniosku.

The set of inference rules is said to be complete if the following holds:

Zbiorowi zasad wniosku każą być kompletnym jeśli następowanie trzyma:

It is necessary to verify that the extra inference rules do not change the generated language.

Trzeba sprawdzić, że dodatkowe zasady wniosku nie zmieniają wytworzonego języka.

For example, a knowledge-manipulation program might implement inference rules as demons.

Na przykład, program wiedza-manipulacja może realizować zasady wniosku jako demony.

It is meant to express inference rules closely related to the "natural" way of reasoning.

To ma wyrazić wniosek, że zasady blisko dotyczyły aby "naturalny" droga rozumowania.

Inference rules can apply to elements on both sides of the turnstile.

Zasady wniosku mogą obowiązywać elementy obustronnie z kołowrotu.

Of the four inference rules only two survived.

Z czterech zasad wniosku tylko dwa przeżyty.

We now give inference rules describing how to build proofs of sequents.

Teraz udzielamy zasadom wniosku opisywania jak budzić dowody z sequents.

There are hybrid theorem proving systems which use model checking as an inference rule.

Jest hybrydowe twierdzenie dowodzące systemów, które używają sprawdzania modela jako zasady wniosku.

The following alternative inference rules for default logic are all based on the same syntax as the original system.

Następujące alternatywne zasady wniosku dla logiki domyślnej są wszystkim opartym na takiej samej składni jako pierwotny system.

Then, a set of inference rules is sound if and only if the following holds:

W takim razie, zbiór zasad wniosku jest mocny wtedy i tylko wtedy, gdy następowanie trzyma:

This allows us to formulate exactly what it means for the set of inference rules to be sound and complete:

To pozwala nam formułować dokładnie co to oznacza dla zbioru zasad wniosku być mocnym i kompletnym:

The general form of an inference rule is:

Ogólna forma wniosku, że zasada jest:

Both rules are based on the modus ponens inference rule.

Obie zasady opierają się na metodzie ponens zasada wniosku.

In the sequent calculus all inference rules have a purely bottom-up reading.

W następczym rachunku wszystkie zasady wniosku mają wyłącznie wstępujące czytanie.

Information, inference steps, inference rules, and agents are the three main building blocks of the language.

Informacje, kroki wniosku, zasady wniosku, i agenci są trzema głównymi podstawowymi częściami składowymi języka.

Three types of relevant information can be anticipated from experience knowledge and inference rules, relating to:

Trzy typy stosownej informacji mogą być przewidziane z doświadczenia wiedza i zasady wniosku, wiążąc aby:

Syntactic accounts of logical consequence rely on schemes using inference rules.

Składniowe relacje logicznej konsekwencji polegają na plany wykorzystujące zasady wniosku.

In contrast, it is largely incompatible with logical systems which uses other things than formulas and inference rules.

Natomiast, to jest niezgodne w dużej mierze z logicznymi systemami który używa innych rzeczy niż formuły i zasady wniosku.

Beliefs can also include inference rules, allowing forward chaining to lead to new beliefs.

Przekonania również mogą obejmować zasady wniosku, pozwalając do przodu skuwając łańcuchem prowadzić do nowych przekonań.