McCarthy variations in a modal key

Zoekresultaten

Zoekopdracht: faculteit: "FNWI" en publicatiejaar: "2011"

Auteur	J. van Benthem
Titel	McCarthy variations in a modal key
Tijdschrift	Artificial intelligence
Jaargang	175
Jaar	2011
Nummer	1
Pagina's	428-439
ISSN	00043702
Faculteit	Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Instituut/afd.	FNWI: Institute for Logic, Language and Computation (ILLC)
Samenvatting	We take a fresh look at some major strands in John McCarthy's work from a logician's perspective. First, we re-analyze circumscription in dynamic logics of belief change under hard and soft information. Next, we re-analyze the regression method in the Situation Calculus in terms of update axioms for dynamic–epistemic temporal logics. Finally, we draw some general methodological comparisons between ‘Logical AI’ and practices in modal logic, pointing at some creative tensions.
Soort document	Artikel
Document finder

Gebruik dit adres om naar deze pagina te linken: http://dare.uva.nl/record/368958

Disclaimer/Klachtenregeling
Meent u dat de digitale beschikbaarstelling van bepaald materiaal inbreuk maakt op enig recht dat u toekomt of uw (privacy)belangen schaadt, dan kunt u dit onderbouwd aan de Universiteitsbibliotheek laten weten. Bij een gegronde klacht zal de Universiteitsbibliotheek het materiaal ontoegankelijk maken en/of van de website verwijderen, dan wel samen met u bekijken hoe op een andere manier aan uw klacht tegemoet kan worden gekomen.
Stuurt u hiervoor een e-mail naar: dare@uva.nl, of een brief naar: Bibliotheek van de Universiteit van Amsterdam, afdeling Elektronische Diensten, UvA-DARE, Singel 425, 1012 WP Amsterdam. Er zal dan zo spoedig mogelijk contact met u worden opgenomen.