Liniowa Cząstkowa Informacja (zwana po angielsku teorią Linear Partial Information lub po prostu teorią LPI) - jest metodą podejmowania decyzji, bazujących na niepełnej informacji. Teoria LPI została opracowana w roku 1970 przez polsko-szwajcarskiego matematyka Edwarda Koflera (1911 - 2007) dla uproszczenia procesów decyzyjnych. W porównaniu z innymi metodami system LPI jest prostszy algorytmicznie i bardziej praktyczny, szczególnie w procesach decyzyjnych. Zamiast stosowania często wątpliwych funkcji charakterystycznych decydent linearyzuje jakikolwiek element niepewności przez wprowadzenie liniowych ograniczeń elementów niepewności: rozkładów prawdopodobieństw albo średnich ważonych. W procesie LPI decydent linearyzuje wszelkie elementy niepewności zamiast wprowadzać funkcje charakterystyczne. Linearyzacji dokonuje się przez wprowadzanie stochastycznych lub niestochastycznych zależności LPI. Układy mieszane składające się ze stochastycznych i niestochastycznych elementów niepewności są najczęściej podstawą procesu LPI. Stosując metodę LPI można rozwiązać niepewną sytuację decyzyjną opierając się na liniowej logice rozmytej (ang.: Fuzzy Logic).

Maszyna – w najogólniejszym znaczeniu cybernetycznym – wszelki układ względnie odosobniony, w jakim zachodzi przekształcanie (transformacja) zasilenia lub informacji. Określenie to obejmuje zarówno układy fizyczne naturalne (w tym organizmy żywe), jak i urządzenia techniczne oraz pewne obiekty abstrakcyjne.

Prawda to jedna z dwóch podstawowych wartości logicznych. Drugą jest fałsz. W logice matematycznej prawda jest jedynie symbolem i nie ma żadnego głębszego znaczenia, czym różni się od swojego potocznie używanego odpowiednika. Wyrażenie zawsze prawdziwe, z powodu swojej konstrukcji logicznej, to tautologia.

Logika (gr. λόγος, logos - rozum) nauka normatywna, analizująca źródła poznania pod względem prawomocności czynności poznawczych z nimi związanych. Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika, jako dyscyplina normatywna, nie tylko opisuje jak faktycznie przebiegają rozumowania, ale także formułuje twierdzenia normatywne, mówiące o tym, jak rozumowania powinny przebiegać.