HOME
*





AGM Postulates
Belief revision is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents. What makes belief revision non-trivial is that several different ways for performing this operation may be possible. For example, if the current knowledge includes the three facts "A is true", "B is true" and "if A and B are true then C is true", the introduction of the new information "C is false" can be done preserving consistency only by removing at least one of the three facts. In this case, there are at least three different ways for performing revision. In general, there may be several different ways for changing knowledge. Revision and update Two kinds of changes are usually distinguished: ; update : the new information is about the situation at present, while the old beliefs refer to the past; update is the operation of cha ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Formal Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises together with a conclusion. Premises and conclusions are usually under ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Ramsey's Test
Belief revision is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents. What makes belief revision non-trivial is that several different ways for performing this operation may be possible. For example, if the current knowledge includes the three facts "A is true", "B is true" and "if A and B are true then C is true", the introduction of the new information "C is false" can be done preserving consistency only by removing at least one of the three facts. In this case, there are at least three different ways for performing revision. In general, there may be several different ways for changing knowledge. Revision and update Two kinds of changes are usually distinguished: ; update : the new information is about the situation at present, while the old beliefs refer to the past; update is the operation of cha ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Judea Pearl
Judea Pearl (born September 4, 1936) is an Israeli-American computer scientist and philosopher, best known for championing the probabilistic approach to artificial intelligence and the development of Bayesian networks (see the article on belief propagation). He is also credited for developing a theory of causal and counterfactual inference based on structural models (see article on causality). In 2011, the Association for Computing Machinery (ACM) awarded Pearl with the Turing Award, the highest distinction in computer science, "for fundamental contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning". He is the author of several books, including the technical Causality: Models, Reasoning and Inference, and The Book of Why, a book on causality aimed at the general public. Judea Pearl is the father of journalist Daniel Pearl, who was kidnapped and murdered by terrorists in Pakistan connected with Al-Qaeda and the Inte ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Ken Forbus
Kenneth D. "Ken" Forbus is an American computer scientist working as the Walter P. Murphy Professor of Computer Science and Professor of Education at Northwestern University. Education Forbus earned a Bachelor of Science in computer science, Master of Science in computer science, and PhD in artificial intelligence from the Massachusetts Institute of Technology. Career Forbus is notable for his work in qualitative process theory, automated sketch understanding, and automated analogical reasoning. He also developed the structure mapping engine based on the structure-mapping theory of Dedre Gentner. He is a fellow of the Association for the Advancement of Artificial Intelligence (AAAI) and the Cognitive Science Society The Cognitive Science Society is a professional society for the interdisciplinary field of cognitive science. It brings together researchers from many fields who hold the common goal of understanding the nature of the human mind. The society pr .... Refere ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Hamming Distance
In information theory, the Hamming distance between two strings of equal length is the number of positions at which the corresponding symbols are different. In other words, it measures the minimum number of ''substitutions'' required to change one string into the other, or the minimum number of ''errors'' that could have transformed one string into the other. In a more general context, the Hamming distance is one of several string metrics for measuring the edit distance between two sequences. It is named after the American mathematician Richard Hamming. A major application is in coding theory, more specifically to block codes, in which the equal-length strings are vectors over a finite field. Definition The Hamming distance between two equal-length strings of symbols is the number of positions at which the corresponding symbols are different. Examples The symbols may be letters, bits, or decimal digits, among other possibilities. For example, the Hamming distance between: ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Mukesh Dalal
Mukesh is an epithet for the Hindu god Shiva, and literally means "conqueror of the Muka demon". It also means god of 3 worlds, heaven, hell & earth, which in turn represents Hindu god Shiva. It is commonly used as a male given name in India. People with the name Mukesh include: * Mukesh (singer) (1923–1976), Indian playback singer from 1940s-1970s Hindi cinema * Mukesh (actor) (born 1956), Indian film actor and producer * Mukesh Agnihotri (born 1962), Indian politician * Mukesh Ambani (born 1957), chairman and managing director of Reliance Industries Limited * Mukesh Batra (born 1951), homeopathy practitioner * Mukesh Bhatt (born 1952), Indian film producer * Mukesh Chhabra (born 1980), casting director in Bollywood * Mukesh Choudhary (born 1996), Indian cricketer * Mukesh Goud (born 1959), Indian politician belonging to the Indian National Congress * Mukesh Haikerwal (born 1960), general practitioner and former federal president of the Australian Medical Association who is ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Marianne Winslett
Marianne Southall Winslett is a professor emerita of computer science at the University of Illinois at Urbana–Champaign, specializing in databases. She is known for her "possible models" approach to belief revision. Winslett earned her Ph.D. in 1986 from Stanford University under the supervision of Gio Wiederhold. She joined the UIUC faculty in 1987. In 2006 she was named a Fellow of the Association for Computing Machinery "for contributions to information management and security". In 2012 she won the SIGMOD Contributions Award for her efforts to document the biographies of notable database pioneers.Marianne Winslett: 2012 SIGMOD Contributions Award
,

