Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic --- Modality (Logic) --- Formal languages. --- Reasoning --- Logique --- Modalité (Logique) --- Langages formels --- Raisonnement --- Commonsense reasoning. --- Modality (Logic). --- Modalité (Logique)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

681.3*I2 --- Artificial intelligence. AI --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence --- Congresses --- Knowledge Acquisition --- Machine learning --- Intelligent Interfaces --- Education and Ai --- Vision --- Natural Language --- Robotics --- Proceedings --- Knowledge --- Aaai --- Commonsense Reasoning --- Cognitive Modeling --- Automated Reasoning

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Using arresting case studies of how ordinary people understand the concepts of race, class, and gender, Celine-Marie Pascale shows that the peculiarity of commonsense is that it imposes obviousness-that which we cannot fail to recognize. As a result, how we negotiate the challenges of inequality in the twenty-first century may depend less on what people consciously think about ""difference"" and more on what we inadvertently assume. Through an analysis of commonsense knowledge, Pascale expertly provides new insights into familiar topics. In addition, by analyzing local practices in the cont

Classism - United States. --- Classism -- United States. --- Commonsense reasoning - United States. --- Commonsense reasoning -- United States. --- Discourse analysis. --- Racism - United States. --- Racism -- United States. --- Racism in language. --- Sexism - United States. --- Sexism -- United States. --- Sexism in language - United States. --- Sexism in language -- United States. --- Social classes in mass media. --- Social perception - United States. --- Social perception -- United States. --- Social perception --- Classism --- Racism --- Sexism --- Sexism in language --- Racism in language --- Social classes in mass media --- Commonsense reasoning --- Discourse analysis --- Sociology & Social History --- Social Sciences --- Social Conditions --- Discourse grammar --- Text grammar --- Semantics --- Semiotics --- Common sense reasoning --- Reasoning --- Mass media --- Language and racism --- Racism and language --- Racist language --- Language and languages --- Sexist language --- Language and sex --- Nonsexist language --- Attitude (Psychology) --- Prejudices --- Social classes --- Cognition, Social --- Interpersonal perception --- Social cognition --- Interpersonal relations --- Perception --- Social cognitive theory --- Sex differences

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

An important aspect in the formalisation of common-sense reasoning is the construction of a model of what an agent believes the world to be like to help in her reasoning process. This model is often incomplete or inaccurate, but new information can be used to refine it. The study of techniques that achieve this in a rational way is the task of the discipline of belief revision, with which this book is concerned. There are three key elements to the book's approach. Firstly, the methodology of logic by translation. A specific instance of this is the idea of revision by translation. Revision for a foreign logic is done via its translation into a well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level movement, where we bring some operation defined at the meta-level of a logic into its object level. In this book, we bring the operation of deletion to the object level. Finally, through Labelled Deductive Systems, we use the context of the revision to finetune its operation and illustrate the idea through the presentation of various algorithms. The book is suitable for researchers and postgraduates in the areas of artificial intelligence, database theory, and logic.

Artificial intelligence -- Mathematics. --- Commonsense reasoning -- Automation. --- Logic, Symbolic and mathematical. --- Commonsense reasoning --- Artificial intelligence --- Logic, Symbolic and mathematical --- Mechanical Engineering --- Philosophy --- Engineering & Applied Sciences --- Logic --- Computer Science --- Mechanical Engineering - General --- Philosophy & Religion --- Automation --- Mathematics --- Information Technology --- Artificial Intelligence --- Logic. --- Algorithms. --- Algorism --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Computer science. --- Database management. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Database Management. --- Algebra --- Arithmetic --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Foundations --- Methodology --- Artificial Intelligence. --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Cognitive psychology --- Artificial intelligence. Robotics. Simulation. Graphics --- Artificial intelligence --- Cognitive science --- Science --- Philosophy of mind --- Psychology, Cognitive --- Psychology --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Artificial intelligence. --- Knowledge Representation --- Learning --- Inference --- Natural Language --- Memory Organization --- Uncertainty --- Proceedings --- Conceptual Structure --- Computer Chess --- Commonsense Reasoning