- clausal representation
- представление знаний логическими выражениями;
представление знаний в виде программ на языке ПРОЛОГ
Большой англо-русский и русско-английский словарь. 2001.
clausal representation
Смотреть что такое "clausal representation" в других словарях:
Role and Reference Grammar — Die Role and Reference Grammar (RRG) ist eine strukturalistische und funktionale Grammatiktheorie, die von den beiden US amerikanischen Sprachwissenschaftlern Robert D. Van Valin Jr. und William A. Foley in den 1980er Jahren entwickelt wurde.… … Deutsch Wikipedia
Planner (programming language) — Planner (often seen in publications as PLANNER although it is not an acronym) is a programming language designed by Carl Hewitt at MIT, and first published in 1969. First, subsets such as Micro Planner and Pico Planner were implemented, and then… … Wikipedia
SLD resolution — ( Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses. The SLD inference ruleGiven a goal clause: eg L… … Wikipedia
List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
Kiowa language — language name=Kiowa nativename= familycolor=American states=USA region= southwestern Oklahoma speakers=1,000+ (2000 census) iso3=kio fam1=Kiowa TanoanKiowa is a Kiowa Tanoan language spoken by the Kiowa Tribe in southwestern Oklahoma in primarily … Wikipedia
Grammaire cognitive — La grammaire cognitive (en anglais : Cognitive Grammar) constitue une approche cognitive du langage, développée depuis 1976 par Ronald Langacker. Celui ci en a présenté les principes dans son ouvrage en deux volumes, Foundations of Cognitive … Wikipédia en Français
