assertional

* * *


Universalium. 2010.

Look at other dictionaries:

  • assertional — adjective Of or pertaining to assertion …   Wiktionary

  • assertional — as·ser·tion·al …   English syllables

  • assertional — shənəl, shnəl adjective : of or relating to assertion * * * aˈssertional, a. rare. [f. prec. + al1.] Of, pertaining to, or of the nature of, assertion. a 1864 Webster cites Latham …   Useful english dictionary

  • assertion — assertional, adj. /euh serr sheuhn/, n. 1. a positive statement or declaration, often without support or reason: a mere assertion; an unwarranted assertion. 2. an act of asserting. [1375 1425; late ME assercion < L assertion (s. of assertio). See …   Universalium

  • AKB — Assertional Knowledge Base (KI) …   Acronyms

  • AKB — Assertional Knowledge Base ( KI) …   Acronyms von A bis Z

  • Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that …   Wikipedia

  • Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on …   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

  • Hybrid logic — refers to a number of extensions to propositional modal logic with more expressive power, though still less than first order logic. In formal logic, there is a trade off between expressiveness and computational tractability (how easy it is to… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”