Search results

Page title matches

• Knowledge representation and reasoning
  ...g also incorporates findings from [[logic]] to automate various kinds of ''reasoning'', such as the application of rules or the relations of [[Set theory|sets]] ...and [[Ontology (information science)|ontologies]]. Examples of [[automated reasoning]] engines include inference engines, theorem provers, and classifiers.
  35 KB (5,377 words) - 07:42, 31 October 2014

Page text matches

• Knowledge representation and reasoning
  ...g also incorporates findings from [[logic]] to automate various kinds of ''reasoning'', such as the application of rules or the relations of [[Set theory|sets]] ...and [[Ontology (information science)|ontologies]]. Examples of [[automated reasoning]] engines include inference engines, theorem provers, and classifiers.
  35 KB (5,377 words) - 07:42, 31 October 2014
• Talk:BPFK Section: gadri
  ...r, cardinal) quantifiers make no sense. I am not sure whether this line of reasoning is sufficient, but it is a cheap way to get substances without a new gadri. Care to give a reason why you don't think my above reasoning makes
  4.12 MB (665,740 words) - 16:32, 2 March 2020
• User:Ciste/Talk:BPFK Section: gadri
  ...r, cardinal) quantifiers make no sense. I am not sure whether this line of reasoning is sufficient, but it is a cheap way to get substances without a new gadri. Care to give a reason why you don't think my above reasoning makes
  2.07 MB (380,774 words) - 07:40, 7 March 2020
• The proposed fourth tense of Lojban
  The bottom line is, any time you are interested in reasoning about the This line of reasoning sure seems like a mess now.
  142 KB (23,550 words) - 09:34, 17 April 2015
• Talk:BPFK gismu Section: Parenthetical Remarks in Brivla Definitions
  By that reasoning, if I say "mi djica lo nu mi ponse lo gerku" I'm in luck > By that reasoning, if I say "mi djica lo nu mi ponse lo gerku" I'm in luck
  632 KB (109,363 words) - 09:54, 26 January 2015
• me lu ju'i lobypli li'u 18 moi
  <br />Here is where reasoning from "da poi ..." comes into play. Restrictive clauses have a deep effect o <br />By similar reasoning, "lo mi ci sipna", which means "lo ci sipna [ku] pe mi" exactly, and is rou
  565 KB (90,076 words) - 03:40, 22 August 2020
• LLG 2018 Annual Meeting Transcript
  ...yone who would prefer to make the decision now may certainly provide their reasoning. la selpa'i explained the reasoning behind such proposal as such:
  521 KB (87,367 words) - 21:48, 22 November 2022
• Talk:BPFK Section: Causation sumtcita
  xorxesian reasoning, {cu'u} then can only be that the same xorxesian reasoning has removed
  210 KB (32,056 words) - 12:40, 26 January 2015
• xorlo & mi nitcu lo mikce
  I understand your reasoning, but "lo instance of lo mikce" > I understand your reasoning, but "lo instance of lo mikce"
  282 KB (44,320 words) - 14:50, 26 January 2015
• Talk:BPFK Super-Section: BAI sumtcita
  bad reasoning — unless x is also a necessary > bad reasoning — unless x is also a necessary
  163 KB (25,083 words) - 11:17, 26 January 2015
• Talk:BPFK Section: Inexact Numbers
  practical reasoning, if we want some sloppy reasoning, if {le selcmi} were (a group of)
  455 KB (71,979 words) - 09:22, 27 January 2015
• brismu
  ...rresponds to [[go, gi]] reasoning, and '''Selb''' corresponds to a sort of reasoning over selbri similar to [[wikipedia:is-a]] or [[wikipedia:has-a]] theories o
  2 KB (277 words) - 17:40, 11 October 2024
• me lu ju'i lobypli li'u 2 moi
  snola 5erules\(n)\- a logical basis for reasoning\ju snola\ snola 5einference\(n)\- the product of logical reasoning\nu snola\
  116 KB (18,033 words) - 14:45, 23 March 2014
• god Syndrome
  <eye_onus> The reasoning is counter-intuitive to, well, reasoning itself. ...e it? I can get in their way of thinking, but not their way of feeling and reasoning?
  27 KB (5,047 words) - 08:16, 30 June 2014
• three-value logic
  ..., in which case, 'sort of' might be a better gloss? I don't deny that when reasoning, we may want to treat 'maybe' and 'sort of' alike, but in understanding the ...eeds work, but it promises to be a rich and interesting logic which allows reasoning about much more complex things than the standard logic. Sorry for the confu
  19 KB (3,005 words) - 10:52, 1 July 2018
• me lu ju'i lobypli li'u 14 moi
  ...syntactic base aided fluent Lojban speakers in the use of this logic as a reasoning tool. ...ld just as easily argue that the "xu" is superfluous. But this is circular reasoning. Is the purpose of Lojban to be spoken in a dull monotone? Or do you expect
  441 KB (72,114 words) - 00:44, 18 August 2020
• Talk:BPFK Section: Intensifiers
  ...{je'e pei}, but I think it is wiser to document for posterity what kind of reasoning went into the decision. ...{je'e pei}, but I think it is wiser to document for posterity what kind of reasoning went into the decision.
  155 KB (25,763 words) - 08:58, 26 January 2015
• What does Logical Language mean (Lojban course in English)
  #In a logical argument or method of reasoning, each step must be true if the step before it is true. ...he truth value of the meaning of a series of symbols. Similarly, method of reasoning is a method of deducing the meaning of a sentence from the meaning of anoth
  13 KB (2,144 words) - 23:56, 1 September 2022
• Talk:BPFK Section: PEG Morphology Algorithm
  the reasoning for each step. And that commentary should make reference to see whether this happens or not: only close reasoning supplemented with
  1.9 MB (296,157 words) - 12:45, 26 January 2015
• stub: La Lojban cu mo alpha 0.0.1
  .... Complex sets of suppositions can be expressed, as well as long chains of reasoning based on logical deduction. In short, the possibilities of Lojban grammatic ...tactic base has aided fluent Lojban speakers in the use of this logic as a reasoning tool.
  450 KB (65,465 words) - 09:45, 12 March 2016

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)