The Logic of Common VLADIMIIR LIFSCHITZ Computer Scieace Department, ) Sense Uruuersity of Te.ras at Austin ( ul[ii cs. utexas.edu The Golden Age of logic came to an end in the sixties, with the solution of the remaining classical independence problems in set theory. It was the time for logicians to remember that logic is more than the study of mathematical proofs; it is the study of reasoning in general. For instance, proofs of program correctness are also in the realm of logic. Or, to put it differently, the theory of programming becomes a part of mathematics as soon as one has developed an axiomatic basis for it. The theory of commonsense reasoning occupies a similar place in the history of logic. It provides an axiomatic basis for reasoning about the world inhabited by agents like us by agents who have beliefs and goals, who perform actions in order to reach these goals and, by doing so, change the state of the world. It can be seen as a step towards the aim of rationalist philosophy described by on Method: Descartes in Discourse Those long chains of reasoning, quite simple and easy, which geometrician use in order
End of preview. The entire article is 3 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/the-logic-of-common-sense-jAtsV552eN
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
The logic of common sense
Lifschitz, Vladimir
Follow ACM Computing Surveys (CSUR)
, Volume 27 (3)
Association for Computing Machinery – Sep 1, 1995
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
