Search results
Jump to navigation
Jump to search
Page title matches
- {{Short description|Language models designed for reasoning tasks}} ...nce]] systems that combine [[natural language processing]] with structured reasoning capabilities. These models are usually constructed by [[Prompt engineering| ...24 KB (3,625 words) - 23:17, 19 February 2025
Page text matches
- ...e]], '''FO(.)''' (a.k.a. '''FO-dot''') is a [[Knowledge representation and reasoning|knowledge representation]] language based on [[first-order logic]] (FO).<re ...information", to be used as input to various generic reasoning algorithms. Reasoning engines that use FO(.) include IDP-Z3,<ref>{{cite web |url=http://www.idp-z ...5 KB (577 words) - 08:44, 19 June 2024
- ...elds = [[Artificial intelligence]], [[knowledge representation and reasoning]], and [[database theory]] ...n the areas of [[artificial intelligence]], [[knowledge representation and reasoning]], and [[database theory]].<ref>{{cite web |title="Siamo i campioni dell'in ...6 KB (791 words) - 02:56, 8 May 2024
- ...iew with Richard Neapolitan|date=July 2008|url=https://research.kent.ac.uk/reasoning/wp-content/uploads/sites/1804/2019/06/TheReasoner-27-screen.pdf|journal=The ...ility to artificial intelligence appeared in his 1989 text ''Probabilistic Reasoning in Expert Systems: Theory and Algorithms''.<ref name="neoexpert" /> ...10 KB (1,328 words) - 19:14, 27 February 2025
- * {{ill|Frank Markham Brown|d|Q112500339}}, ''Boolean Reasoning: The Logic of Boolean Equations'', 2nd edition, 2003, [https://books.google ...1 KB (210 words) - 21:42, 5 July 2022
- ...name=":0">{{Cite arXiv|title=A simple neural network module for relational reasoning|last=Santoro|first=Adam|last2=Raposo|first2=David|date=5 June 2017|last3=Ba |Textual data. 20 tasks, each requiring a particular type of reasoning, such as deduction, induction, or counting. Each question is associated wit ...4 KB (627 words) - 01:23, 27 November 2023
- | title = Statistical Reasoning with Imprecise Probabilities ...s to credal classification |journal=[[International Journal of Approximate Reasoning]] |volume=39 |issue=2–3 |pages=235 |year=2005 |doi-access=free }} ...4 KB (566 words) - 21:16, 7 November 2024
- ...learning action models differs from [[reinforcement learning]]. It enables reasoning about actions instead of expensive trials in the world.<ref name="amir2008" </ref> Action model learning is a form of [[inductive reasoning]], where new knowledge is generated based on agent's ''observations''. It d ...7 KB (968 words) - 15:22, 24 February 2025
- ...itability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning |url=https://ojs.aaai.org/index.php/AAAI/article/view/8854 |journal=Proceed ...3 KB (427 words) - 05:32, 21 April 2024
- .../chapter/10.1007/978-3-319-24312-2_13 |conference=TABLEAUX 2015: Automated Reasoning with Analytic Tableaux and Related Methods, Wrocław, Poland |series= Lectur ...ume=12842 |pages=74-91 |location=Cham |conference=TABLEAUX 2021: Automated Reasoning with Analytic Tableaux and Related Methods, Birmingham, UK |doi=10.1007/978 ...3 KB (491 words) - 18:34, 15 April 2024
- This kind of reasoning is also called interval membership, as opposed to point membership in the c ...2 KB (291 words) - 06:16, 31 July 2024
- | journal = [[Journal of Automated Reasoning]] ...lata |first=Gina |author-link=Gina Kolata |title=Computer Math Proof Shows Reasoning Power |work=[[The New York Times]] |date=1996-12-10 |url=https://archive.ny ...7 KB (948 words) - 03:50, 24 January 2025
- ...Gold Is in a Wedding Ring?|title=The Mathematical Mechanic: Using Physical Reasoning to Solve Problems|publisher=Princeton University Press|year=2009|isbn=978-0 ...ólya|title=[[Mathematics and plausible reasoning|Mathematics and Plausible Reasoning]], Vol. I: Induction and Analogy in Mathematics|publisher=Princeton Univers ...8 KB (1,181 words) - 09:25, 7 June 2024
- ...|first1=Norbert |title=Logic for Programming, Artificial Intelligence, and Reasoning |chapter=Gödel Logics – A Survey |series=Lecture Notes in Computer Science ...2 KB (316 words) - 14:25, 19 September 2024
- ...idi [http://www.scm.tees.ac.uk/users/p.gregory/symcon06/BenhamouSaidi.pdf "Reasoning by dominance in Not-Equals binary constraint networks"], Laboratoire des Sc tion Problems. In Proceedings of the AAAI98 Spring Symposium on Multimodal Reasoning, Stanford, CA, TR SS-98-04. (1998)</ref><ref>Neagu, N., Faltings, B.: Explo ...6 KB (978 words) - 09:42, 6 October 2024
- Many [[proofs by contradiction]] use negation introduction as reasoning scheme: to prove ¬''P'', assume for contradiction ''P'', then derive from i ...3 KB (351 words) - 05:00, 29 October 2023
- * {{cite book |title=Boolean Reasoning - The Logic of Boolean Equations |chapter=Chapter 3: The Blake Canonical Fo ...2 KB (333 words) - 21:34, 18 May 2023
- * The term should not be confused with the invalid [[circular reasoning]]. ...3 KB (421 words) - 22:53, 12 November 2024
- {{Short description|Language models designed for reasoning tasks}} ...nce]] systems that combine [[natural language processing]] with structured reasoning capabilities. These models are usually constructed by [[Prompt engineering| ...24 KB (3,625 words) - 23:17, 19 February 2025
- ...ob |first3=Georg |date=2018-05-01 |title=The Vadalog system: datalog-based reasoning for knowledge graphs |url=https://doi.org/10.14778/3213880.3213888 |journal ...oning|logical]], [[Probabilistic reasoning|probabilistic]] and ontological reasoning,<ref>{{Cite journal |last1=Cali` |first1=Andrea |last2=Gottlob |first2=Geor ...25 KB (3,744 words) - 13:54, 19 January 2025
- "One should be careful when reasoning with such non-classic logics, as basic intuitions may deceive."<ref name="o ...3 KB (522 words) - 14:20, 2 April 2024