Truth Maintenance System
{{more footnotes, date=September 2009 Reason maintenanceDoyle, J., 1983. The ins and outs of reason maintenance, in: Proceedings of the Eighth International Joint Conference on Artificial Intelligence - Volume 1, IJCAI’83. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp. 349–351.Doyle, J.: Truth maintenance systems for problem solving. Tech. Rep. AI-TR-419, Dep. of Electrical Engineering and Computer Science of MIT (1978) is a knowledge representation approach to efficient handling of inferred information that is explicitly stored. Reason maintenance distinguishes between base facts, which can be defeated, and derived facts. As such it differs from belief revision which, in its basic form, assumes that all facts are equally important. Reason maintenance was originally developed as a technique for implementing problem solvers. It encompasses a variety of techniques that share a common architecture:McAllester, D.A.: Truth maintenance. AAAI90 (1990) two components—a r ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Mary-Anne Williams
Mary-Anne Williams FTSE is the Michael J Crouch Chair for Innovation at the University of New South Wales in Sydney Australia (UNSW) based in the UNSBusiness School She is founder and director of the UNSW Business AI Lab and deputy director of the UNSW AI Institute. Previously Mary-Anne was a Distinguished Research Professor at University of Technology Sydney and Director of the UTS Magic Lab. At UNSW Professor Williams works with staff, students, alumni and the broader innovation community to grow innovation and entrepreneurship across the University and accelerate innovative thinking in Australia. Professor Williams is a Data Scientist and Behavioural Designer with expertise in Artificial Intelligence, Cognitive Science, Disruptive Technologies, Digital Transformation, Business and Law. She is listed among Robohub's "Top 25 Women in Robotics", and celebrated on the First International Day of Women and Girls in Science. Professor Williams is a Fellow of AAAI (the peak global ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Coherentism
In philosophical epistemology, there are two types of coherentism: the coherence theory of truth; and the coherence theory of justification (also known as epistemic coherentism). Coherent truth is divided between an anthropological approach, which applies only to localized networks ('true within a given sample of a population, given our understanding of the population'), and an approach that is judged on the basis of universals, such as categorical sets. The anthropological approach belongs more properly to the correspondence theory of truth, while the universal theories are a small development within analytic philosophy. The coherentist theory of justification, which may be interpreted as relating to either theory of coherent truth, characterizes epistemic justification as a property of a belief only if that belief is a member of a coherent set. What distinguishes coherentism from other theories of justification is that the set is the primary bearer of justification. As an epi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Foundationalism
Foundationalism concerns philosophical theories of knowledge resting upon non-inferential justified belief, or some secure foundation of certainty such as a conclusion inferred from a basis of sound premises.Simon Blackburn, ''The Oxford Dictionary of Philosophy'', 2nd (New York: Oxford University Press, 2005)p 139 The main rival of the foundationalist theory of justification is the coherence theory of justification, whereby a body of knowledge, not requiring a secure foundation, can be established by the interlocking strength of its components, like a puzzle solved without prior certainty that each small region was solved correctly. Identifying the alternatives as either circular reasoning or infinite regress, and thus exhibiting the regress problem, Aristotle made foundationalism his own clear choice, positing basic beliefs underpinning others.Ted Poston"Foundationalism"(Internet Encyclopedia of Philosophy) Descartes, the most famed foundationalist, discovered a foundation i ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Propositional Formula
In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional formula may also be called a propositional expression, a sentence, or a sentential formula. A propositional formula is constructed from simple propositions, such as "five is greater than three" or propositional variables such as ''p'' and ''q'', using connectives or logical operators such as NOT, AND, OR, or IMPLIES; for example: : (''p'' AND NOT ''q'') IMPLIES (''p'' OR ''q''). In mathematics, a propositional formula is often more briefly referred to as a "proposition", but, more precisely, a propositional formula is not a proposition but a formal expression that ''denotes'' a proposition, a formal object under discussion, just like an expression such as "" is not a value, but denotes a value. In some contexts, maintaining the distincti ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]