Search results

Jump to navigation Jump to search
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)
  • {{Short description|Theorem in temporal logic}} ...hat must be satisfied.<ref>{{citation|title=Handbook of Temporal Reasoning in Artificial Intelligence|volume=1|series=Foundations of Artificial Intellige ...
    1 KB (183 words) - 05:16, 23 March 2025
  • ...ence]] a '''fuzzy agent''' is a [[software agent]] that implements [[fuzzy logic]]. This software entity interacts with its environment through an adaptive ...
    789 bytes (100 words) - 05:16, 23 March 2025
  • {{short description|High-level logic programming language}} | paradigm = [[logic programming]] ...
    7 KB (1,061 words) - 05:18, 23 March 2025
  • {{short description|Computer program that uses a knowledge base and reasoning to solve problems}} ...ed systems were the focus of early [[artificial intelligence]] researchers in the 1980s. The term can refer to a broad range of systems. However, all kno ...
    11 KB (1,524 words) - 05:16, 23 March 2025
  • ...ort System for Diabetes Management, MSCS Thesis, Ohio University, Computer Science (Engineering), 2007</ref> ...gent decision support system is to enable these tasks to be performed by a computer, while emulating human capabilities as closely as possible. ...
    6 KB (871 words) - 05:16, 23 March 2025
  • ...ly by the [[University of Sussex]], and recently in the School of Computer Science at the [[University of Birmingham]], which hosts the main Poplog website. ...including a pattern matcher, and is mostly used for research and teaching in [[artificial intelligence]], although it has features sufficient for many o ...
    11 KB (1,549 words) - 05:17, 23 March 2025
  • {{Short description|Type of modal logic}} ...pic, in 1912. It continued to mature as a field, reaching its modern form in 1963 with the work of [[Saul Kripke]]. ...
    23 KB (3,746 words) - 05:15, 23 March 2025
  • ...ite book |last=Sikos |first=Leslie F. |date=2017 |title=Description Logics in Multimedia Reasoning |url=https://www.springer.com/us/book/9783319540658 |l ...plication of DLs and OWL is in [[biomedical informatics]] where DL assists in the codification of biomedical knowledge.{{Citation needed|reason=How was t ...
    39 KB (5,561 words) - 05:16, 23 March 2025
  • {{about|use of computers in humor research|jokes about computers|Computer humor}} ...roceedings of the International Workshop on Computational Humor. Number 12 in Twente Workshops on Language Technology, Enschede, Netherlands. University ...
    11 KB (1,500 words) - 05:15, 23 March 2025
  • ...NLTK]] and [[spaCy]] for [[natural language processing]], [[OpenCV]] for [[computer vision]], and [[Matplotlib]] for [[data visualization]].<ref>{{Cite web |la ...Bayesian inference]], neural networks and in general [[machine learning]]. In domains like finance, biology, sociology or medicine it is considered one o ...
    12 KB (1,589 words) - 05:17, 23 March 2025
  • ...ge-driven approach to AI we must have the machinery of symbol manipulation in our toolkit. Too much useful knowledge is abstract to proceed without tools ...g systems have been worked on since the 1990s, both in AI and in Cognitive Science, by multiple researchers.{{sfn|Sun|1995}} ...
    18 KB (2,307 words) - 05:19, 23 March 2025
  • {{Short description|Term describing difficult problems in AI}} ...4644/http://www.cse.buffalo.edu/~shapiro/Papers/ai.pdf |date=2016-02-01 }} In Stuart C. Shapiro (Ed.), ''Encyclopedia of Artificial Intelligence'' (Secon ...
    14 KB (1,898 words) - 05:16, 23 March 2025
  • ...the original DEL framework; more details about DEL in general can be found in the references. ...]), [[economics]] ([[game theory]]) and [[cognitive science]]. In computer science, DEL is for example very much related to [[multi-agent systems]], which are ...
    53 KB (8,791 words) - 05:17, 23 March 2025
  • {{short description|Computer composed of organic material}} ...al actx inter.jpg|thumb|right|upright=1|Diversity of neuronal morphologies in the [[auditory cortex]]]] ...
    30 KB (4,127 words) - 05:19, 23 March 2025
  • ...red in the 1980s by [[Rodney Brooks]], who was then part of [[MIT Computer Science and Artificial Intelligence Laboratory|MIT artificial intelligence laborato The differences between nouvelle AI and symbolic AI are apparent in early robots [[Shakey the robot|Shakey]] and [[Freddy II|Freddy]]. These ro ...
    10 KB (1,425 words) - 05:15, 23 March 2025
  • {{Short description|Ability of a computer to learn a specific task from data or experimental observation}} ...Publishing |isbn=978-3-030-42226-4 |edition=3rd |series=Texts in Computer Science |location=Cham |pages=V |language=en |chapter=Preface |doi=10.1007/978-3-03 ...
    51 KB (7,016 words) - 05:15, 23 March 2025
  • {{Short description|Computer program acting for a user}} ...are agent''' is a computer program that acts for a user or another program in a relationship of agency. ...
    24 KB (3,344 words) - 05:16, 23 March 2025
  • ...{cite book|first=E. T. |last=Jaynes|title=Probability Theory: The Logic of Science|url={{google books |plainurl=y |id=UjsgAwAAQBAJ}}|date=10 April 2003|publis ...te probabilistic reasoning—a kind of [[Prolog]] for probability instead of logic. Bayesian programming<ref name="BessiereMazer2013">{{cite book|first1=Pierr ...
    42 KB (6,242 words) - 05:16, 23 March 2025
  • ...ss common sense knowledge was [[Advice Taker]] in 1959 by [[John McCarthy (computer scientist)|John McCarthy]].<ref>{{cite web|url=http://www-formal.stanford.e ...ions]] about the unknown similar to the way people do. In an AI system or in English, this is expressed as "Normally P holds", "Usually P" or "Typicall ...
    11 KB (1,468 words) - 05:18, 23 March 2025
  • {{For|the term in intelligent design|Intelligent designer}} In [[artificial intelligence]], an '''intelligent agent''' is an entity that [ ...
    39 KB (5,051 words) - 05:17, 23 March 2025
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)