Dependency Directed Reasoning for Complex Program Understanding

Artificial Intelligence research involves the creation of extremely complex programs which must possess the capability to introspect, learn, and improve their expertise. Any truly intelligent program must be able to create procedures and to modify them as it gathers information from its experience. [Sussman, 1975] produced such a system for a 'mini-world'; but truly intelligent programs must be considerably more complex. A crucial stepping stone in AI research is the development of a system which can understand complex programs well enough to modify them. There is also a complexity barrier in the world of commercial software which is making the cost of software production and maintenance prohibitive. Here too a system which is capable of understanding complex programs is a necessary step. The Programmer's Apprentice Project [Rich and Shrobe, 76] is attempting to develop an interactive programming tool which will help expert programmers deal with the complexity involved in engineering a large software system. This report describes REASON, the deductive component of the programmer's apprentice. REASON is intended to help expert programmers in the process of evolutionary program design. REASON utilizes the engineering techniques of modelling, decomposition, and analysis by inspection to determine how modules interact to achieve the desired overall behavior of a program. REASON coordinates its various sources of knowledge by using a dependency-directed structure which records the justification for each deduction it makes. Once a program has been analyzed these justifications can be summarized into a teleological structure called a plan which helps the system understand the impact of a proposed program modification.

Dinâmica da produção de trigo no Brasil no período de 1975 a 2003.

2006

Dinâmica da produção de cevada no Brasil no período de 1975 a 2003.

2007

Dinâmica da produção de aveia grão no Brasil no período de 1975 a 2003.

2007

Dinâmica da produção de centeio no Brasil no período de 1975 a 2003.

2007

Evolução e dinâmica da produção de uva no Brasil no período de 1975 a 2003.

2007

Evolução e dinâmica da produção de maçã no Brasil no período de 1975 a 2003.

2007

The decline of public service broadcasting in the UK 1979-2000

O'Malley, T. (2001). The decline of public service broadcasting in the UK 1979-2000. In M. Bromley (Ed.), No News is Bad News: Radio, Television and the Public (pp.28-45). Harlow: Longman. RAE2008

Ar Wasgar: Theatr a Chenedligrwydd yn y Gymru Gymraeg 1979-1997

Owen, R. (2003). Ar Wasgar: Theatr a Chenedligrwydd yn y Gymru Gymraeg 1979-1997. Caerdydd: Gwasg Prifysgol Cymru.

Reżyserki na indeksie. Historia kina kobiet w Europie Środkowej w Wschodniej

Autorka dokonuje krytycznej rekapitulacji wskazówek metodologicznych dotyczących pisania historii kina kobiet w anglojęzycznej literaturze przedmiotu, odnosząc je do specyfiki kinematografii środkowo- i wschodnioeuropejskiej. Projekt dyskursu historii kina kobiet wpisuje w postulaty ponowoczesnej historiografii i nowej humanistyki, poszukującej tradycji grup mniejszościowych oraz krytycznie odnoszącej się do historii tradycyjnej. Problematyka kina kobiet w dyskursie historii kina powinna, zdaniem autorki, objąć także doświadczenia edukacyjne i zawodowe kobiet, związki biografii zawodowej i prywatnej oraz publiczne i wyobrażone wizerunki reżyserek.

Irańska sztuka a perska archeologia starożytna w czasach Pahlawich (1925-1979)

Wydział Historyczny: Instytut Historii Sztuki

Comentarios de la Guerra de España, e historia de su rey Phelipe V el Animoso, desde el principio de su reynado, hasta la Paz General del año de 1725 : dividido en dos tomos

[Vá esta impression cotejada con el original del Autor, y corregida de los innumerables errores que padecen las otras].