|
Nicola Guarino
Nicola Guarino (born 1954, in Messina) is an Italian computer scientist and researcher in the area of Formal Ontology for Information Systems, and the head of the Laboratory for Applied Ontology (LOA), part of the Italian National Research Council (CNR) in Trento. Work Guarino's research interests are in the area of Artificial Intelligence, predominantly in Knowledge Representation. He may be best known in the Computer Science community for developing OntoClean, the first methodology for formal ontological analysis, with his colleague Chris Welty. Knowledge Representation He is arguably one of the founders of the field of ontology in computer science, but undoubtedly one of its most outspoken proponents. While most of the AI and KR researchers focused on reasoning algorithms and semantics of representation languages, and considered the actual knowledge expressed in these languages and reasoned over by these algorithms to be unimportant (just examples), Guarino spearheaded a cou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Scientist
A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (although there is overlap). Although computer scientists can also focus their work and research on specific areas (such as algorithm and data structure development and design, software engineering, information theory, database theory, computational complexity theory, numerical analysis, programming language theory, computer graphics, and computer vision), their foundation is the theoretical study of computing from which these other fields derive. A primary goal of computer scientists is to develop or validate models, often mathematical, to describe the properties of computational systems (processors, programs, computers interacting with people, computers interacting with other computers, etc.) with an overall objective of discovering des ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Trento
Trento ( or ; Ladin and lmo, Trent; german: Trient ; cim, Tria; , ), also anglicized as Trent, is a city on the Adige River in Trentino-Alto Adige/Südtirol in Italy. It is the capital of the autonomous province of Trento. In the 16th century, the city was the location of the Council of Trent. Formerly part of Austria and Austria-Hungary, it was annexed by Italy in 1919. With 118,142 inhabitants, Trento is the third largest city in the Alps and second largest in the historical region of Tyrol. Trento is an educational, scientific, financial and political centre in Trentino-Alto Adige/Südtirol, in Tyrol and Northern Italy in general. The city contains a picturesque Medieval and Renaissance historic centre, with ancient buildings such as Trento Cathedral and the Castello del Buonconsiglio. Together with other Alpine towns Trento engages in the Alpine Town of the Year Association for the implementation of the Alpine Convention to achieve sustainable development in the Alpin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Artificial Intelligence
Artificial intelligence (AI) is intelligence—perceiving, synthesizing, and inferring information—demonstrated by machines, as opposed to intelligence displayed by animals and humans. Example tasks in which this is done include speech recognition, computer vision, translation between (natural) languages, as well as other mappings of inputs. The ''Oxford English Dictionary'' of Oxford University Press defines artificial intelligence as: the theory and development of computer systems able to perform tasks that normally require human intelligence, such as visual perception, speech recognition, decision-making, and translation between languages. AI applications include advanced web search engines (e.g., Google), recommendation systems (used by YouTube, Amazon and Netflix), understanding human speech (such as Siri and Alexa), self-driving cars (e.g., Tesla), automated decision-making and competing at the highest level in strategic game systems (such as chess and Go). ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Knowledge Representation
Knowledge representation and reasoning (KRR, KR&R, KR²) is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can use to solve complex tasks such as diagnosing a medical condition or having a dialog in a natural language. Knowledge representation incorporates findings from psychology about how humans solve problems and represent knowledge in order to design formalisms that will make complex systems easier to design and build. Knowledge representation and reasoning also incorporates findings from logic to automate various kinds of ''reasoning'', such as the application of rules or the relations of sets and subsets. Examples of knowledge representation formalisms include semantic nets, systems architecture, frames, rules, and ontologies. Examples of automated reasoning engines include inference engines, theorem provers, and classifiers. History The earliest work in computerized knowledge represe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
OntoClean
OntoClean is a methodology for analyzing ontologies based on formal, domain-independent properties of classes (the metaproperties) developed by Nicola Guarino and Chris Welty. Overview and History OntoClean was the first attempt to formalize notions of ontological analysis for information systems. The idea was to justify the kinds of decisions that experienced ontology builders make, and explain the common mistakes of the inexperienced.Alan Rector during a debate at the KR-2002 conference in Toulouse, said, "What you have done is reduce the amount of time I spend arguing with medics." The notions Guarino & Welty focused on were drawn from philosophical ontology. They were not after the seemingly endless arguments about what the right ontology of the universe is, but rather the techniques these philosophers use to analyze, support, and criticize each other's arguments. These techniques make very little, if any, commitment to a particular ontology, instead they expose what are oft ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chris Welty
Christopher A. Welty is an American computer scientist, who works at Google Research in New York. He is best known for his work on ontologies, in the Semantic Web, and on IBM's Watson. While on sabbatical from Vassar College from 1999 to 2000, he collaborated with Nicola Guarino on OntoClean; he was co-chair of the W3C Rule Interchange Format working group from 2005 to 2009. Background and education Dr. Welty is a graduate of Rensselaer Polytechnic Institute, (RPI) where he worked for the Free Software Foundation on version 16-18 of GNU Emacs as well as the formation of NYSERNet during the emergence of the InterNet. This synergy of interests made him an early public figure in AI, as he moderated the "NL-KR Digest" and the corresponding comp.ai.nlang-know-rep newsgroup (now defunct), which was at the time the widest vehicle for dissemination of announcements and moderated discussion in the natural language and knowledge representation communities. He later became the editor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Patrick J
Patrick may refer to: *Patrick (given name), list of people and fictional characters with this name *Patrick (surname), list of people with this name People *Saint Patrick (c. 385–c. 461), Christian saint *Gilla Pátraic (died 1084), Patrick or Patricius, Bishop of Dublin * Patrick, 1st Earl of Salisbury (c. 1122–1168), Anglo-Norman nobleman * Patrick (footballer, born 1983), Brazilian right-back *Patrick (footballer, born 1985), Brazilian striker *Patrick (footballer, born 1992), Brazilian midfielder *Patrick (footballer, born 1994), Brazilian right-back *Patrick (footballer, born May 1998), Brazilian forward *Patrick (footballer, born November 1998), Brazilian attacking midfielder * Patrick (footballer, born 1999), Brazilian defender * Patrick (footballer, born 2000), Brazilian defender *John Byrne (Scottish playwright) (born 1940), also a painter under the pseudonym Patrick *Don Harris (wrestler) (born 1960), American professional wrestler who uses the ring name Patrick Fil ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Knowledge-based Systems
A knowledge-based system (KBS) is a computer program that reasons and uses a knowledge base to solve complex problems. The term is broad and refers to many different kinds of systems. The one common theme that unites all knowledge based systems is an attempt to represent knowledge explicitly and a reasoning system that allows it to derive new knowledge. Thus, a knowledge-based system has two distinguishing features: a knowledge base and an inference engine. The first part, the knowledge base, represents facts about the world, often in some form of subsumption ontology (rather than implicitly embedded in procedural code, in the way a conventional computer program does). Other common approaches in addition to a subsumption ontology include frames, conceptual graphs, and logical assertions. The second part, the inference engine, allows new knowledge to be inferred. Most commonly, it can take the form of IF-THEN rules coupled with forward chaining or backward chaining approaches ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Willard Van Orman Quine
Willard Van Orman Quine (; known to his friends as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century". From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor. He filled the Edgar Pierce Chair of Philosophy at Harvard from 1956 to 1978. Quine was a teacher of logic and set theory. Quine was famous for his position that first order logic is the only kind worthy of the name, and developed his own system of mathematics and set theory, known as New Foundations. In philosophy of mathematics, he and his Harvard colleague Hilary Putnam developed the Quine–Putnam indispensability argument, an argument for the reality of mathematical entities.Colyvan, Mark"Indispensability Arguments in the Philosophy of Mathematics" The Stanford Encyclopedi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Strawson (1919–2006), English philosopher
{{surname, Strawson ...
Strawson is a surname. People with the surname include: *Galen Strawson (born 1952), English philosopher and literary critic * John Strawson, British writer and academic *John Strawson (British Army officer) (born 1921), British Army general *P. F. Strawson Peter Frederick Strawson (; 23 November 1919 – 13 February 2006) was an English philosopher. He was the Waynflete Professor of Metaphysical Philosophy at the University of Oxford (Magdalen College) from 1968 to 1987. Before that, he w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peter Simons (professor)
Peter M. Simons, (born 23 March 1950) is a British philosopher and a retired professor of philosophy at Trinity College Dublin. He is known for his work with Kevin Mulligan and Barry Smith on metaphysics and the history of Austrian philosophy. Since 2018 he is Visiting Professor at the University of Italian Switzerland. Biography Simons studied at the University of Manchester, and has held teaching posts at the University of Bolton, from which he holds an honorary doctorate, the University of Salzburg, where he is Honorary Professor of Philosophy, and the University of Leeds. He has been President of the European Society for Analytic Philosophy and is current director of the Franz Brentano Foundation. His research interests include metaphysics and ontology, the history of logic, the history of Central European Philosophy, particularly in Austria and Poland in the 19th and 20th centuries, and the application of metaphysics to engineering and other non-philosophical discip ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Ontology In Information Systems
Formal, formality, informal or informality imply the complying with, or not complying with, some set of requirements (forms, in Ancient Greek). They may refer to: Dress code and events * Formal wear, attire for formal events * Semi-formal attire, attire for semi-formal events * Informal attire, more controlled attire than casual but less than formal * Formal (university), official university dinner, ball or other event * School formal, official school dinner, ball or other event Logic and mathematics * Formal logic, or mathematical logic ** Informal logic, the complement, whose definition and scope is contentious *Formal fallacy, reasoning of invalid structure ** Informal fallacy, the complement * Informal mathematics, also called naïve mathematics *Formal cause, Aristotle's intrinsic, determining cause *Formal power series, a generalization of power series without requiring convergence, used in combinatorics *Formal calculation, a calculation which is systematic, but without ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
