|
John F. Sowa
John Florian Sowa (born 1940) is an American computer scientist, an expert in artificial intelligence and computer design, and the inventor of conceptual graphs. Biography Sowa received a BS in mathematics from Massachusetts Institute of Technology in 1962, an MA in applied mathematics from Harvard University in 1966, and a PhD in computer science from the Vrije Universiteit Brussel in 1999 on a dissertation titled "Knowledge Representation: Logical, Philosophical, and Computational Foundations". Sowa spent most of his professional career at International Business Machines, IBM, which started in 1962 at IBM's applied mathematics group. Over the decades he has researched and developed emerging fields of computer science from compilers, programming languages, and system architectureJohn F. Sowa and John Zachman (1992)"Extending and Formalizing the Framework for Information Systems Architecture"In: ''IBM Systems Journal'', Vol 31, no.3, 1992. p. 590-616. to artificial intelligence ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conceptual Graph
A conceptual graph (CG) is a formalism for knowledge representation. In the first published paper on CGs, John F. Sowa used them to represent the conceptual schemas used in database systems. The first book on CGs applied them to a wide range of topics in artificial intelligence, computer science, and cognitive science. Research branches Since 1984, the model has been developed along three main directions: a graphical interface for first-order logic, a diagrammatic calculus of logics, and a graph-based knowledge representation and reasoning model. Graphical interface for first-order logic In this approach, a formula in first-order logic (predicate calculus) is represented by a labeled graph. A linear notation, called the Conceptual Graph Interchange Format (CGIF), has been standardized in the ISO standard for common logic. The diagram above is an example of the ''display form'' for a conceptual graph. Each box is called a ''concept node'', and each oval is called a ''re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stanford University
Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California. The campus occupies , among the largest in the United States, and enrolls over 17,000 students. Stanford is considered among the most prestigious universities in the world. Stanford was founded in 1885 by Leland and Jane Stanford in memory of their only child, Leland Stanford Jr., who had died of typhoid fever at age 15 the previous year. Leland Stanford was a U.S. senator and former governor of California who made his fortune as a railroad tycoon. The school admitted its first students on October 1, 1891, as a coeducational and non-denominational institution. Stanford University struggled financially after the death of Leland Stanford in 1893 and again after much of the campus was damaged by the 1906 San Francisco earthquake. Following World War II, provost of Stanford Frederick Terman inspired and supported faculty and graduates' entrepreneu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logical Schema
A logical data model or logical schema is a data model of a specific problem domain expressed independently of a particular database management product or storage technology (physical data model) but in terms of data structures such as relational tables and columns, object-oriented classes, or XML tags. This is as opposed to a conceptual data model, which describes the semantics of an organization without reference to technology. Overview Logical data models represent the abstract structure of a domain of information. They are often diagrammatic in nature and are most typically used in business processes that seek to capture things of importance to an organization and how they relate to one another. Once validated and approved, the logical data model can become the basis of a physical data model and form the design of a database. Logical data models should be based on the structures identified in a preceding conceptual data model, since this describes the semantics of the informa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alfred North Whitehead
Alfred North Whitehead (15 February 1861 – 30 December 1947) was an English mathematician and philosopher. He is best known as the defining figure of the philosophical school known as process philosophy, which today has found application to a wide variety of disciplines, including ecology, theology, education, physics, biology, economics, and psychology, among other areas. In his early career Whitehead wrote primarily on mathematics, logic, and physics. His most notable work in these fields is the three-volume ''Principia Mathematica'' (1910–1913), which he wrote with former student Bertrand Russell. ''Principia Mathematica'' is considered one of the twentieth century's most important works in mathematical logic, and placed 23rd in a list of the top 100 English-language nonfiction books of the twentieth century by Modern Library. [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scholastics
Scholasticism was a medieval school of philosophy that employed a critical organic method of philosophical analysis predicated upon the Aristotelian 10 Categories. Christian scholasticism emerged within the monastic schools that translated scholastic Judeo—Islamic philosophies, and thereby "rediscovered" the collected works of Aristotle. Endeavoring to harmonize his metaphysics and its account of a prime mover with the Latin Catholic dogmatic trinitarian theology, these monastic schools became the basis of the earliest European medieval universities, and scholasticism dominated education in Europe from about 1100 to 1700. The rise of scholasticism was closely associated with these schools that flourished in Italy, France, Portugal, Spain and England. Scholasticism is a method of learning more than a philosophy or a theology, since it places a strong emphasis on dialectical reasoning to extend knowledge by inference and to resolve contradictions. Scholastic thought is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aristotle
Aristotle (; grc-gre, Ἀριστοτέλης ''Aristotélēs'', ; 384–322 BC) was a Greek philosopher and polymath during the Classical period in Ancient Greece. Taught by Plato, he was the founder of the Peripatetic school of philosophy within the Lyceum and the wider Aristotelian tradition. His writings cover many subjects including physics, biology, zoology, metaphysics, logic, ethics, aesthetics, poetry, theatre, music, rhetoric, psychology, linguistics, economics, politics, meteorology, geology, and government. Aristotle provided a complex synthesis of the various philosophies existing prior to him. It was above all from his teachings that the West inherited its intellectual lexicon, as well as problems and methods of inquiry. As a result, his philosophy has exerted a unique influence on almost every form of knowledge in the West and it continues to be a subject of contemporary philosophical discussion. Little is known about his life. Aristotle was born in th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Database Query
In computing, a database is an organized collection of Data (computing), data stored and accessed electronically. Small databases can be stored on a file system, while large databases are hosted on computer clusters or cloud storage. The Database design, design of databases spans formal techniques and practical considerations, including data modeling, efficient data representation and storage, query languages, Database security, security and Information privacy, privacy of sensitive data, and distributed computing issues, including supporting Concurrent computing, concurrent access and fault tolerance. A #Database management system, database management system (DBMS) is the software that interacts with end users, applications, and the database itself to capture and analyze the data. The DBMS software additionally encompasses the core facilities provided to administer the database. The sum total of the database, the DBMS and the associated applications can be referred to as a datab ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Expert Systems
In artificial intelligence, an expert system is a computer system emulating the decision-making ability of a human expert. Expert systems are designed to solve complex problems by reasoning through bodies of knowledge, represented mainly as if–then rules rather than through conventional procedural code. The first expert systems were created in the 1970s and then proliferated in the 1980s. Expert systems were among the first truly successful forms of artificial intelligence (AI) software. An expert system is divided into two subsystems: the inference engine and the knowledge base. The knowledge base represents facts and rules. The inference engine applies the rules to the known facts to deduce new facts. Inference engines can also include explanation and debugging abilities. History Early development Soon after the dawn of modern computers in the late 1940s and early 1950s, researchers started realizing the immense potential these machines had for modern society. One of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Croton-on-Hudson, New York
Croton-on-Hudson is a village in Westchester County, New York, United States. The population was 8,327 at the 2020 United States census over 8,070 at the 2010 census. It is located in the town of Cortlandt as part of New York City's northern suburbs. The village was incorporated in 1898. History People lived from at latest about 7000 BC in what would become the village. The Kitchawanc tribe, part of the Wappinger Confederacy of the Algonquian peoples, signed a peace treaty with the newly arriving Dutch people at Croton Point in 1645, now commemorated by a plaque in the park there. Stephanus van Cortlandt began acquiring land in the area in 1677 (the year he became mayor of New York City) to create a manor. It was granted by royal patent in 1697 as the Manor of Cortlandt, including the area known as Croton Landing where the Croton River meets the Hudson River, where the manor house was built. A 1718 census reports 91 inhabitants including Dutch settlers and English Quakers. Peop ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Natural Language Understanding
Natural-language understanding (NLU) or natural-language interpretation (NLI) is a subtopic of natural-language processing in artificial intelligence that deals with machine reading comprehension. Natural-language understanding is considered an AI-hard problem. There is considerable commercial interest in the field because of its application to automated reasoning, machine translation, question answering, news-gathering, text categorization, voice-activation, archiving, and large-scale content analysis. History The program STUDENT, written in 1964 by Daniel Bobrow for his PhD dissertation at MIT, is one of the earliest known attempts at natural-language understanding by a computer. Eight years after John McCarthy coined the term artificial intelligence, Bobrow's dissertation (titled ''Natural Language Input for a Computer Problem Solving System'') showed how a computer could understand simple natural language input to solve algebra word problems. A year later, in 1965, J ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ontology
In metaphysics, ontology is the philosophical study of being, as well as related concepts such as existence, becoming, and reality. Ontology addresses questions like how entities are grouped into categories and which of these entities exist on the most fundamental level. Ontologists often try to determine what the categories or highest kinds are and how they form a system of categories that encompasses classification of all entities. Commonly proposed categories include substances, properties, relations, states of affairs and events. These categories are characterized by fundamental ontological concepts, including particularity and universality, abstractness and concreteness, or possibility and necessity. Of special interest is the concept of ontological dependence, which determines whether the entities of a category exist on the most fundamental level. Disagreements within ontology are often about whether entities belonging to a certain category exist and, if so, how they ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Arun K
Arun may refer to: People * Arun (given name), including a list of people with that name * Ila Arun, Indian actress * Priya Arun (born 1967), Indian actress * Bharat Arun (born 1962), Indian Test cricketer Places * Arun, Badakhshan, Afghanistan * Arun (England), a region of southeasthern England ** Arun District, West Sussex, England * Arun Banner, an administrative division (banner) of Inner Mongolia, China * Arun, Sumatra, a vassal state, now in Indonesia * Arun gas field, Sumatra, Indonesia * Aran va Bidgol ('Aran and Bidgol'), Isfahan Province, Iran **Aran va Bidgol County * Arun rural municipality, Nepal * Wat Arun, a temple in Bangkok, Thailand Rivers and canals * Arun River, China–Nepal * River Arun, in West Sussex, England * Wey and Arun Canal, in the south east of England Other uses * Aruṇa, a god in Hinduism * ''Arun''-class lifeboat * , two ships of the Royal Navy See also * * * Aaron (other) * Arran (other) * Aruna (other) * Arru ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
