- propositional network
- пропозициональная сеть
Большой англо-русский и русско-английский словарь. 2001.
propositional network
Смотреть что такое "propositional network" в других словарях:
Frege's propositional calculus — In mathematical logic Frege s propositional calculus was the first axiomatization of propositional calculus. It was invented by Gottlob Frege, who also invented predicate calculus, in 1879 as part of his second order predicate calculus (although… … Wikipedia
Subjective logic — is a type of probabilistic logic that explicitly takes uncertainty and belief ownership into account. In general, subjective logic is suitable for modeling and analysing situations involving uncertainty and incomplete knowledgeA. Jøsang.… … Wikipedia
List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… … Wikipedia
automata theory — Body of physical and logical principles underlying the operation of any electromechanical device (an automaton) that converts information input in one form into another, or into some action, according to an algorithm. Norbert Wiener and Alan M.… … Universalium
Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( … Wikipedia
Phenomenology (The beginnings of) — The beginnings of phenomenology Husserl and his predecessors Richard Cobb Stevens Edmund Husserl was the founder of phenomenology, one of the principal movements of twentieth century philosophy. His principal contribution to philosophy was his… … History of philosophy
Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… … Wikipedia
Language of thought — Jerry A. Fodor s Language of Thought (LOT) hypothesis states that cognition and cognitive processes are only remotely plausible when expressed as computational in terms of representational systems. He uses empirical data drawn from linguistics… … Wikipedia
Cognitive semantics — is part of the cognitive linguistics movement. The main tenets of cognitive semantics are, first, that grammar is conceptualisation; second, that conceptual structure is embodied and motivated by usage; and third, that the ability to use language … Wikipedia
John Searle — Infobox Philosopher region = Western Philosophy era = Contemporary philosophy color = #B0C4DE image caption = name = John Rogers Searle birth = July 31, 1932 (age 76) death = school tradition = Analytic notable ideas = Speech acts· Chinese room… … Wikipedia
Chrysippus — This article is about the philosopher. For other people named Chrysippus, see Chrysippus (disambiguation). Chrysippus of Soli Roman copy of a Hellenistic bust of Chrysippus, British Museum Full name Chrysippus of Soli Born c. 279 BC … Wikipedia
